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.
|