This package 
  contains classes for univariate and multivariate power series arithmetic in
  classes UnivPowerSeries, UnivPowerSeriesRing,
  MultiVarPowerSeries and MultiVarPowerSeriesRing
  over coefficient rings which implement the RingElem interface.
  It contains also classes for reduction (with Mora's tangent cone algorithm) 
  and standard base computations.
  Currently the term order is fixed to the order defined by the iterator over 
  exponent vectors ExpVectorIterator.
Last modified: Sat Sep 18 14:15:26 CEST 2010
$Id$