7.2.7 ring (plural)

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.

7.2.7.1 ring declarations (plural)
7.2.7.2 ring operations (plural)
7.2.7.3 ring related functions (plural)