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

Online Help

All Products    Maple    MapleSim


QuantifierElimination

  

CylindricalAlgebraicDecompose

  

produce the full CAD for a set of polynomials, or the set of polynomials associated to a Tarski formula

 

Calling Sequence

Parameters

Returns

Description

Examples

Compatibility

Calling Sequence

CylindricalAlgebraicDecompose( A, E, opts )

Parameters

A

-

a list or set of polynomials, or a list or set of relations on polynomials, or a full real Tarski formula, or a single polynomial or relation to produce the CAD for. All such polynomials passed in A are interpreted as inequations, unless they appear as equations in a Tarski formula, whereby they are interpreted as equational constraints

E

-

(optional) a polynomial, an equation, or a list or set of such to be used as equational constraints for the produced CAD

opts

-

core keyword options for cylindrical algebraic decomposition (see QuantifierElimination options)

Returns

• 

A CADData object that contains data structures for the CAD.

Description

• 

Builds a full Cylindrical Algebraic Decomposition (CAD), (Lazard and) sign invariant for the polynomials according to input. Unlike PartialCylindricalAlgebraicDecompose, this procedure will not attempt any evaluation of truth values and hence no quantifier elimination (QE), although it can accept a (quantified) Tarski formula as input. If quantifiers are included in a formula, they will be ignored.

• 

The method of constructing the CAD is a Lazard projection followed by standard lifting. No strategy for lifting is included, considering the whole CAD must be constructed in all circumstances. If equational constraints are provided via E, then these will be used in a reduced projection operator for the first projection.

• 

If equational constraints can be found in a Tarski formula A, then these will be used in a reduced projection operator if possible.

• 

Information on keyword options for the routine can be found in the help page QuantifierElimination options.

Examples

withQuantifierElimination

CylindricalAlgebraicDecompose,DeleteFormula,InsertFormula,PartialCylindricalAlgebraicDecompose,QuantifierEliminate,QuantifierTools

(1)

Ax2+y22,x3

Ax3,x2+y22

(2)

CCylindricalAlgebraicDecomposeA

CCADData for set of polynomials in {y, x}

(3)

Examine the leaf cells for the CAD of polynomials in A:

GetLeafCellsC

Level 2 CADCell with local description 3 < x and local sample point x = 4&comma;Level 2 CADCell with local description x = 3 and local sample point x = 3&comma;Level 2 CADCell with local description x < 3 and local sample point x = 2&comma;Level 2 CADCell with local description 3 < x and local sample point x = 4&comma;Level 2 CADCell with local description x = 3 and local sample point x = 3&comma;Level 2 CADCell with local description And(RootOf(_Z^2+y^2-2,index = real[1]) < x,x < 3) and local sample point x = 1&comma;Level 2 CADCell with local description x = RootOf(_Z^2+y^2-2,index = real[1]) and local sample point x = 0&comma;Level 2 CADCell with local description x < RootOf(_Z^2+y^2-2,index = real[1]) and local sample point x = -1&comma;Level 2 CADCell with local description 3 < x and local sample point x = 4&comma;Level 2 CADCell with local description x = 3 and local sample point x = 3&comma;Level 2 CADCell with local description And(RootOf(_Z^2+y^2-2,index = real[2]) < x,x < 3) and local sample point x = 2&comma;Level 2 CADCell with local description x = RootOf(_Z^2+y^2-2,index = real[2]) and local sample point x = RootOf(_Z^2-2,208701085205324515393/147573952589676412928 .. 417402170410649030813/295147905179352825856)&comma;Level 2 CADCell with local description And(RootOf(_Z^2+y^2-2,index = real[1]) < x,x < RootOf(_Z^2+y^2-2,index = real[2])) and local sample point x = 0&comma;Level 2 CADCell with local description x = RootOf(_Z^2+y^2-2,index = real[1]) and local sample point x = RootOf(_Z^2-2,-796131459065725/562949953421312 .. -1592262918131423/1125899906842624)&comma;Level 2 CADCell with local description x < RootOf(_Z^2+y^2-2,index = real[1]) and local sample point x = -3&comma;Level 2 CADCell with local description 3 < x and local sample point x = 4&comma;Level 2 CADCell with local description x = 3 and local sample point x = 3&comma;Level 2 CADCell with local description And(RootOf(_Z^2+y^2-2,index = real[1]) < x,x < 3) and local sample point x = 1&comma;Level 2 CADCell with local description x = RootOf(_Z^2+y^2-2,index = real[1]) and local sample point x = 0&comma;Level 2 CADCell with local description x < RootOf(_Z^2+y^2-2,index = real[1]) and local sample point x = -1&comma;Level 2 CADCell with local description 3 < x and local sample point x = 4&comma;Level 2 CADCell with local description x = 3 and local sample point x = 3&comma;Level 2 CADCell with local description x < 3 and local sample point x = 2

(4)

Examine the number leaf cells for the CAD of the formula F:

FAndx2&plus;y2z2&plus;2<0&comma;y<z&comma;x<y

Fx2+y2z2<−2y<zx<y

(5)

CCylindricalAlgebraicDecomposeF

CCADData for set of polynomials in {z, x, y}

(6)

NumberOfLeafCellsC

287

(7)

Get the sample point for a cell of C:

GetSamplePointGetLeafCellsC1

z=3&comma;x=4&comma;y=5

(8)

Compatibility

• 

The QuantifierElimination:-CylindricalAlgebraicDecompose command was introduced in Maple 2023.

• 

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

See Also

PartialCylindricalAlgebraicDecompose

QuantifierElimination

QuantifierElimination options