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

Online Help

All Products    Maple    MapleSim


QuantifierElimination

  

CADCell

  

object representing a cell of a CAD in QuantifierElimination

 

Description

List of CADCell methods

Description

• 

CADCell is an object representing a cell for a Cylindrical Algebraic Decomposition (CAD) within the QuantifierElimination package. Every CAD is made up of at least one cell. CAD cells have various properties including  invariance properties with respect to the methodology used to construct the CAD. At the very least, CAD cells are sign invariant with respect to the polynomials or formula passed as input to CAD.

• 

Various other methods for working with CADCells, including those that use the properties of sign invariance of a cell exist on CADData.

• 

CADCells can be inspected via their parent CADData object - see GetLeafCells on CADData.

• 

The level of a CADCell is its level within the CAD tree. In particular this level is also commensurate with the level of the polynomial used in its construction within CAD projection, which is dependent on the variable ordering used in CAD.

• 

When printed, a CADCell will truncate to only print "local" data about the cell. Only its "local" sample point and description will be shown. This is data with respect to the variable commensurate with its level.

List of CADCell methods

• 

GetFullDescription: gets an extended Tarski formula describing the cell in real space.

• 

GetSamplePoint: gets a list of equations of the form name = realalgnum representing the full sample point for the cell. This is a point in real space contained within the CAD cell.

See Also

CADData

CylindricalAlgebraicDecompose

PartialCylindricalAlgebraicDecompose

QuantifierElimination