cysignals modular_resolution sagemath_gap sagemath_meataxe sagemath_singular | xz cython
