SINGULAR 1.2
What is New ?!


Overview

Data

groebner

Timings

res

Libraries

Misc

res command


  • New SINGULAR type resolution:
    Supports lazy computation of properties of resolutions

  • SINGULAR provides three different means to compute resolutions: Iterated syzygies, Schreyer's method, La Scala's method (new)

  • Behaviour of algorithms can be influenced by various user-settable options
New res command:
  • Heuristically choses "best" method to compute resolution

  • Based on experience: Faster computations in most cases, slower in some

  • Implemented in SINGULAR programming language; contained in new library standard.lib
Results:
  • Resolution computations in 1.2 are much faster than in 1.0 (up to a factor of 20)

  • Efficiency is similar to that of Macaulay 2
See the SINGULAR manual for details.

http://www.mathematik.uni-kl.de/~zca/Singular SINGULAR at MEGA'98; June 1998