NEWS in SINGULAR 3-0-1

Updates for version 3-0-1

The current version 3-0-1 is mainly a bug fix release, but it contains also some new features:

NEWS in version 3-0-0

The version 3-0-0 is the first in the new release series version 3-0.

Singular version 3 has a greater functionality and an improved architecture. Major new features are:

Besides theses internal changes, Singular version 3 offers many new features and functionalities (which were partly already incorporated in the 2-1 pre-release series).

Factorizing algorithms revisited

Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring univariate polynomials. The multivariate factorization code in libfac/factory now also works over algebraic extension fields.

New SINGULAR libraries

control_lib
algebraic analysis tools for System and Control Theory
mregular_lib
procedures for computing the Castelnuovo-Mumford regularity
mprimdec_lib
procedures for primary decomposition of modules
gmspoly_lib, gmssing_lib
procedures for the Gauss-Manin connection of a singularity
resolve_lib, reszeta_lib
resolution of singularities and applications
rootsmr_lib
counting the number of real roots
sheafcoh_lib
computing cohomology of sheaves and Tate resolution
signcond_lib
computing realizable sign conditions
rootsur_lib
counting number of real roots of univariate polynomial
grwalk_lib
Groebner and Pertubation walk

Changes in SINGULAR libraries

Many procedures were moved into different libraries, the documentation of libraries was generally improved.

All procedures which used to change the current ring return now the newly created ring.

New SINGULAR functions

ringlist
manipulation of rings
slimgb
variant of the F4 algorithm to compute Groebner bases
exportto
transfer an identifier to the specified package
importfrom
generate a copy of an identifier from the specified package in the current package
frwalk
fractal walk to change monomial orderings

SINGULAR functions whose syntax/semantics has changed

degree
outputs degree and dimension instead of returning an int
attrib
new attribute: rowShift

Noncommutative Extension PLURAL

Starting with version 3-0-0, SINGULAR features a noncommutative extension PLURAL. It allows to set and to compute within noncommutative algebras with PBW basis. Among available algorithms are Groebner bases for left modules, syzygies and resolutions.

Together with PLURAL come the following libraries:

center_lib
computes generators of the center and centralizer subalgebras up to a given degree resp. up to a given number of generators
involut_lib
determines linear antiautomorphisms (involutions) and automorphisms
gkdim_lib
computes a Gel'fand-Kirillov dimension for modules
ncalg_lib
includes ready-to-use funtions for defining many important noncommutative algebras
ncdecomp_lib
computes a decomposition of module by its central characters
ncalg_lib, nctools_lib
contain numerous useful tools for noncommutative algebras
qmatrix_lib
procedures, related to quantum matrices and minors

Internal Changes

new mapping code
factory revised
(gcd, factorizing polynomial over algebraic extension fields,...)

Porting


 Singular version 3-0-1, October 2005, generated by texi2html.