|
7.2.5.1 qring declaration (plural)
- Syntax:
qring name = ideal_expression ;
- Default:
- none
- Purpose:
- declares a quotient ring as the basering modulo an
ideal_expression and sets
it as current basering.
- Note:
- reports error if an ideal is not a two-sided Groebner basis.
- Example:
|