FGL(s)
This constructs an object of the class FormalGroupLaw out of a FormalSeries living in a PolynomialRing with two generators. The axioms of the neutral element, commutativity and associativity are checked up to the precision of s.
|
|
|
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/FormalGroupLaws.m2:753:0.