exterior-derivative.egi

--
-- 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))