TY - RPRT TI - New efficient algorithms for computing Gröbner bases of saturation ideals (F4SAT) and colon ideals (Sparse-FGLM-colon) AU - Jérémy Berthomieu AU - Christian Eder AU - Mohab Safey El Din PY - 2023 UR - https://arxiv.org/abs/2202.13387 ID - 2202.13387 ER -