Top
Back: Release Notes
Forward: Downloading instructions
FastBack: Release Notes
FastForward: Index
Up: Release Notes
Top: Singular Manual
Contents: Table of Contents
Index: Index
About: About this document

E.1 News and changes

NEWS in SINGULAR 3-0-3

Updates for version 3-0-3

The current version 3-0-3 is stabilyzing release, a result of a long beta test and the integration of a lot of small fixes which were on our waiting list for integration.

It contains also a lot of new features:

  • licence changed: omalloc and MP are now (also) available under GPL; that means that all parts of SINGULAR are licenced under GPL (resp. LGPL).
  • factory, libfac, Singular updated for gcc 4.1.x
  • kernel updated for the optional use of boost.
  • can now be built as a library.
  • new operator a:b gives an intvec of length b with constant entries a
  • new command: ( chinrem): lifting via chinese remainder theorem
  • new command: ( interpolation): ideal of points with given multiplicities
  • non-commutative kernel subsystem was rewritten in order to support specific algebras more efficiently. Implemented algebras at the moment: super-commutative algebras (in particular exterior algebras).
  • std et al.: new selection strategy for reductions ( option (length)).
  • reduce: new strategy for selection and normalization.
  • simplify slightly changed: does not omit zero polynomial unless specified.
  • new library: compregb.lib ( compregb_lib): comprehensive Groebner base system
  • new library: kskernel.lib ( kskernel_lib): kernel of the kodaira-spencer map for irreducible plane curve singularities
  • new library: modstd.lib ( modstd_lib): Groebner base computations over the rational numbers via modular computations
  • new library: noether.lib ( noether_lib): Noether normalization of an ideal(not nessecary homogeneous)
  • new library: atkins.lib ( atkins_lib): the elliptic curve primality test of Atkin
  • new library: aksaka.lib ( aksaka_lib): primality testing after Agrawal, Saxena, Kayal
  • new library: arcpoint.lib ( arcpoint_lib): truncations of arcs at a singular point
  • new library: resgraph.lib ( resgraph_lib): visualization of resolution data.
  • new library: realrad.lib ( realrad_lib): computation of the real radical over the rational numbers and extensions thereof
  • new library: hyperel.lib ( hyperel_lib): divisors in the jacobian of hyperelliptic curves
  • new library: curvepar.lib ( curvepar_lib): space curves
  • new library: sagbi.lib ( sagbi_lib): subalgebras bases analogous to Groebner bases for ideals
  • new library: surfex.lib ( surfex_lib): visualizing and rotating surfaces
  • new library: cimonom.lib ( cimonom_lib): determines if the toric ideal of an affine monomial curve is a complete intersection.
  • sheafcoh_lib: new experimental functions, in particular sheafCohBGG2
  • library ncall.lib merged into all_lib
  • library center.lib (center_lib) renamed to central.lib ( central_lib)
  • nctools_lib: new functions for super-commutative algebras (i.e. SuperCommutative, IsSCA, AltVarStart, AltVarEnd)
  • resolve.lib: blow ups revised ( resolve_lib)
  • new algorithms in primdec.lib ( primdec_lib): radical et al.
  • improved version of slimgb, incorporated into groebner, strategy change in groebner
  • finvar.lib: the algorithm of secondary_char0 is now used in general in the non-modular case ( finvar_lib)
  • finvar.lib: new algorithm for irred_secondary_char0 ( finvar_lib)
  • finvar.lib: new function irred_secondary_no_molien ( finvar_lib)
  • finvar.lib: new functions for computing minimal generating sets of invariant rings of finite groups in the non-modular case: invariant_algebra_reynolds for finite matrix groups and invariant_algebra_perm for permutation groups ( finvar_lib)
  • operation for sparse matrices improved: multiplication, prune, conversion to module
  • experimental: python / ipython interface

News in version 3-0-2

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

  • factory, libfac updated for gcc 4.1.x
  • configure/speed improved for 64bit architectures
  • new library: dmod.lib ( dmod_lib)
  • new library: perron.lib ( perron_lib)
  • improved center.lib: revised implementation, new functions (sa_reduce etc.)
  • revised ncalg.lib ( ncalg_lib): new algebras, U(sl_n) and U(g_2) changed to conform GAP.
  • new algorithms in primdec.lib ( primdec_lib): radical et al.
  • improved version of slimgb, incorporated into groebner
  • finvar.lib: new algorithm for secondary_char0, which is a drastic improvement ( finvar_lib).
  • finvar.lib: new function irred_secondary_char0 ( finvar_lib).
  • finvar.lib: new function rel_orbit_variety, complementing relative_orbit_variety ( finvar_lib).
  • improved module generator (modgen)
  • experimental: new type bigint
  • more architectures: Solaris on x86/opteron, ...
  • build process improved: builds automatically without patches on 64bit architectures

NEWS in version 3-0-1

The version 3-0-1 is mainly a bug fix release, but it contains also some new features:
  • NTL upgraded to version 5.4
  • new library: absfact.lib absfact_lib
  • new procedures in primdec.lib: absPrimdecGTZ
  • new procedures in standard.lib: weightKB
  • build process improved: new make target install_all
  • improved version of slimgb, incorporated into groebner
  • arithmetic in Z/pZ for architecture x84_64 improved (by 25 %)

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:

  • Dynamic modules
  • non-commutative extension Non-commutative subsystem PLURAL
  • name spaces ( package)
  • easy manipulation of rings ( ringlist)
  • improved speed of maps ( subst, map)
  • a new algorithm for Groebner base computations: slimgb.
  • improved factorization (integration of NTL, factorization over algebraic extensions, zeroset.lib)
  • improved gcd of polynomials (including bug fixes)
  • ports to more architectures including automatic building from source (fink on Mac, ebuild on Gentoo)
  • more help browsers supported, user extendable (help.cnf)
  • better support of graded modules
  • many bugs fixed
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
a new 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 is available for ix86-Linux, SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP), FreeBSD, MacOS X, DecAlpha-Linux, x86_64-Linux (AMD64/Opteron/EM64T), IA64-Linux


Top Back: Release Notes Forward: Downloading instructions FastBack: Release Notes FastForward: Index Up: Release Notes Top: Singular Manual Contents: Table of Contents Index: Index About: About this document
            User manual for Singular version 3-0-3, May 2007, generated by texi2html.