sci-mathematics 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"