pub fn triangularize(
equations: Vec<ExprId>,
vars: Vec<ExprId>,
pool: &ExprPool,
) -> Result<Vec<RegularChain>, SolverError>Expand description
Kalkbrener / Lazard style triangular decomposition: compute a lex Gröbner basis, extract a recursive main-variable chain, then split along square-free factors of the bottom univariate when possible (V2-7).
Returns an empty list when the ideal is the whole ring (⟨1⟩).