Macaulay 2, A Software System for Algebraic Geometry

Monday, October 23, 2006 - 9:30am - 10:20am
EE/CS 3-180
Daniel Grayson (University of Illinois at Urbana-Champaign)
Macaulay 2 supports research in algebraic geometry and commutative
algebra. Its versatile framework, based on Buchberger's algorithm for
computing Groebner bases, combined with an object-oriented interpreted language
supporting the introduction of new high-level mathematical types, allows
advanced algorithms to be coded. I'll demonstrate it, and I will describe
recent improvements aimed to support third-party development of code, including
the package system, the debugger, and the documentation processor.