GraverBasis(M: MAT): LIST of RINGELEM

/**/  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]