SuggestCADOptions - 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]

  

SuggestCADOptions

  

optimize calling sequence for (Partial)CylindricalAlgebraicDecompose

 

Calling Sequence

Parameters

Returns

Description

Examples

Compatibility

Calling Sequence

SuggestCADOptions(expr)

Parameters

expr

-

Rational Tarski Formula

Returns

• 

Expression sequence with the following three elements:

– 

exprout : Rational Tarski Formula, resulting from converting expr to prenex form and removing any constraints recognized as lifting constraints

– 

liftingconstraints = cons, where cons is the set of the real lifting constraints removed from expr,

– 

opencad = truefalse, value determining whether open CAD is suggested to use

Description

• 

Suggests arguments to pass to QuantifierElimination's CylindricalAlgebraicDecompose or PartialCylindricalAlgebraicDecompose command for expr, with the purpose of optimizing the computational efficiency of such a call. This will lead to a (partial) CAD with a smaller number of cells.

• 

Usage of lifting constraints and/or open CAD for either command can speed up lifting considerably, so this function can separate out the real lifting constraints (see QuantifierElimination options for definition) from an existentially quantified And, and possibly suggest to use open CAD for formulae that contain no equations or non-strict inequalities.

• 

This generates a sequence of arguments amenable to pass to either routine, where that call will then be faster to process.

• 

SuggestCADOptions preprocesses expr for a subsequent (partial) CAD. In particular, the input formula is converted to prenex form, and all denominators are removed (see ConvertRationalConstraintsToTarski).

Examples

withQuantifierElimination:withQuantifierTools

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

(1)

f1existsy&comma;x&comma;Andx2&plus;y21&equals;0&comma;b2xc2&plus;a2y2a2b2&equals;0&comma;0<a&comma;a<1&comma;0<b&comma;b<1&comma;0c&comma;c<1

f1y&comma;x&comma;x2+y21=0b2xc2+a2y2a2b2=00<aa<10<bb<10cc<1

(2)

SuggestCADOptionsf1

y&comma;x&comma;x2+y21=0a2b2a2y2b2c2+2b2cxb2x2=0,liftingconstraints=c0&comma;a<1&comma;b<1&comma;c<1&comma;a<0&comma;b<0,opencad=false

(3)

f2forallx&comma;0<4x84L3x623L6x42L3x2&plus;1

f2x&comma;0<4x84L3x623L6x42L3x2+1

(4)

SuggestCADOptionsf2

x&comma;4x8+4x6L12x6+6x4L12x4+2x2L6x2<1,liftingconstraints=,opencad=true

(5)

Compatibility

• 

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

• 

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

See Also

CylindricalAlgebraicDecompose

PartialCylindricalAlgebraicDecompose

QuantifierElimination

QuantifierTools