A (possibly empty) set of polynomials corresponding to any equational constraints found from expr.

Equational constraints are of interest in Cylindrical Algebraic Decompositions, Quantifier Elimination, and real algebraic geometry.

Equational constraints are any equations logically implied by expr, e.g. any polynomials from equations from a top-level conjunction of expr, or the product of all polynomials in a top-level disjunction of expr if all of them are equations.

$\mathrm{with}\left(\mathrm{QuantifierElimination}\right)\:$$\mathrm{with}\left(\mathrm{QuantifierTools}\right)\:$

$\mathrm{GetEquationalConstraints}\left(\mathrm{And}\left(x=0\&comma;0<y\right)\right)$

$\left\{x\right\}$

$\mathrm{GetEquationalConstraints}\left(\mathrm{forall}\left(x\&comma;\mathrm{And}\left(y<x\&comma;\mathrm{Or}\left(x=0\&comma;y^2=1\right)\right)\right)\right)$

$\left\{x\left(y^2-1\right)\right\}$

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

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