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.