depolarizationMap -- creates the depolarization map

• Usage:

  depolarizationMap(R,S)

• Inputs:
  • R, a polynomial ring
  • S, a polynomial ring in twice as many variables as R
• Outputs:
  • a ring map S to R that depolarizes squarefree monomials

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

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

i3 : depolarizationMap(R,S)

o3 = map (R, S, {x , x , x , x  + 1, x  + 1, x  + 1})
                  1   2   3   1       2       3

o3 : RingMap R <-- S