Toggle navigation
Egison
Documentations
Try It Out
Online Tools
Online Egison Interpreter
Online Egison Tutorial
Online Demonstrations
Poker Hands
Mahjong
Prime Numbers
Trees
Graph (Bellman-Ford Algorithm)
Randomized 3-SAT
Time-Series Data
Math
Blog
Community
Hodge Operator of `E^3`
Nov 20 2017
-- -- 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 hodge A := let k := dfOrder A in withSymbols [i, j] sqrt (abs (M.det g_#_#)) * foldl (.) ((ε' N k)_(i_1)..._(i_N) . A..._(j_1)..._(j_k)) (map 1#g~(i_%1)~(j_%1) (between 1 k)) def dx := [|1, 0, 0|] def dy := [|0, 1, 0|] def dz := [|0, 0, 1|] hodge dx hodge (wedge dx dy)
Links
Back to the Table of Contents
This website in other langauge:
English
,
日本語