Wedge Product

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

Links

Back to the Table of Contents