FormalGroupLaws : Table of Contents

• FormalGroupLaws -- commutative formal group laws
• - FormalGroupPoint -- inverse to a point of a formal group
• - FormalSeries -- minus a formal series
• compositionInverse -- inverse for composition
• compositionInverse(FormalSeries) -- inverse for composition of formal series
• FGL -- constructing a formal group law
• FGL(FormalSeries) -- constructing a formal group law
• FormalGroupLaw -- the class of all formal group laws
• FormalGroupPoint -- the class of all points of a formal group
• formalGroupPoint -- constructing a formal group point
• FormalGroupPoint + FormalGroupPoint -- sum of points of a formal group
• FormalGroupPoint - FormalGroupPoint -- difference of points of a formal group
• formalGroupPoint(FormalGroupLaw,FormalSeries) -- constructing a formal group point
• FormalSeries -- the class of all formal series
• FormalSeries * FormalSeries -- multiplication of formal series
• FormalSeries + FormalSeries -- addition of formal series
• FormalSeries - FormalSeries -- difference of formal series
• FormalSeries == FormalSeries -- equality of formal series
• FormalSeries ^ ZZ -- powers of formal series
• inverse(FormalSeries) -- multiplicative inverse of formal series
• RingElement * FormalSeries -- multiplication of a formal series by a constant
• series -- constructing a formal series
• series(RingElement,ZZ) -- constructing a formal series
• substitute(FormalSeries,BasicList) -- compose formal series
• truncate(FormalSeries,ZZ) -- truncate formal series
• universalFGL -- universal formal group law
• universalFGL(ZZ,String,String,String) -- universal formal group law in the Lazard ring
• universalFGLQ -- universal formal group law over rationals
• universalFGLQ(ZZ,String,String,String) -- universal formal group law in the Lazard ring tensor Q
• valuation -- smallest degree of monomials
• ZZ * FormalGroupPoint
• ZZ * FormalSeries -- multiplication of a formal series by an integer