A set or list of all polynomials appearing in expr.

The polynomial corresponding to a relation is the difference of the left- and right-hand sides. Note that Maple represents relations of the form a>b or a>=b as b>a or b>=a, respectively, so if on input the right-hand side $b$ of such an inequality is $0$, the corresponding polynomial is $-a$ and not $a$.

Constant polynomials do appear in the output, i.e. if 1 < 0 is a constraint in expr then 1 will appear as a polynomial in the output.

Such a list or set produced by this function may be desirable to pass to CAD functions, as full CAD functions usually require a structure of flat polynomials to build a CAD from, and not a Tarski formula.

Even if t is a list, the output will not feature the same polynomial appearing more than once, i.e., duplicates are removed from the output regardless.

$\mathrm{with}\left(\mathrm{QuantifierElimination}\right)\&colon;$$\mathrm{with}\left(\mathrm{QuantifierTools}\right)\&colon;$

$\mathrm{GetAllPolynomials}\left(0<x^2+5y\Rightarrow \mathrm{And}\left(x^{5}z+y=0\&comma;x+z\le 1\right)\right)$

$\left\{x+z-1\&comma;-x^2-5y\&comma;x^{5}z+y\right\}$

The QuantifierElimination:-QuantifierTools:-GetAllPolynomials command was introduced in Maple 2023.

For more information on Maple 2023 changes, see Updates in Maple 2023.