polarizeList -- polarizes a list of ring elements

• Usage:

  polarizeList(L,S) or polarizeList(L)

• Inputs:
  • L, a list of squarefree pseudomonomials in a polynomial ring R
  • S, a ring with twice as many variables as R, where the polarization will live
• Outputs:
  • a list of squarefree monomials (in S if S is given)

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

i2 : L={x_1*(1-x_2),x_2*(1-x_3)};

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

i4 : polarizeList(L,S)

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

o4 : List