Macaulay2 » Documentation
Packages » FormalGroupLaws :: formalGroupPoint(FormalGroupLaw,FormalSeries)
next | previous | forward | backward | up | index | toc

# formalGroupPoint(FormalGroupLaw,FormalSeries) -- constructing a formal group point

- Function: formalGroupPoint
- Usage:
    `formalGroupPoint(f,s)`
- Inputs:
  - f, an instance of the type FormalGroupLaw,
  - s, an instance of the type FormalSeries, with the same coefficient ring as f
- Outputs:
  - p, an instance of the type FormalGroupPoint,

## Description

This constructs an object of the class FormalGroupPoint out of a FormalGroupLaw and a FormalSeries with the same coefficient ring and such that s has precision at most that of f.

    i1 : ZZ[x,y]

    o1 = ZZ[x..y]

    o1 : PolynomialRing

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

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

    o2 : FormalGroupLaw

    i3 : ZZ[u,v]

    o3 = ZZ[u..v]

    o3 : PolynomialRing

    i4 : s = series(u+v+u^2,2)

                       2
    o4 = FormalSeries{u  + u + v, 2}

    o4 : FormalSeries

    i5 : p= formalGroupPoint(f,s)

                                                                        2
    o5 = FormalGroupPoint{FormalGroupLaw{x*y + x + y, 2}, FormalSeries{u  + u + v, 2}}

    o5 : FormalGroupPoint

## Ways to use this method:

- formalGroupPoint(FormalGroupLaw,FormalSeries) -- constructing a formal group point

The source of this document is in /build/macaulay2-88fgJW/macaulay2-1.25.11+ds/M2/Macaulay2/packages/FormalGroupLaws.m2:792:0.