SINGULAR 1.2
What is New ?!


Overview

Data

groebner

Timings

res

Libraries

Misc

Improved Internal Data Representation


1. In-place monomial comparisons

  • Give up fixed arrangments of exponents within exponent-vector

  • Arrange placement of exponents s.t. simple monomial comparisons (e.g., lex, degrevlex, negative degrevlex, etc.) are reduced to lexicographical comparisons of exponents

  • All simple monomial comparisons are realized by the same routine -- effective inlining

2. Monomial operations on machine words

  • sizeof(machine word) = n * sizeof(exponent) n = 2,4,8

  • Realize monomial operations (comparisons, multiplication, divisibility tests) on machine words, instead of single exponents

  • Cuts number of inner loop iterations by a factor of 2,4,8
For details, see ISSAC'98, or TR 18 at http://www.mathematik.uni-kl.de/~zca

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