formalGroupPoint(f,s)
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.
|
|
|
|
|
The source of this document is in FormalGroupLaws.m2:792:0.