Top
Back: sagbiNF
Forward: sagbiPart
FastBack: reszeta_lib
FastForward: sheafcoh_lib
Up: sagbi_lib
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

D.4.20.4 sagbi

Procedure from library sagbi.lib (see sagbi_lib).

Usage:
sagbi(id,k[,n]); id ideal, k and n positive integers.

Return:
A SAGBI basis for the subalgebra defined by the generators of id.
 
    k determine what kind of s-reduction is performed:
     - if (k=0) no tail s-reduction is performed.
     - if (k=1) tail s-reduction is performed, and S-interreduced SAGBI basis
       is returned.
    Three Algorithm variants are used to perform Subalgebra reduction.
    The positive interger n determine which variant should be used.
    n may take the values (0 or default),1 or 2.

Note:
SAGBI bases computations may be performed either
in polynomial rings or quotient polynomial rings.

Example:
 
LIB "sagbi.lib";
ring r= 0,(x,y),dp;
ideal I=x2,y2,xy+y;
sagbi(I,1,1);
==> _[1]=x2
==> _[2]=y2
==> _[3]=xy+y
==> _[4]=xy2


Top Back: sagbiNF Forward: sagbiPart FastBack: reszeta_lib FastForward: sheafcoh_lib Up: sagbi_lib Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-3, May 2007, generated by texi2html.