--
-- 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 wedge X Y := X !. Y

def dx := [|1, 0, 0|]

def dy := [|0, 1, 0|]

def dz := [|0, 0, 1|]

wedge dx dy

dfNormalize (wedge dx dy)

wedge dz dz

dfNormalize (wedge dz dz)