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.
22.214.171.124 qring declaration (plural)
126.96.36.199 qring related functions (plural)
we highly recommend to turn on
while computing in qrings. Otherwise results may have a difficult interpretation.