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)

Description

A method which takes a pseudomonomial in a polynomial ring and replaces every instance of (1-var) with a new variable. It is recommended that you specify the ring in which the new monomial will live, see examples below.

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

Ways to use polarizePseudomonomial:

polarizePseudomonomial(RingElement)
polarizePseudomonomial(RingElement,Ring)

For the programmer

The object polarizePseudomonomial is a method function.

The source of this document is in NeuralIdeals.m2:853:0.