debug (adds missing test when lifting the GB) - Githubissues

algebraic-solving / msolve

Library for Polynomial System Solving through Algebraic Methods

https://msolve.lip6.fr

GNU General Public License v2.0

84 stars 21 forks source link

debug (adds missing test when lifting the GB) #114

Closed mohabsafey closed 6 months ago