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

Online Help

All Products    Maple    MapleSim


Overview of the QuantifierTools Subpackage

 

Description

List of QuantifierTools Commands

Examples

Compatibility

Description

• 

A subpackage of QuantifierElimination consisting of procedures for working with Tarski formulae, i.e. quantified boolean formulae of polynomial constraints, which are the input expressions used in quantifier elimination problems (for real closed fields).

• 

These procedures are intended to help one understand the common operations undertaken on these formulae, including to receive "Prenex form" for a formula. AlphaConvert, for example, will help to show when bound variables encounter conflicts within a formula, and so will offer a renaming.

List of QuantifierTools Commands

AlphaConvert

ConvertRationalConstraintsToTarski

ConvertToPrenexForm

GetAllPolynomials

GetEquationalConstraints

GetUnquantifiedFormula

NegateFormula

SuggestCADOptions

Examples

withQuantifierElimination:withQuantifierTools

AlphaConvert,ConvertRationalConstraintsToTarski,ConvertToPrenexForm,GetAllPolynomials,GetEquationalConstraints,GetUnquantifiedFormula,NegateFormula,SuggestCADOptions

(1)

ConvertToPrenexFormAndexistsx&comma;x&equals;0&comma;existsx&comma;x2<4

x&comma;x__1&comma;x=0x__12<4

(2)

AlphaConvertOrexistsx&comma;x&equals;0&comma;existsx&comma;xy&equals;0

x&comma;x=0x__1&comma;x__1y=0

(3)

GetAllPolynomialsOrx2&plus;5y<0&comma;Andx5z&plus;y&equals;0&comma;x&plus;z1

x+z1&comma;x2+5y&comma;x5z+y

(4)

Compatibility

• 

The QuantifierElimination:-QuantifierTools package was introduced in Maple 2023.

• 

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

See Also

QuantifierElimination