isCanonical -- determines whether a neural ideal is in canonical form

• Usage:

  isCanonical(I)

• Inputs:
  • I, a neural ideal
• Optional inputs:
  • Polarized => ..., default value false
• Outputs:
  • Boolean

i1 : R=ZZ/2[x_1..x_3];

i2 : I=ideal(x_1,x_2*(1-x_1));

o2 : Ideal of R

i3 : isCanonical(I)

o3 = false