We consider cylindrical algebraic decomposition (CAD) and the key concept of delineability which underpins CAD theory. We introduce the novel concept of projective delineability which is easier to guarantee computationally. We prove results about this which can allow reduced CAD computations.
@article{arxiv.2411.13300,
title = {On Projective Delineability},
author = {Lucas Michel and Jasper Nalbach and Pierre Mathonet and Naïm Zénaïdi and Christopher W. Brown and Erika Ábrahám and James H. Davenport and Matthew England},
journal= {arXiv preprint arXiv:2411.13300},
year = {2025}
}
Comments
Accepted for publication in the Proceedings of the 26th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC 2024)