Outline

Objects

Functionality

Structure

Availability

Comparisons

Examples

Development

Contributors

Singular-1-4

Baserings


  • polynomial rings: K[x1,...,xn]

  • series rings, i.e., localizations of a polynomial ring at a prime ideal: K[x1,...,xn]P

  • factor rings by an ideal of one of the above: K[x1,...,xn]P / J

  • tensor products of one of the above


Ground Fields K

  • Rational numbers Q (char 0)

  • Finite fields Z/p, p <= 32003 (char p)

  • Galois fields: Finite fields with q=pn elements (pn < 215)

  • Transcendental extensions K(A,B,C, ...), K=Q or Z/p

  • Algebraic extensions K[t]/MinPol; K=Q or Z/p

  • Floating point real numbers with single precision (float)

Mainz http://www.mathematik.uni-kl.de/~zca/Singular