CylindricalAlgebraicDecomposition.m2 是 Macaulay2 中首个柱形代数分解（CAD）的实现。CAD 将空间划分为“单元”，在这些单元内输入多项式的符号保持不变。该包为具有有理系数的实多项式集计算开 CAD（仅包含满维单元），使用户能够解决涉及严格不等式的存在性问题。通过构建完整 CAD（包括所有维度的单元），此工具可以扩展以解决任何实数量化消去问题。当前实现采用了 Lazard 投影，并引入了一种新的变量排序启发式方法。

CylindricalAlgebraicDecomposition.m2 is the first implementation of Cylindrical Algebraic Decomposition (CAD) in Macaulay2. CAD decomposes space into 'cells' where input polynomials are sign-invariant. This package computes an Open CAD (full-dimensional cells only) for sets of real polynomials with rational coefficients, enabling users to solve existential problems involving strict inequalities. With the construction of a full CAD (cells of all dimensions), this tool could be extended to solve any real quantifier elimination problem. The current implementation employs the Lazard projection and introduces a new heuristic for choosing the variable ordering.