polarizedCanonicalIdeal -- polarized ideal generated by the canonical form

• Usage:

  polarizedCanonicalIdeal(C) or polarizedCanonicalIdeal(I,S)

• Inputs:
  • C, a NeuralCode, or I, a squarefree pseudomonomial ideal
  • S a ring where the polarization will live
• Outputs:
  • A squarefree monomial ideal, in polarizedRing(C) or in S.

i1 : C=neuralCode({"00","10"});

i2 : polarizedCanonicalIdeal(C)

o2 = ideal x
            2

              ZZ
o2 : Ideal of --[x ..y ]
               2  1   2

i3 : R=ZZ/2[x_1,x_2];

i4 : I=ideal(x_1*x_2);

o4 : Ideal of R

i5 : S=ZZ/2[x_1,x_2,y_1,y_2];

i6 : polarizedCanonicalIdeal(I,S)

o6 = ideal(x x )
            1 2

o6 : Ideal of S