Home Online Manual
Top
Back: univarpoly
Forward: rootsur_lib
FastBack: weierstr_lib
FastForward: rootsur_lib
Up: rootsmr_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

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.