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:
[CASA]
[GWalk]
[mgbasis]