up previous next
GraverBasis

Graver basis

Syntax
GraverBasis(M: MAT): LIST of RINGELEM

Description
These function return the Graver basis, computed with toric .

Example
/**/  use P ::= ZZ/(2)[x,y,z];
/**/  toric(P, mat([[1,3,2]]));
ideal(-x^2 +z, x^3 -y)
/**/  GraverBasis(P, mat([[1,3,2]]));
[x^2 -z, x*z -y, x^3 -y, x*y -z^2, z^3 -y^2]
/**/  UniversalGBasis(toric(P, mat([[1,3,2]])));
[x*z -y, x*y -z^2, x^2 -z, z^3 -y^2, x^3 -y]

See Also