GraverBasis |
Syntax |
GraverBasis(M: MAT): LIST of RINGELEM |
Description |
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 |