|
4.14.1 qring declaration
- Syntax:
qring name = ideal_expression ;
- Default:
- none
- Purpose:
- declares a quotient ring as the basering modulo ideal_expression. Sets
it as current basering.
- Example:
| ring r=0,(x,y,z),dp;
ideal i=xy;
qring q=std(i);
basering;
==> // characteristic : 0
==> // number of vars : 3
==> // block 1 : ordering dp
==> // : names x y z
==> // block 2 : ordering C
==> // quotient ring from ideal
==> _[1]=xy
|
|