Toggle navigation
Egison
ドキュメント
デモ
オンライン・デモ
ポーカーの役判定
麻雀の上がり判定
双子素数の列挙
ツリー
グラフ
3-SATを解く乱択アルゴリズム
時系列データ解析
オンライン・ツール
オンライン Egison
オンライン・チュートリアル
数式処理
ブログ
コミュニティ
`CP_1`の直線バンドルのチャーン形式
2017年12月18日
以下のプログラムは、`CP_1`の直線バンドルのチャーン形式を計算しています。.
-- -- This file has been auto-generated by egison-translator. -- def params := [|r, θ|] def u := r * e ^ (2 * π * i * θ) def ū := r * e ^ ((-2) * π * i * θ) def d X := WedgeApplyExpr (ApplyExpr (VarExpr "flip") [VarExpr "\8706/\8706"]) [VarExpr "params",VarExpr "X"] def ω := ū * d u / 1 + u * ū ω def Ω := dfNormalize (d ω) Ω def c1 := Ω / ((-2) * π * i) c1
リンク
Egison 数学ノート目次に戻る
This website in other langauge:
English
,
日本語