| ## E.1 News and changes # NEWS in SINGULAR 4-1-0p2 ## News for version 4-1-0p2 Extended commands: syz ( syz), lift ( lift), liftstd ( liftstd): with a specified GB algorithm New libraries: goettsche.lib: Goettsche's formula for the Betti numbers of the Hilbert scheme of points on a surface, Macdonald's formula for the symmetric product ( goettsche_lib) ncHilb.lib: Hilbert series of non-commutative monomial algebras ( ncHilb_lib) rstandard.lib: Janet bases and border bases for ideals ( rstandard_lib) Changed libraries: chern.lib: new version ( chern_lib) Changes in the kernel/build system: port to polymake 3.x.x p_Invers is only a helper for p_Series: now static ## 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: classify_aeq.lib: new procedures ( classify_aeq_lib) grobcov.lib: new version ( grobcov_lib) ncfactor.lib: factorization in some noncommuative algebras ( ncfactor_lib) with new routine ncfactor ( ncfactor) primdec.lib: new option "subsystem" ( primdec_lib) 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: module customstd_lib: modify `std` ( satstd) ## 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: align ( align) branchTo ( procs with different argument types) `->` ( proc expression) 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: revised polymake interface (polymake.so) revised gfanlib interface (gfanlib.so) Presolve::findvars ( findvars, variables) Ring::addvarsTo ( addvarsTo) Ring::addNvarsTo ( addNvarsTo) Ring::hasAlgExtensionCoefficient ( hasAlgExtensionCoefficient) Schreyer::s_res ( s_res) grobcov.lib (grobcovK) ( grobcov_lib) with new routines AddCons AddConsP. normaliz.lib (for normaliz >=2.8) ( normaliz_lib) renamed groebnerFan to groebnerFanP in polymake.lib ( polymake_lib) renamed fVector to fVectorP in polymake.lib ( polymake_lib,`polymakeInterface_lib`) ## 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 Groebner cover for parametric ideals ( grobcov_lib) normalization of affine rings ( normal_lib) classification of real singularities ( realclassify_lib) GIT-fans ( gitfan_lib) algebraic/transcendental field extensions Non-commutative subsystem an abstraction layer for parallel computations ( parallel_lib) run-time loading of supplementary kernel code ( Dynamic modules) interpreter language support for name spaces ( package) Availability SINGULAR is available as source code and for Linux, Mac OS X, Windows, FreeBSD and SunOS-5.

User manual for Singular version 4-1-0p2, 2017, generated by texi2html.