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 FormalGroupLaws.m2:753:0.