i1 : ZZ[x,y]
o1 = ZZ[x..y]
o1 : PolynomialRing
|
i2 : f = FGL(series(x+y+x*y,10))
o2 = FormalGroupLaw{x*y + x + y, 10}
o2 : FormalGroupLaw
|
i3 : ZZ[u]
o3 = ZZ[u]
o3 : PolynomialRing
|
i4 : s = formalGroupPoint(f,series(u^2+u,5))
2
o4 = FormalGroupPoint{FormalGroupLaw{x*y + x + y, 10}, FormalSeries{u + u, 5}}
o4 : FormalGroupPoint
|
i5 : t = -s
4 3
o5 = FormalGroupPoint{FormalGroupLaw{x*y + x + y, 10}, FormalSeries{- u + u - u, 5}}
o5 : FormalGroupPoint
|
i6 : s+t
o6 = FormalGroupPoint{FormalGroupLaw{x*y + x + y, 10}, FormalSeries{0, 5}}
o6 : FormalGroupPoint
|