chern-form-of-CP1.egi

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