ZZ * FormalGroupPoint -- a binary operator, usually used for multiplication

Operator: *
Usage:

n*s
Inputs:
- n, an integer,
- s, an instance of the type FormalGroupPoint,
Outputs:
- an instance of the type FormalGroupPoint,

Description

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 : 3*s

                                                                      5     4     3     2
o5 = FormalGroupPoint{FormalGroupLaw{x*y + x + y, 10}, FormalSeries{3u  + 6u  + 7u  + 6u  + 3u, 5}}

o5 : FormalGroupPoint

Ways to use this method:

ZZ * FormalGroupPoint -- a binary operator, usually used for multiplication

The source of this document is in FormalGroupLaws.m2:911:0.