Top
Back: size
Forward: sortvec
FastBack: Functions and system variables
FastForward: Control structures
Up: Functions
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

5.1.143 slimgb

Syntax:

slimgb ( ideal_expression)
slimgb ( module_expression)
Type:
ideal or module
Purpose:
slim Groebner bases

Returns a Groebner basis of an ideal or module with respect to the monomial ordering of the basering (which has to be global).

Note:
The algorithm is designed to keep polynomials slim (short with small coefficients). For details see https://www.singular.uni-kl.de/reports/35/paper_35_full.ps.gz. A reduced Groebner basis is returned if option(redSB) is set (see option(redSB)). To view the progress of long running computations, use option(prot) (see option(prot)).

Warning:
Groebner basis computations with inexact coefficients can not be trusted due to rounding errors.

Example:
 
  ring r=2,(x,y,z),lp;
  poly s1=z*(x*y+1);
  poly s2=x2+x;
  poly s3=y2+y;
  ideal i=s1,s2,s3;
  slimgb(i);
==> _[1]=y2+y
==> _[2]=x2+x
==> _[3]=yz+z
==> _[4]=xz+z

See groebner; ideal; option; ring; std.


Top Back: size Forward: sortvec FastBack: Functions and system variables FastForward: Control structures Up: Functions Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 4.3.2, 2023, generated by texi2html.