Fix bug change of variables

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 jerebertho closed 10 months ago

jerebertho commented 10 months ago

Fix the bug where option -c 0 was not taken into account for nonradical input

mohabsafey commented 10 months ago

Try to merge first the PR I just merged (it fixed some issues with bad primes which may cause the unsuccessful checks you have)