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

Online Help

All Products    Maple    MapleSim


QuantifierElimination[QuantifierTools]

  

GetEquationalConstraints

  

get all equational constraints from a rational Tarski formula

 

Calling Sequence

Parameters

Returns

Description

Examples

Compatibility

Calling Sequence

GetEquationalConstraints(expr)

Parameters

expr

-

Rational Tarski Formula

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

withQuantifierElimination:withQuantifierTools:

GetEquationalConstraintsAndx&equals;0&comma;0<y

x

(1)

GetEquationalConstraintsforallx&comma;Andy<x&comma;Orx&equals;0&comma;y2&equals;1

xy21

(2)

Compatibility

• 

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

• 

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

See Also

CylindricalAlgebraicDecompose

PartialCylindricalAlgebraicDecompose

QuantifierEliminate