|
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:
| ring r=0,(z,u,v,w),dp;
ncalgebra(-1,0); // an anticommutative algebra
option(redSB);
option(redTail);
ideal i=z^2,u^2,v^2,w^2;
qring Q = i; // incorrect call produces error
==> // ** i is no standard basis
==> // ** i is no twosided standard basis
kill Q;
setring r; // go back to the ring r
qring q=twostd(i); // now it is an exterior algebra
q;
==> // characteristic : 0
==> // number of vars : 4
==> // block 1 : ordering dp
==> // : names z u v w
==> // block 2 : ordering C
==> // noncommutative relations:
==> // uz=-zu
==> // vz=-zv
==> // wz=-zw
==> // vu=-uv
==> // wu=-uw
==> // wv=-vw
==> // quotient ring from ideal
==> _[1]=w2
==> _[2]=v2
==> _[3]=u2
==> _[4]=z2
poly k = (v-u)*(zv+u-w);
k; // the output is not yet totally reduced
==> zuv-zv2-u2-uv+uw-vw
poly ek=reduce(k,std(0));
ek; // the reduced form
==> zuv-uv+uw-vw
|
|