PolynomialToUnivariatePolynomial(x, R)ΒΆ

poly.spad line 944

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