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 groeber basis of an ideal with respect to the monomial ordering of the basering, which has to be global. A groebner basis is a set of generators such that the leading terms generate the leading ideal.
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 field (parameters).

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

The program only supports the options prot (which will give protocoll output) and redSB (for returning a reduced Groebner basis). The Protocoll looks like that: 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-0, May 2005, generated by texi2html.