next | previous | forward | backward | up | top | index | toc | Macaulay2 website
SubalgebraBases :: verifySagbi

verifySagbi -- Test if the generators form sagbi basis

Synopsis

Description

i1 : R = QQ[x,y,z];
i2 : L = subring {y*(x-1), y*x^2, y*(x^3+x^2+x+1), y^2};
i3 : verifySagbi L

o3 = true
i4 : M = {x+y+z,x*y+x*z+y*z, x*y*z, (x-y)*(x-z)*(y-z)};
i5 : verifySagbi M

o5 = false
i6 : N = {x+y+z, x*y+x*z+y*z, x*y*z};
i7 : verifySagbi N

o7 = true

Ways to use verifySagbi :

For the programmer

The object verifySagbi is a method function with options.