verifySagbi -- Test if the generators form sagbi basis

Synopsis

• Usage:

  result = verifySagbi S

  result = verifySagbi M

  result = verifySagbi L

• Inputs:
  • S, an instance of the type Subring,
  • M, a matrix,
  • L, a list,
• Optional inputs:
  • Limit => ..., default value 100
  • PrintLevel => ..., default value 0
  • Strategy => ..., default value "Master"
  • SubductionMethod => ..., default value "Top"
• Outputs:
  • result, a Boolean value, do the generators of S form a sagbi basis.

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