FGL(FormalSeries) -- constructing a formal group law

• Function: FGL

• Usage:

  FGL(s)

• Inputs:
  • s, an instance of the type FormalSeries, in two variables
• Outputs:
  • an instance of the type FormalGroupLaw,

i1 : R=ZZ[x,y]

o1 = R

o1 : PolynomialRing

i2 : s = series(x+y+x*y,2)

o2 = FormalSeries{x*y + x + y, 2}

o2 : FormalSeries

i3 : f= FGL(s)

o3 = FormalGroupLaw{x*y + x + y, 2}

o3 : FormalGroupLaw