GetEquationalConstraints - Maple Help

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.