PolynomialToUnivariatePolynomial(x, R)

poly.spad line 979 [edit on github]

• x: Symbol

• R: Ring

This package is primarily to help the interpreter do coercions. It allows you to view a polynomial as a univariate polynomial in one of its variables with coefficients which are again a polynomial in all the other variables.

univariate: (Polynomial R, Variable x) -> UnivariatePolynomial(x, Polynomial R)

univariate(p, x) converts the polynomial p to a one of type UnivariatePolynomial(x, Polynomial(R)), ie. as a member of R[...][x].