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.120 slimgb

Syntax:
slimgb ( ideal_expression)

Type:
ideal
Purpose:
returns a Groebner basis of an ideal with respect to the monomial ordering of the basering, which has to be global.
Note:
The algorithm is described in the diploma thesis of Michael Brickenstein "Neue Varianten zur Berechnung von Groebnerbasen", written 2004 under supervision of G.-M. Greuel in Kaiserslautern.

It is designed to keep polynomials slim (short with small coefficients). Currently best results are examples over function fields (parameters).

At this moment the implementation is not optimal for weighted degree orderings.

The program only supports the options prot, which will give protocol output and redSB for returning a reduced Groebner basis. The protocol messages of slimgb mean the following:
M[n,m] means a parallel reduction of n elements with m non-zero output elements,
b notices an exchange trick described in the thesis and
e adds a reductor with non-minimal leading term.

For an example see slim Groebner bases.

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 3-0-1, October 2005, generated by texi2html.