|
|
D.12.7.15 qbase
Procedure from library rootsmr.lib (see rootsmr_lib).
- Usage:
- qbase(I); I zero-dimensional ideal
- Return:
- ideal: A monomial basis of the quotient between the basering and the
ideal I, sorted according to the basering order.
Example:
| | LIB "rootsmr.lib";
ring r = 0,(x,y,z),dp;
ideal i = 2x2,-y2,z3;
i = std(i);
ideal b = qbase(i);
b;
==> b[1]=xyz2
==> b[2]=xyz
==> b[3]=xz2
==> b[4]=yz2
==> b[5]=xy
==> b[6]=xz
==> b[7]=yz
==> b[8]=z2
==> b[9]=x
==> b[10]=y
==> b[11]=z
==> b[12]=1
b = kbase(i);
b; // Compare this with the result of qbase
==> b[1]=xyz2
==> b[2]=yz2
==> b[3]=xz2
==> b[4]=z2
==> b[5]=xyz
==> b[6]=yz
==> b[7]=xz
==> b[8]=z
==> b[9]=xy
==> b[10]=y
==> b[11]=x
==> b[12]=1
|
See also:
kbase.
|
