search

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

Oscar and msolve #31

Closed iliailmer closed 1 year ago

iliailmer commented 1 year ago

Hi,

Is msolve still available via Oscar? I tried the latest version of 0.11.2 and msolve does not show as a command.

Thanks!

ederc commented 1 year ago

msolve functionality in OSCAR is right now available via f4()for Groebner basis computations and real_solutions() resp. rational_solutions(). Documentation for this will follow soon on the OSCAR side, see also AlgebraicSolving.jl for how to use these functions.