CASA Function: Groebnerbasis

Compute a Groebner basis for an implicitly given algebraic set.

Calling Sequence:

• g := Groebnerbasis(A)
• g := Groebnerbasis(A,order)

Parameters:

A : algset("impl")

• algebraic set in implicit representation,

order : name

• The name 'tdeg' or 'plex'.

Result:

g : list(polynom)

• Groebner basis for the given algebraic set.

Description:

• The function computes a Groebner basis for an implicitly given algebraic set. The ordering of the variables is according to the list of variables, the greatest variables comes first.
• The term ordering is the total degree term ordering unless it is specified differently by an optional parameter.
• This function is nothing but an interface between CASA's datatype algset and Maple's package for Groebner bases computation.

Examples:

> a := mkImplAlgSet([x*y*z^2-4,x^2+y^2+z^2-1,x-y-1],[x,y,z]);

> Groebnerbasis(a);

See Also: