IntegralBasisPolynomialTools(K, R, UP, L)

padiclib.spad line 1 [edit on github]

• K: Ring

• R: UnivariatePolynomialCategory K

• UP: UnivariatePolynomialCategory R

• L: Ring

IntegralBasisPolynomialTools provides functions for mapping functions on the coefficients of univariate and bivariate polynomials.

mapBivariate: (K -> L, UP) -> SparseUnivariatePolynomial SparseUnivariatePolynomial L

mapBivariate(f, p(x, y)) applies the function f to the coefficients of p(x, y).

mapMatrixIfCan: (L -> Union(K, failed), Matrix SparseUnivariatePolynomial L) -> Union(Matrix R, failed)

mapMatrixIfCan(f, mat) applies the function f to the coefficients of the entries of mat if possible, and returns "failed" otherwise.

mapUnivariate: (K -> L, R) -> SparseUnivariatePolynomial L

mapUnivariate(f, p(x)) applies the function f to the coefficients of p(x).

mapUnivariate: (L -> K, SparseUnivariatePolynomial L) -> R

mapUnivariate(f, p(x)) applies the function f to the coefficients of p(x).

mapUnivariateIfCan: (L -> Union(K, failed), SparseUnivariatePolynomial L) -> Union(R, failed)

mapUnivariateIfCan(f, p(x)) applies the function f to the coefficients of p(x), if possible, and returns "failed" otherwise.