     [file version.texi not included]

NEWS in SINGULAR VERSION
************************

News for version VERSION
========================

Version 4-0-0 is a milestone relase of Singular. The new release series 4 aims for an entirely modularized system simplifying connectivity with other systems and paving the way for parallel computations. As one step in this direction, in Singular 4-0-0, the representation of coefficient rings has been separated from the representation of polynomials which allows for easy integration of new types of coefficient fields.

SINGULAR 4-0-0's list of improvements and new functionality further extends that of the 3-1-6/7 pre-release series. One highlight is the implementation of Walther's algorithm for computing deRham cohomology.

New commands

  * sba: an F5 like Groebner basis algorithm

  * ASSUME: support for debugging libraries

New libraries

  * classifyci_lib: Isolated complete intersection singularities in characteristic  0

  * derham_lib: Computation of deRham cohomology

  * ellipticcovers_lib: Gromov Witten numbers of elliptic curves

  * orbitparam_lib: Parametrizing unipotent orbits

Improved libraries

  * Compute GIT-fans: (gitfan_lib)

  * Groebner Cover for parametric ideals (grobcov_lib)

  * Normalization of Affine Rings (normal_lib)

  * An abstraction layer for parallel skeletons (parallel_lib)

  * Classification of real singularities (realclassify_lib)

  * and many more with small fixes

Kernel improvements

  * Dynamic modules

  * Non-commutative subsystem

  * name spaces (package)

  * algebraic/transcendental field extensions

Availability

SINGULAR is available for ix86-Linux, SunOS-5, ix86-Win (runs on Windows), FreeBSD, Mac OS X, x86_64-Linux (AMD64/Opteron/EM64T), IA64-Linux