polarizedCanonicalForm -- computes the polarized canonical form

• Usage:

  polarizedCanonicalForm(C,S) or polarizedCanonicalForm(C) or polarizedCanonicalForm(I,S)

• Inputs:
  • C,a neural code or I, an ideal
  • S, a ring where the polarization will live
• Outputs:
  • a List of squarefree monomials (in S if S is specified, else in polarizedRing(C)

i1 : S=ZZ/2[x_1..x_3,y_1..y_3];

i2 : C=neuralCode({"000","100","110","101","001"});

i3 : polarizedCanonicalForm(C)

o3 = {x y , x x }
       2 1   2 3

o3 : List

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

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

o5 : Ideal of R

i6 : S=ZZ/2[x_1..x_3,y_1..y_3];

i7 : polarizedCanonicalForm(I,S)

o7 = {x , x }
       1   2

o7 : List