polarizePseudomonomial -- polarizes a pseudomonomial

• Usage:

  polarizePseudomonomial(f,S) or polarizePseudomonomial(f)

• Inputs:
  • f, a squarefree pseudomonomial
  • S, a ring with twice as many variables as ring(f), where the polarization will live
• Outputs:
  • a squarefree monomial (in S if S is given)

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

i2 : f=x_1*(1-x_2);

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

i4 : polarizePseudomonomial(f,S)

o4 = x y
      1 2

o4 : S