7.2.5 qring (plural)

PLURAL offers the possibility to compute within factor-rings modulo two-sided ideals. The ideal has to be given as a two-sided Groebner basis (see twostd (plural) command).

For a detailed description of the concept of rings and quotient rings see Rings and orderings.

7.2.5.1 qring declaration (plural)
7.2.5.2 qring related functions (plural)

Note: we highly recommend to turn on option(redSB); option(redTail); while computing in qrings. Otherwise results may have a difficult interpretation.