Macaulay2: A software system for algebraic geometry
macaulay2.com