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 : (Mapping(L, K), UP) -> SparseUnivariatePolynomial(SparseUnivariatePolynomial(L))

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

mapMatrixIfCan : (Mapping(Union(K, "failed"), L), 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 : (Mapping(K, L), SparseUnivariatePolynomial(L)) -> R

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

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

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

mapUnivariateIfCan : (Mapping(Union(K, "failed"), L), 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.