Polynomial Rings [HB 38]

New features:

• Factorization of polynomials over arbitrary algebraic function fields of small characteristic is now supported for the first time (see Commutative algebra below).
• New fast modular algorithm for GCD of polynomials over algebraic function fields and quotient rings which are fields (both univariate and multivariate).
• The polynomial quotient rings K[x]/$\langle$f$\rangle$, where K is a field and f may be reducible, are now fully supported as general Euclidean rings.