An object of the class `FormalSeries` is a list `\{P,n\}` where `P` is an element of a polynomial ring and `n` is an integer representing the precision (the terms in degree strictly greater than `n` are considered zero).

- FormalGroupLaw -- the class of all formal group laws

- - FormalSeries -- minus a formal series
- compositionInverse(FormalSeries) -- inverse for composition of formal series
- FGL(FormalSeries) -- constructing a formal group law
- formalGroupPoint(FormalGroupLaw,FormalSeries) -- constructing a formal group point
- 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
- substitute(FormalSeries,BasicList) -- compose formal series
- truncate(FormalSeries,ZZ) -- truncate formal series
- ZZ * FormalSeries -- multiplication of a formal series by an integer

The object FormalSeries is a type, with ancestor classes BasicList < Thing.