Exterior Derivative

-- -- This file has been auto-generated by egison-translator. -- def N := 3 def params := [|x, y, z|] def g := [|[|1, 0, 0|], [|0, 1, 0|], [|0, 0, 1|]|] def d X := WedgeApplyExpr (ApplyExpr (VarExpr "flip") [VarExpr "\8706/\8706"]) [VarExpr "params",VarExpr "X"] def f := function (x, y, z) d f dfNormalize (d (d f))

Links

Back to the Table of Contents