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 |
The object fromDividedPowers is a method function.