next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
InverseSystems :: toDividedPowers

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



If f is a polynomial, or a matrix of polynomials, then f1 is the corresponding object written in the divided power monomial basis, where for example x2 denotes x(2)

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

o1 = S

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

o2 = true

See also

Ways to use toDividedPowers :