|
 |
 |
 |
 |
 |
 |
 |
 |
 |
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 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.