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

## Synopsis

• Usage:
f1 = toDividedPowers f
• Inputs:
• f,
• f,
• Outputs:
• f1,
• f1,

## 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