algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods
https://msolve.lip6.fr
GNU General Public License v2.0
92 stars 22 forks source link

fix bug in print of multi-modular steps not flushing the steps #163

Closed jerebertho closed 3 months ago

jerebertho commented 3 months ago

Learning phase speed is now printed with other computation times.

Changing the multi-modular steps printing from stderr to stdout made it not being printed live, this PR adds some fflush(stdout) to return to the previous behavior.