Cylindrical Algebraic Decomposition in Macaulay2. - Corin Lee; Tereso del Río; Hamid Rahkooy (CoRR, 2025)