Fixes for multi-modular computations

algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods

https://msolve.lip6.fr

GNU General Public License v2.0

90 stars 22 forks source link

Closed ederc closed 1 year ago

ederc commented 1 year ago

Fixes bad primes handling for tracer and probabilistic multi modular computations.
Fixes handling of "empty" tracers, i.e. if the input system is already a Gröbner basis.