A cluster-based cylindrical algebraic decomposition algorithm (Q1105372): Difference between revisions

Assuming the availability of a cylindrical algebraic decomposition (cad) algorithm that not only determines the cells of the cad but also identifies pairs of adjacent cells, a modified cad algorithm is presented. It uses clusters of cells (a collection of cells whose union is connected) and seems to be more efficient in some cases than the original (but also less efficient in other examples).