The UnivariatePolynomial command computes a univariate polynomial in v of least degree that is contained in the ideal J. If no such polynomial exists, then zero is returned. A zero-dimensional ideal contains a univariate polynomial in every variable.

The first argument must be the variable in which a univariate polynomial is to be computed.  The second argument must be a polynomial ideal. An optional third argument overrides the default ring variables.