1 2 3 4 5 6 7 8
//! Real algebraic computations (cad, etc.). //! //! V2-9 — Cylindrical Algebraic Deconstruction / quantifier elimination (single-block, //! purely polynomial formulas in one quantified real variable). pub mod cad; pub use cad::{cad_lift, cad_project, decide, decide_expr, CadError, QeResult};