fixing issue "redefinition of ..." due to new functionalities in Flint 3.0

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 issue "redefinition of ..." due to new functionalities in Flint 3.0 #89

Closed vneiger closed 10 months ago

vneiger commented 10 months ago

msolve was not compiling against the recent Flint 3.0, due to basic nmod_poly_mat functions that are now part of Flint itself. This PR fixes this issue.