Objects
Functionality
Libraries
Availability
Examples
Contributors

Baserings
 polynomial rings: K[x_{1},...,x_{n}]
 series rings,
i.e., localizations of a polynomial ring at a prime ideal:
K[x_{1},...,x_{n}]_{P}
 factor rings by an ideal of one of the above:
K[x_{1},...,x_{n}]_{P} / J
 tensor products of one of the above
Ground Fields K
 Rational numbers Q (char 0)
 Finite fields Z/pZ, ( p <=
32003 )
 Galois fields: Finite fields with q=p^{n} elements
(p^{n} < 2^{15})
 Transcendental extensions K(A,B,C, ...),
K=Q or Z/pZ
 Algebraic extensions K[t]/MinPoly;
K=Q or Z/pZ
 Floating point real numbers with precision of k valid
decimal digits ( k <= 32767 )
 Floating point complex numbers with precision of k valid
decimal digits
