GetEquationalConstraints - Maple Help
For the best experience, we recommend viewing online help using Google Chrome or Microsoft Edge.

QuantifierElimination[QuantifierTools]

 GetEquationalConstraints
 get all equational constraints from a rational Tarski formula

 Calling Sequence GetEquationalConstraints(expr)

Parameters

 expr -

Returns

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

Description

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

Examples

 > $\mathrm{with}\left(\mathrm{QuantifierElimination}\right):$$\mathrm{with}\left(\mathrm{QuantifierTools}\right):$
 > $\mathrm{GetEquationalConstraints}\left(\mathrm{And}\left(x=0,0
 $\left\{{x}\right\}$ (1)
 > $\mathrm{GetEquationalConstraints}\left(\mathrm{forall}\left(x,\mathrm{And}\left(y
 $\left\{{x}{}\left({{y}}^{{2}}{-}{1}\right)\right\}$ (2)

Compatibility

 • The QuantifierElimination:-QuantifierTools:-GetEquationalConstraints command was introduced in Maple 2023.
 • For more information on Maple 2023 changes, see Updates in Maple 2023.