sci
Macaulay2 is a computer algebra system for doing polynomial computations,
particularly Grobner basis calculations. Macaulay2 is designed for solving
problems in algebraic geometry and has a quite simple syntax,
often described as "algebraic machine language"