source: git/doc/NEWS.texi @ f82665

spielwiese
Last change on this file since f82665 was f82665, checked in by Hans Schoenemann <hannes@…>, 5 years ago
update gfanlib to 0.6.2
  • Property mode set to 100644
File size: 10.9 KB
RevLine 
[53c00b]1@comment -*-texinfo-*-
2@comment this file contains the News about Singular versions
3@comment Unix
4@ifclear VERSION
5@include version.texi
6@end ifclear
7
8@majorheading NEWS in SINGULAR @value{VERSION}
9
[e62563a]10@ifclear singularmanual
[53c00b]11@macro nref{what}
12\what\
13@end macro
14@end ifclear
15
16@ifset singularmanual
17@macro nref{what}
18@ref{\what\}
19@end macro
20@end ifset
21
[b8169a]22@heading News for version @value{VERSION}
[c6793a]23New libraries:
24@itemize
[b8ee1df]25@item fpalgebras.lib: Generation of various algebras in the letterplace case
[b1f3061]26@item ncrat.lib: non-commutatie rational functions
27(@nref{ncrat_lib})
[c6793a]28@end itemize
29
[5c2b81]30Changed libraries:
31@itemize
[c6793a]32@item freegb.lib: lpDivision, lpPrint (@nref{freegb_lib})
[a6ea1d]33@item fpadim.lib (@nref{fpadim_lib})
[075bc5]34@item schreyer.lib: deprecated
[b28bf25]35@item goettsche.lib: new, extended version (The Nakajima-Yoshioka formula up to n-th degree,Poincare Polynomial of the punctual Quot-scheme of rank r on n planar points Betti numbers of the punctual Quot-scheme of rank r on n planar points)(@nref{goettsche_lib})
[5c2b81]36@item grobcov.lib: small bug fix (@nref{grobcov_lib})
37@end itemize
38
[b1f3061]39Changes in the kernel/build system:
40@itemize
41@item improved reading of long polynomials
[b49764]42@item improved groebner bases over Z coefficients
[a6ea1d]43@item improved free algebras (letterplace rings)
[b1f3061]44@item pseudo type @code{polyBucket}
[eda3b3]45@item new type @code{smatrix}: sparse matrix (experimental) (@nref{smatrix}).
[b2a899]46@item extended @code{coef} to ideals (@nref{coef}).
[c58025]47@item error and signal handling in @code{libSingular} (@nref{libSingular}).
[f82665]48@item updated gfanlib to version 0.6.2
[b1f3061]49@end itemize
50
[5c2b81]51@heading News for version 4-1-1
[327fffb]52
[ee5131]53New syntax:
54@itemize
55@item @code{alias}: may be used as a prefix to a variable declaration.
[ecbe460]56Can only be used in procedure headings. (@nref{General command syntax}).
[ee5131]57@end itemize
58
[c6a210]59New command:
60@itemize
61@item @code{fres}: improved version of @code{sres}: computes a (not necessarily minimal) free resolution of the input ideal/module, using Schreyer's algorithm.
62(@nref{fres},@nref{sres}).
[f0db22]63@end itemize
64
[c6a210]65
[f22bc5]66Extended commands:
67@itemize
[2b9f49]68@item pseudo ordering @code{L} allows setting of limits for exponents in polynomials (@nref{Pseudo ordering L},@nref{attrib} for @code{maxExp})
[ecbe460]69@item @code{%},@code{mod}: also for poly operands (@nref{poly operations}).
70@item @code{delete}: extended to intvec, ideal, module (@nref{delete}).
[ca93d3]71@item syz (@nref{syz}), lift (@nref{lift}), liftstd (@nref{liftstd}), intersect(@nref{intersect}): with a specified GB algorithm
[f22bc5]72@end itemize
73
[88b91c]74New libraries:
75@itemize
[a634d4]76@item classify2.lib: Classification of isolated singularities of corank <=2 and modality <= wrt. right equivalence over the complex numbers according to Arnold's list. (@nref{classify2_lib})
[54fdec1]77@item goettsche.lib: Goettsche's formula for the Betti numbers of the Hilbert scheme
[88b91c]78of points on a surface, Macdonald's formula for the symmetric product (@nref{goettsche_lib})
[2b9f49]79@item combinat.lib, modules.lib, methods,lib, nets.lib: a more mathematical view of modules (@nref{combinat_lib}: combinatorics),
80(@nref{methods_lib}: construct procedures),
81(@nref{modules_lib}: free resolutions),
82(@nref{nets_lib}: pretty printing)
[70c783]83@item ncHilb.lib: Hilbert series of non-commutative monomial algebras (@nref{ncHilb_lib})
[4fb20b9]84@item realclassify.lib: Classification of real singularities(@nref{realclassify_lib})
[ca93d3]85@item rootisolation.lib: real root isolation using interval arithmetic(@nref{rootisolation_lib})
[718bd72]86@item rstandard.lib: Janet bases and border bases for ideals (@nref{rstandard_lib})
[88b91c]87@end itemize
88
89Changed libraries:
90@itemize
91@item chern.lib:  new version (@nref{chern_lib})
[b0f4517]92@item gitfan.lib:  new (incompatible) version (@nref{gitfan_lib})
[fe66e96]93@item grobcov.lib:  new version (@nref{grobcov_lib})
[88b91c]94@end itemize
95
[b0e612]96Changes in the kernel/build system:
97@itemize
98@item port to polymake 3.x.x
[a50aed]99@item port to NTL 10 with threads (needs also C++11: gcc6 or -std=c++11)
[e6c82d]100@item p_Invers is only a helper for p_Series: now static
[eda3b3]101@item p_Divide is now p_MDivide, pDivide/p_Divide is a new routine
[b0e612]102@end itemize
103
[8b4e972]104@heading News for version 4-1-0
[88b91c]105
[7d21990]106Syntax changes:
107@itemize
108@item new (additional) form of ring definitions: (for example @code{ring R=QQ[x,y,z];})
109      (@nref{General syntax of a ring declaration})
110@item new (additional) form of multi-indicies: (for example @code{i(1,2,3,4,5)})
111      (@nref{Names})
112@item changed behaviour of @code{charstr} (@nref{charstr})
113@item new data type @code{cring} to describe the coeffient rings, to be used
114      for the new definitions for (polynomial) rings (@nref{General syntax of a ring declaration})
[bccae1]115@item new command @code{ring_list} to access the parts used to contruct polynomial rings (@nref{ring_list},@nref{ringlist})
116@item extended polynomial ring construction: also from lists produced by @code{ring_list}
[7d21990]117@item new attribute @code{ring_cf} for @code{ring} (@nref{attrib})
118@item printing of rings changed to match @code{cring} names (@nref{charstr})
119@end itemize
120
[4cb208]121New libraries:
122@itemize
[a97bfe]123@item new library: classifyMapGerms.lib: standard basis of the tangent space at the orbit of an algebraic group action (@nref{classifyMapGerms_lib})
[4cb208]124@item new library: ffmodstd.lib:  Groebner bases of ideals in polynomial rings over algebraic function fields(@nref{ffmodstd_lib})
125@item new library: nfmodsyz.lib: syzygy modules of submodules of free modules
126      over algebraic number fields(@nref{nfmodsyz_lib})
[2f87f0]127@item new library: curveInv.lib: invariants of curves (@nref{curveInv_lib})
128@item new library: gfan.lib: interface to gfanlib (@nref{gfan_lib})
[aa773f]129@item extended library: interface to polymake merged into @nref{polymake_lib}
[c248d2]130@item new library: tropicalNewton.lib: Newton polygon methods in tropical geometry (@nref{tropicalNewton_lib})
131@item new library: schubert.lib: some procedures for intersction theory (@nref{schubert_lib})
[4cb208]132@end itemize
[cf736c]133
[4cb208]134Changed libraries:
135@itemize
[a97bfe]136@item classify_aeq.lib: new procedures (@nref{classify_aeq_lib})
[6865a5]137@item grobcov.lib: new version (@nref{grobcov_lib})
[41ca410]138@item ncfactor.lib: factorization in some noncommuative algebras (@nref{ncfactor_lib}) with new routine ncfactor (@nref{ncfactor})
[4cb208]139@item primdec.lib: new option "subsystem" (@nref{primdec_lib})
140@end itemize
[cf736c]141
[4cb208]142Changes in the kernel:
143@itemize
144@item improved mapping of polynomials/ideals/...
[6a97c54]145@item port to gcc 6
[c6279a]146@item port to gfanlib 0.6 (requires C++11, i.e. gcc >=4.3)
[ffeca4]147@item port to NTL 10
148@item port to polymake 3.0
149@item port to readline 7
[e009ef]150@item @nref{sba} works for global orderings, also for coefficient types Z and Z/m
151@item @nref{std} works for all orderings, also for coefficient types Z and Z/m with local/mixed orderings
[e09ceb]152@item @nref{factorize} works for polynomial rings over ZZ
[4cb208]153@end itemize
[cf736c]154
[41ca410]155Experimental stuff:
156@itemize
[a163b2]157@item module @nref{customstd_lib}: modify @code{std} (@nref{satstd})
[41ca410]158@end itemize
159
[4cb208]160@heading News for version 4-0-3
[cf736c]161
[f9103b]162New libraries:
[327fffb]163@itemize
[b031878]164@item new library: brillnoether.lib: Riemann-Roch spaces of divisors on curves (@nref{brillnoether_lib})
[cf860b]165@item new library: chern.lib: Chern classes (@nref{chern_lib})
[1a1f82b]166@item new library: ffmodstd.lib:  Groebner bases of ideals in polynomial rings over algebraic function fields(@nref{ffmodstd_lib})
[b031878]167@item new library: GND.lib: General Neron Desingularization (@nref{GND_lib})
[f9103b]168@item new library: graal.lib: localization at prime ideals (@nref{graal_lib})
169@item new library: hess.lib: Riemann-Roch space of divisors (@nref{hess_lib})
170@end itemize
171
172Changed libraries:
173@itemize
[25ba20]174@item renamed algemodstd_lib to @nref{nfmodstd_lib}, extended to @code{module}
[f9103b]175@item renamed derham_lib to @nref{deRham_lib}
[cf860b]176@item grobcov.lib (grobcovK): Groebner Cover for parametric ideals (@nref{grobcov_lib}) with new routine
[415851]177   ConsLevels (@nref{ConsLevels}), removed AddCons  AddConsP.
[327fffb]178@end itemize
179
180@heading News for version 4-0-2
[6bd53ba]181New commands:
182@itemize
183@item align (@nref{align})
[b72148]184@item branchTo (@nref{procs with different argument types})
185@item @code{->} (@nref{proc expression})
[6bd53ba]186@end itemize
187
[edaa83]188Change in ring handling:
189@itemize
190@item @code{typeof(} qring @code{)} returns @code{"ring"}
191@end itemize
192
[bc3046]193New libraries:
194@itemize
[f01f64]195@item algemodstd.lib:  Groebner bases of ideals in polynomial rings
[327fffb]196      over algebraic number fields(renamed to @nref{nfmodstd_lib})
[f01f64]197@item arr.lib: arrangements of hyperplanes (@nref{arr_lib})
198@item brillnoether.lib: Riemann-Roch spaces of divisors on curve (@nref{brillnoether_lib})
199@item hess.lib: Riemann-Roch space of divisors
200      on function fields and curves (@nref{hess_lib})
201@item gradedModules.lib: graded modules/matrices/resolutions (@nref{gradedModules_lib})
[bc3046]202@end itemize
203
[87a13a]204Changed libraries:
205@itemize
[c715b6]206@item revised polymake interface (polymake.so)
[2f87f0]207@item revised gfanlib interface (gfanlib.so)
[70bc37]208@item Presolve::findvars (@nref{findvars}, @nref{variables})
[e90fd1]209@item Ring::addvarsTo (@nref{addvarsTo})
210@item Ring::addNvarsTo (@nref{addNvarsTo})
[9b46be]211@item Ring::hasAlgExtensionCoefficient (@nref{hasAlgExtensionCoefficient})
[51aea9]212@item Schreyer::s_res (@code{s_res})
[70bc37]213@item grobcov.lib (grobcovK) (@nref{grobcov_lib}) with new routines
[415851]214   AddCons  AddConsP.
[e90fd1]215@item normaliz.lib (for normaliz >=2.8) (@nref{normaliz_lib})
[ef657b]216@item renamed groebnerFan to groebnerFanP in polymake.lib (@nref{polymake_lib})
[bddba1]217@item renamed fVector to fVectorP in polymake.lib (@nref{polymake_lib},@code{polymakeInterface_lib})
[87a13a]218@end itemize
219
[bc3046]220@heading News for version 4-0-1
[7d45e3]221
[f7ced6]222Version 4-0-1 is a bug fix release.
[fd3e72]223
[7d21990]224New feature: attribute @code{ring_cf} for @code{ring} (@nref{attrib})
[f7ced6]225
226@heading News for version 4-0-0
227
[b5bb857]228Version 4-0-0 is a milestone relase of Singular.
[4821a3]229The new release series 4 aims for an entirely modularized architecture
[b5bb857]230simplifying connectivity with other systems and paving the way
231for parallel computations.
[1966e4]232As  a first step in modularization, the new  release features an internal
233structural separation of coefficient rings and polynomial rings.
234This allows for a flexible integration of new coefficient rings.
[7af0cb5]235
[1966e4]236@sc{Singular} 4-0-0's list of new functionality and significant
237improvements further extends that of the 3-1-6/7 prerelease series.
[2983b3]238
[1966e4]239New functionality
[600f62]240
[537733f]241@itemize
[a130fa]242@item de Rham cohomology of complements of algebraic varieties (@nref{deRham_lib})
[1966e4]243@item Gromov-Witten numbers of elliptic curves (@nref{ellipticcovers_lib})
[728003]244@item classification of isolated complete intersection singularities in characteristic 0 (@nref{classifyci_lib})
[fb86ba0]245@item parametrization of orbits of unipotent actions (@nref{orbitparam_lib})
[4821a3]246@item F5-like Groebner basis algorithm (@nref{sba})
[1966e4]247@item element-wise application of functions to data structures (@nref{apply})
248@item support for debugging libraries (@nref{ASSUME})
[537733f]249@end itemize
250
[1966e4]251Improved functionality
252
253@itemize
[b5bb857]254@item
[4821a3]255Groebner cover for parametric ideals (@nref{grobcov_lib})
[b5bb857]256@item
[4821a3]257normalization of affine rings (@nref{normal_lib})
[27877c]258@item
[4821a3]259classification of real singularities (@nref{realclassify_lib})
[b5bb857]260@item
[728003]261GIT-fans (@nref{gitfan_lib})
[b5bb857]262@item
[1966e4]263algebraic/transcendental field extensions
[b5bb857]264@item
265@nref{Non-commutative subsystem}
266@item
[4821a3]267an abstraction layer for parallel computations (@nref{parallel_lib})
[b5bb857]268@item
[1966e4]269run-time loading of supplementary kernel code (@nref{Dynamic modules})
270@item
271interpreter language support for name spaces (@nref{package})
[b5bb857]272@end itemize
[1c0823]273
[b5bb857]274Availability
[2983b3]275
[4821a3]276@sc{Singular} is available as source code and for Linux, Mac OS X, Windows, FreeBSD and
[1966e4]277SunOS-5.
[836dc0e]278
Note: See TracBrowser for help on using the repository browser.