Toggle navigation
Egison
ドキュメント
デモ
オンライン・デモ
ポーカーの役判定
麻雀の上がり判定
双子素数の列挙
ツリー
グラフ
3-SATを解く乱択アルゴリズム
時系列データ解析
オンライン・ツール
オンライン Egison
オンライン・チュートリアル
数式処理
ブログ
コミュニティ
ミンコフスキー空間のホッジ作用素
2017年11月20日
-- -- This file has been auto-generated by egison-translator. -- def N := 4 def params := [|t, x, y, z|] def g := [|[|-1, 0, 0, 0|], [|0, 1, 0, 0|], [|0, 0, 1, 0|], [|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 dt := [|1, 0, 0, 0|] def dx := [|0, 1, 0, 0|] def dy := [|0, 0, 1, 0|] def dz := [|0, 0, 0, 1|] hodge (wedge dt dx) hodge (wedge dy dz)
リンク
Egison 数学ノート目次に戻る
This website in other langauge:
English
,
日本語