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

Usage:

f1 = toDividedPowers f
Inputs:
- f, a ring element,
- f, a matrix,
Outputs:
- f1, a ring element,
- f1, a matrix,

Description

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 $x^2$ denotes $x^{(2)}$

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

o1 = S

o1 : PolynomialRing

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

o2 = true

Ways to use toDividedPowers:

toDividedPowers(Matrix)
toDividedPowers(RingElement)

For the programmer

The object toDividedPowers is a method function.

The source of this document is in InverseSystems.m2:646:0.

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

Description

See also

Ways to use toDividedPowers:

For the programmer