Objects
Functionality
Libraries
Examples
Availability
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
