Macaulay2 » Documentation
Packages » InverseSystems :: fromDividedPowers
next | previous | forward | backward | up | index | toc

fromDividedPowers -- Translates from divided power monomial basis to ordinary monomial basis



If f is a polynomial, or a matrix of polynomials, written in the divided power monomial basis, then f1 is the corresponding object written in the ordinary monomial basis.

i1 : S = ZZ/101[x,y]

o1 = S

o1 : PolynomialRing
i2 : x^2 == fromDividedPowers (2*x^2)

o2 = true

See also

Ways to use fromDividedPowers :

For the programmer

The object fromDividedPowers is a method function.