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

Fix bug change var nonradical #100

Closed jerebertho closed 10 months ago

jerebertho commented 10 months ago

This should fix the bug where option -c 0 was not taken into account for nonradical input when the square of a variable was outside the DRL staircase.