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 -- a binary operator, usually used for multiplication
- ZZ * FormalSeries -- multiplication of a formal series by an integer