npm

msolve

Algebraic solver for polynomial systems and Gröbner bases

brewmacoslinux
Try with needOr install directly
Source

About

Library for Polynomial System Solving through Algebraic Methods

Commands

msolve

Examples

Solve a simple polynomial system from a file$ msolve -f input.ms
Compute Gröbner basis with specific options$ msolve -f system.ms -g 1 -t grevlex
Display detailed solver information and statistics$ msolve -f polynomials.ms -v 2