Rings are used to describe properties of polynomials, ideals etc.
Almost all computations in PLURAL require a basering.
For a detailed description of the concept of rings see
Rings and orderings.
Note: PLURAL usually works with global orderings (see PLURAL) but one can use
certain local once when graded commutative rings are being used.
22.214.171.124 ring declarations (plural)
126.96.36.199 ring operations (plural)
188.8.131.52 ring related functions (plural)