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].