| Overview |
| Objects |
| Functionality |
| Libraries |
| Examples |
| Applications |
| Availability |
| History |
| Contributors |
| Future |
- polynomial rings: K[x1,...,xn]
- series rings, i.e., localizations of a polynomial ring at a maximal ideal: K[x1,...,xn]M
- factor rings by an ideal of one of the above: K[x1,...,xn]M / J
- tensor products of one of the above
| Ground Fields |