source: git/doc/NEWS.texi @ b2a899

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