IMA tutorial problems
Talk at IMA, 25 October, 2006

New functionality in version 1.3.1

• 'groebner' and 'markov' are again heavily improved.
• 'groebner' and 'markov' allow non-homogeneous lattice ideals.
• 'groebner' and 'markov' allow truncation.
• There is a new function 'walk' performing a Gröbner walk.
• There are new functions 'qsolve' and 'zsolve' for solving linear systems over the reals or the integers, respectively.
• There are new functions 'rays' and 'circuits' to compute extreme rays and circuits.
• The functions 'circuits' and 'graver' allow to fix certain orthants.
• One may compute with projections by specifying variables to be ignored.
• There is a new function 'minimize' to solve integer linear programs.