search

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

Fixing f4 and f4sat #58

Closed ederc closed 1 year ago

ederc commented 1 year ago
  1. Fixes Gebauer Moeller implementation for f4 (e.g. eco10).
  2. Fixes the application of multiple consecutive saturation steps if the intermediate f4 steps did not add new information. This is necessary in some examples at the end of the computation of f4sat's application phase.
  3. Fixes printing of the round numbers for f4 and saturation steps in the application phase of f4sat.