Home Online Manual
Top
Back: Release Notes
Forward: Singular 3 and Singular 4
FastBack:
FastForward:
Up: Singular Manual
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

E.1 News and changes

NEWS in SINGULAR 4-1-0

News for version 4-1-0

Syntax changes:

  • new (additional) form of ring definitions: (for example ring R=QQ[x,y,z];) ( General syntax of a ring declaration)
  • new (additional) form of multi-indicies: (for example i(1,2,3,4,5)) ( Names)
  • changed behaviour of charstr ( charstr)
  • new data type cring to describe the coeffient rings, to be used for the new definitions for (polynomial) rings ( General syntax of a ring declaration)
  • new command ring_list to access the parts used to contruct polynomial rings ( ring_list, ringlist)
  • extended polynomial ring construction: also from lists produced by ring_list
  • new attribute ring_cf for ring ( attrib)
  • printing of rings changed to match cring names ( charstr)

New libraries:

  • new library: classifyMapGerms.lib: standard basis of the tangent space at the orbit of an algebraic group action ( classifyMapGerms_lib)
  • new library: ffmodstd.lib: Groebner bases of ideals in polynomial rings over algebraic function fields( ffmodstd_lib)
  • new library: nfmodsyz.lib: syzygy modules of submodules of free modules over algebraic number fields( nfmodsyz_lib)
  • new library: curveInv.lib: invariants of curves ( curveInv_lib)
  • new library: gfan.lib: interface to gfanlib ( gfan_lib)
  • extended library: interface to polymake merged into polymake_lib
  • new library: tropicalNewton.lib: Newton polygon methods in tropical geometry ( tropicalNewton_lib)
  • new library: schubert.lib: some procedures for intersction theory ( schubert_lib)

Changed libraries:

Changes in the kernel:

  • improved mapping of polynomials/ideals/...
  • port to gcc 6
  • port to gfanlib 0.6 (requires C++11, i.e. gcc >=4.3)
  • port to NTL 10
  • port to polymake 3.0
  • port to readline 7
  • sba works for global orderings, also for coefficient types Z and Z/m
  • std works for all orderings, also for coefficient types Z and Z/m with local/mixed orderings
  • factorize works for polynomial rings over ZZ

Experimental stuff:

News for version 4-0-3

New libraries:

  • new library: brillnoether.lib: Riemann-Roch spaces of divisors on curves ( brillnoether_lib)
  • new library: chern.lib: Chern classes ( chern_lib)
  • new library: ffmodstd.lib: Groebner bases of ideals in polynomial rings over algebraic function fields( ffmodstd_lib)
  • new library: GND.lib: General Neron Desingularization ( GND_lib)
  • new library: graal.lib: localization at prime ideals ( graal_lib)
  • new library: hess.lib: Riemann-Roch space of divisors ( hess_lib)

Changed libraries:

  • renamed algemodstd_lib to nfmodstd_lib, extended to module
  • renamed derham_lib to deRham_lib
  • grobcov.lib (grobcovK): Groebner Cover for parametric ideals ( grobcov_lib) with new routine ConsLevels ( ConsLevels), removed AddCons AddConsP.

News for version 4-0-2

New commands:

Change in ring handling:

  • typeof( qring ) returns "ring"

New libraries:

  • algemodstd.lib: Groebner bases of ideals in polynomial rings over algebraic number fields(renamed to nfmodstd_lib)
  • arr.lib: arrangements of hyperplanes ( arr_lib)
  • brillnoether.lib: Riemann-Roch spaces of divisors on curve ( brillnoether_lib)
  • hess.lib: Riemann-Roch space of divisors on function fields and curves ( hess_lib)
  • gradedModules.lib: graded modules/matrices/resolutions ( gradedModules_lib)

Changed libraries:

News for version 4-0-1

Version 4-0-1 is a bug fix release.

New feature: attribute ring_cf for ring ( attrib)

News for version 4-0-0

Version 4-0-0 is a milestone relase of Singular. The new release series 4 aims for an entirely modularized architecture simplifying connectivity with other systems and paving the way for parallel computations. As a first step in modularization, the new release features an internal structural separation of coefficient rings and polynomial rings. This allows for a flexible integration of new coefficient rings.

SINGULAR 4-0-0's list of new functionality and significant improvements further extends that of the 3-1-6/7 prerelease series.

New functionality

  • de Rham cohomology of complements of algebraic varieties ( deRham_lib)
  • Gromov-Witten numbers of elliptic curves ( ellipticcovers_lib)
  • classification of isolated complete intersection singularities in characteristic 0 ( classifyci_lib)
  • parametrization of orbits of unipotent actions ( orbitparam_lib)
  • F5-like Groebner basis algorithm ( sba)
  • element-wise application of functions to data structures ( apply)
  • support for debugging libraries ( ASSUME)

Improved functionality

Availability

SINGULAR is available as source code and for Linux, Mac OS X, Windows, FreeBSD and SunOS-5.