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 GetCells 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.

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.

GetIndex: gets a list representing the cell's full index in the CAD tree.

GetLevel: gets a positive integer representing the cell's depth in the CAD tree.