source: git/doc/NEWS.texi @ 710469

jengelh-datetimespielwiese
Last change on this file since 710469 was 710469, checked in by Hans Schönemann <hannes@…>, 13 years ago
typo fixed git-svn-id: file:///usr/local/Singular/svn/trunk@12564 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 16.4 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id$
3@comment this file contains the News about Singular versions
4@comment Unix
5@ifclear VERSION
6@include version.texi
7@end ifclear
8
9@majorheading NEWS in SINGULAR @value{VERSION}
10
11@ifclear singularmanual
12@macro nref{what}
13\what\
14@end macro
15@end ifclear
16
17@ifset singularmanual
18@macro nref{what}
19@ref{\what\}
20@end macro
21@end ifset
22
23@heading News for version @value{VERSION}
24
25@itemize @bullet
26@item
27new option @code{qringNF}, see @nref{option}.
28@item
29new system command @code{system("cpu")}, see @nref{system}.
30@end itemize
31
32@heading New @sc{Singular} functions
33@itemize @bullet
34@item
35new command: @code{farey}: lifting to Q  (see @nref{farey})
36@item
37new command: @code{monomial} (see @nref{monomial})
38@item
39command extended: @code{liftstd} also computes syzygies.  (see @nref{liftstd})
40@item
41command extended: @code{minor} has more options.  (see @nref{minor})
42@item
43command extended: @code{opposite} (see @nref{opposite})
44@end itemize
45
46@heading Internal Changes
47@itemize @bullet
48@item
49new minor code
50@item
51removed @code{EXTGCD} (use @code{extgcd})
52@item
53moved mp_set_memory_functions-call from kernel/mminit.cc to tesths.cc:main
54  (in order not to call it for libsingular)
55@end itemize
56
57@heading New @sc{Singular} libraries
58@itemize @bullet
59@item
60new library: normaliz.lib (see @nref{normaliz_lib}: Interface to Normaliz 2.2)
61@c @item
62@c new library: binresol.lib (see @nref{binresol_lib}: binomial ideals)
63@c @item
64@c new library: findiff.lib (see @nref{findiff_lib}: finite difference schemes)
65@end itemize
66
67@heading Changed @sc{Singular} libraries
68@itemize
69@item
70homolog.lib (@nref{homolog_lib}): canonMap
71@item
72dmod.lib (@nref{dmod_lib}): operatorModulo
73@end itemize
74
75@heading News for version 3-1-0
76
77@itemize @bullet
78@item
79new coefficients: Z, Z/m, Z/(2^n) (see @nref{Rings and orderings})
80@item
81new handling of the default argument in libraries (see @nref{Parameter list})
82@item
83@code{ESingular} updated for emacs 22
84@item
85licences for all parts of @sc{Singular} clarified (see @nref{Preface})
86@end itemize
87
88@heading New @sc{Singular} functions
89@itemize @bullet
90@item
91new command: kernel (see @nref{kernel})
92@item
93new command: sqrfree (see @nref{sqrfree})
94@item
95command changed: the first argument to @code{monitor} should be an ASCII link.
96(see @nref{monitor})
97@item
98command extended: eliminate: variables to eliminate may also be given as intvec.
99(see @nref{eliminate})
100@end itemize
101
102@heading Internal Changes
103@itemize @bullet
104@item
105handling of large input for std improved
106@item
107@nref{interred} implemented in a different way
108@item
109@nref{kbase} honors the attribute "isHomog"
110@item
111@nref{jacob} accepts modules and matrices
112
113@item
114@nref{gcd} over algebraic extensions of the rationals implemented in a different way
115@item new build target: libsingular.a (for gfan etc.)
116@item code variants now depend on CPU type, not OS
117@item better test for built-in limits (see @nref{Limitations})
118@item
119operator @code{new(size_t,const std::nothrow_t&)} now also overloaded
120@end itemize
121
122@heading New @sc{Singular} libraries
123@itemize @bullet
124@item
125surfex: new version 0.90 (see @nref{surfex_lib}).
126@item
127new library: redcgs.lib (see @nref{redcgs_lib}: Reduced Comprehensive Groebner Systems)
128@item
129new library: tropical.lib (see @nref{tropical_lib}: Computations in Tropical Geometry)
130@item
131new library: polymake.lib (see @nref{polymake_lib}:
132Computations with polytopes and fans, interface to polymake and TOPCOM)
133@item
134new library: sing4ti2.lib (see @nref{sing4ti2_lib}:
135interface to 4ti2
136@item
137new library: decodegb.lib (see @nref{decodegb_lib}: Generating and solving systems of polynomial equations for decoding and finding the minimum distance of linear codes)
138@item
139new library: dmodapp.lib (see @nref{dmodapp_lib}: applications of D-modules)
140@item
141new library: bfun.lib global (see @nref{bfun_lib}: Bernstein-Sato polynomial)
142@item
143new library: freegb.lib (see @nref{freegb_lib}): Twosided Non-commutative Groebner bases in Free Algebras
144@item
145new library: jacobson.lib (see @nref{jacobson_lib}): Algorithms for Smith and Jacobson Normal Form
146@item
147contributed library: cimonom.lib (see @nref{cimonom_lib}): determines if the toric ideal of an affine monomial curve is a complete intersection
148@item
149contributed library: phindex.lib (see @nref{phindex_lib}): Poincare-Hopf index of a real analytic vector field
150@end itemize
151
152@heading Changed @sc{Singular} libraries
153@itemize
154@item
155normal.lib (@nref{normal_lib}): changed structure of the result,
156@* new algorithms have been implemented which improve the performance
157@item
158elim.lib (@nref{elim_lib}): @nref{elim}, @nref{nselect}, @nref{select}, @nref{select1}: changed syntax
159@item
160homolog.lib: kernel renamed to @nref{hom_kernel}.
161@*(See also @nref{kernel}, @nref{alg_kernel}).
162@item
163matrix.lib (@nref{matrix_lib}): new commands for computing symmetric/exterior powers/bases
164@item
165surf.lib: new command @code{surfer}: interface to program @code{surfer}
166@*(See @nref{surf_lib}).
167@item
168teachstd.lib (@nref{teachstd_lib}): spoly works now in non-commutative algebras and @nref{standard} can thus be used there.
169However, since product criterion is a priori not applicable in the non-commutative case,
170one may want to disable it first (see @code{prodcrit} for details).
171@item
172many changes of names in libraries (to have a more consistent naming scheme)
173@end itemize
174
175@heading News for version 3-0-4
176
177@itemize @bullet
178@item
179licence changed: due to the need to use stuff under (L)GPL3,
180all parts of @sc{Singular} are licenced under GPL (resp. LGPL) version 2, or (at your option) version 3
181@item
182new command: (@nref{univariate}): test polynomials for being univariate.
183@item
184new command: (@nref{variables}): ideal of all variables occurring in a polynomial, ideal or matrix.
185@item
186syntax change: @nref{ncalgebra} should be substituted by @nref{nc_algebra}.
187@code{ncalgebra} is now depreciated, but still supported
188@item
189library @nref{nctools_lib} updated to use @code{nc_algebra},@*
190@nref{Weyl}, @nref{Exterior}, @nref{findimAlgebra} do not change the current ring
191but return the new structure
192@item
193kernel: use Conway polynomials and support more finite fields
194@end itemize
195
196@heading News in version 3-0-3
197
198The version 3-0-3 is stabilizing release,
199a result of a long beta test and the integration of a lot of small
200fixes which were on our waiting list for integration.
201
202It contains also  a lot of new features:
203@itemize @bullet
204@item
205licence changed: omalloc and MP are now (also) available under GPL;
206that means that all parts of @sc{Singular} are licenced under GPL (resp. LGPL).
207@item
208factory, libfac, @sc{Singular} updated for gcc 4.1.x
209@item
210kernel updated for the optional use of boost.
211@item
212can now be built as a library.
213@item
214new operator @code{a:b} gives an @code{intvec} of length @code{b} with constant entries @code{a}
215@item
216new command: (@nref{chinrem}): lifting via chinese remainder theorem
217@item
218new command: (@nref{interpolation}): ideal of points with given multiplicities
219@item
220non-commutative kernel subsystem was rewritten in order to support specific algebras more efficiently.
221Implemented algebras at the moment: super-commutative algebras (in particular exterior algebras).
222@item
223@nref{std} et al.: new selection strategy for reductions (@nref{option} (length)).
224@item
225@nref{reduce}: new strategy for selection and normalization.
226@item
227@nref{simplify} slightly changed: does not omit zero polynomial unless
228specified.
229@item
230new library: compregb.lib (@nref{compregb_lib}): comprehensive Groebner base system
231@item
232new library: kskernel.lib (@nref{kskernel_lib}): kernel of the kodaira-spencer map for irreducible plane curve singularities
233@item
234new library: modstd.lib (@nref{modstd_lib}): Groebner base computations
235over the rational numbers via modular computations
236@item
237new library: noether.lib (@nref{noether_lib}): Noether normalization of an ideal(not nessecary homogeneous)
238@item
239new library: atkins.lib (@nref{atkins_lib}): the elliptic curve primality test of Atkin
240@item
241new library: aksaka.lib (@nref{aksaka_lib}): primality testing after Agrawal, Saxena, Kayal
242@item
243new library: arcpoint.lib (@nref{arcpoint_lib}): truncations of arcs at a singular point
244@item
245new library: resgraph.lib (@nref{resgraph_lib}): visualization of resolution data.
246@item
247new library: realrad.lib (@nref{realrad_lib}): computation of the real radical
248over the rational numbers and extensions thereof
249@item
250new library: hyperel.lib (@nref{hyperel_lib}): divisors in the jacobian of hyperelliptic curves
251@item
252new library: curvepar.lib (@nref{curvepar_lib}): space curves
253@item
254new library: sagbi.lib (@nref{sagbi_lib}): subalgebras bases analogous to Groebner bases for ideals
255@item
256new library: surfex.lib (@nref{surfex_lib}): visualizing and rotating surfaces
257@item
258new library: cimonom.lib (@nref{cimonom_lib}): determines if the toric ideal of an affine monomial curve is a complete intersection.
259@item
260@nref{sheafcoh_lib}: new experimental functions, in particular @nref{sheafCohBGG2}
261@item
262library @code{ncall.lib} merged into @nref{all_lib}
263@item
264library center.lib (@code{center_lib}) renamed to @code{central.lib} (@nref{central_lib})
265@item
266@nref{nctools_lib}: new functions for super-commutative algebras (i.e. @nref{superCommutative}, @nref{IsSCA}, @nref{AltVarStart}, @nref{AltVarEnd})
267@item
268resolve.lib: blow ups revised (@nref{resolve_lib})
269@item
270new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
271@item
272improved version of @nref{slimgb}, incorporated into @nref{groebner},
273strategy change in groebner
274@item
275finvar.lib: the algorithm of @nref{secondary_char0} is now used in general in the
276non-modular case (@nref{finvar_lib})
277@item
278finvar.lib: new algorithm for @nref{irred_secondary_char0} (@nref{finvar_lib})
279@item
280finvar.lib: new function @nref{irred_secondary_no_molien} (@nref{finvar_lib})
281@item
282finvar.lib: new functions for computing minimal generating sets of
283invariant rings of finite groups in the non-modular case: @nref{invariant_algebra_reynolds} for finite
284matrix groups and @nref{invariant_algebra_perm} for permutation groups (@nref{finvar_lib})
285@item
286operation for sparse matrices improved: multiplication, prune, conversion to module
287@c @item
288@c experimental: @code{python} / @code{ipython} interface
289@end itemize
290
291@heading News in version 3-0-2
292
293The version 3-0-2 is mainly a bug fix release,
294but it contains also some new features:
295@itemize @bullet
296@item
297factory, libfac updated for gcc 4.1.x
298@item
299configure/speed improved for 64bit architectures
300@item
301new library: dmod.lib (@nref{dmod_lib})
302@item
303new library: perron.lib (@nref{perron_lib})
304@item
305improved center.lib: revised implementation, new functions (sa_reduce etc.)
306@item
307revised ncalg.lib (@nref{ncalg_lib}): new algebras, U(sl_n) and U(g_2) changed to conform GAP.
308@item
309new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
310@item
311improved version of @nref{slimgb}, incorporated into @nref{groebner}
312@item
313finvar.lib: new algorithm for @nref{secondary_char0}, which is a drastic improvement
314(@nref{finvar_lib}).
315@item
316finvar.lib: new function @nref{irred_secondary_char0} (@nref{finvar_lib}).
317@item
318finvar.lib: new function @nref{rel_orbit_variety}, complementing @nref{relative_orbit_variety}
319(@nref{finvar_lib}).
320@item
321improved module generator (@code{modgen})
322@item
323experimental: new type @nref{bigint}
324@c @item
325@c experimental: @code{python} / @code{ipython} interface
326@item
327more architectures: Solaris on x86/opteron, ...
328@item
329build process improved: builds automatically without patches on 64bit architectures
330@end itemize
331
332@heading NEWS in version 3-0-1
333The version  3-0-1 is mainly a bug fix release,
334but it contains also some new features:
335@itemize @bullet
336@item
337NTL upgraded to version 5.4
338@item
339new library: absfact.lib @nref{absfact_lib}
340@item
341new procedures in primdec.lib: @nref{absPrimdecGTZ}
342@item
343new procedures in standard.lib: @nref{weightKB}
344@item
345build process improved: new make target @code{install_all}
346@item
347improved version of @nref{slimgb}, incorporated into @nref{groebner}
348@item
349arithmetic in Z/pZ for architecture x84_64 improved (by 25 %)
350@end itemize
351
352@heading NEWS in version 3-0-0
353
354The version 3-0-0 is the first in the new
355release series version 3-0.
356
357@sc{Singular} version 3 has a greater functionality and an improved architecture.
358Major new features are:
359@itemize
360@item
361@nref{Dynamic modules}
362@item
363non-commutative extension @nref{Non-commutative subsystem}
364@item
365name spaces (@nref{package})
366@item
367easy manipulation of rings (@nref{ringlist})
368@item
369improved speed of maps (@nref{subst}, @nref{map})
370@item
371a new algorithm for Groebner base computations: @nref{slimgb}.
372@item
373improved factorization (integration of NTL, factorization over algebraic extensions,
374zeroset.lib)
375@item
376improved gcd of polynomials (including bug fixes)
377@item
378ports to more architectures including automatic building from source (fink on Mac, ebuild on Gentoo)
379@item
380more help browsers supported, user extendable (help.cnf)
381@item
382better support of graded modules
383@item
384many bugs fixed
385@end itemize
386Besides theses internal changes, @sc{Singular} version 3 offers many new
387features and functionalities (which were partly already incorporated in
388the 2-1 pre-release series).
389
390@heading Factorizing algorithms revisited (3-0-0)
391Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring
392univariate polynomials. The multivariate factorization code in libfac/factory
393now also works over algebraic field extension.
394
395@heading New @sc{Singular} libraries (3-0-0)
396
397@table @asis
398@item @nref{control_lib}
399algebraic analysis tools for System and Control Theory
400@item @nref{mregular_lib}
401procedures for computing the Castelnuovo-Mumford regularity
402@item @nref{mprimdec_lib}
403procedures for primary decomposition of modules
404@item @nref{gmspoly_lib}, @nref{gmssing_lib}
405procedures for the Gauss-Manin connection of a singularity
406@item @nref{resolve_lib}, @nref{reszeta_lib}
407resolution of singularities and applications
408@item @nref{rootsmr_lib}
409counting the number of real roots
410@item @nref{sheafcoh_lib}
411computing cohomology of sheaves and Tate resolution
412@item @nref{signcond_lib}
413computing realizable sign conditions
414@item @nref{rootsur_lib}
415counting number of real roots of univariate polynomial
416@item @nref{grwalk_lib}
417Groebner and Pertubation walk
418@end table
419
420@heading Changes in @sc{Singular} libraries (3-0-0)
421Many procedures were moved into different libraries,
422the documentation of libraries was generally improved.
423
424All procedures which used to change the current ring return now
425the newly created ring.
426@table @asis
427@end table
428
429@heading New @sc{Singular} functions (3-0-0)
430
431@table @asis
432@item @nref{ringlist}
433manipulation of rings
434@item @nref{slimgb}
435a new algorithm to compute Groebner bases
436@item @nref{exportto}
437transfer an identifier to the specified package
438@item @nref{importfrom}
439generate a copy of an identifier from the specified package in the current package
440@item @nref{frwalk}
441fractal walk to change monomial orderings
442@end table
443
444@heading @sc{Singular} functions whose syntax/semantics has changed (3-0-0)
445@table @asis
446@item @nref{degree}
447outputs degree and dimension instead of returning an int
448@item @nref{attrib}
449new attribute: @code{rowShift}
450@end table
451
452@heading Non-commutative Extension @sc{Plural} (3-0-0)
453
454Starting with version 3-0-0, @sc{Singular} features the
455non-commutative extension @sc{Plural}. It allows to
456set and to compute within non-commutative algebras
457 with PBW basis. Among available algorithms are Groebner
458bases for left modules, syzygies and resolutions.
459
460The following libraries come together with @sc{Plural}:
461
462@table @asis
463@item @code{center.lib}
464computes generators of the center and centralizer subalgebras up
465to a given degree resp. up to a given number of generators
466@item @nref{involut_lib}
467determines linear antiautomorphisms (involutions) and automorphisms
468@item @nref{gkdim_lib}
469computes a Gel'fand-Kirillov dimension for modules
470@item @nref{ncalg_lib}
471includes ready-to-use funtions for defining many important
472 non-commutative algebras
473@item @nref{ncdecomp_lib}
474computes a decomposition of a module by its central characters
475@item @nref{ncalg_lib}, @nref{nctools_lib}
476contain numerous useful tools for non-commutative algebras
477@item @nref{qmatrix_lib}
478procedures, related to quantum matrices and minors
479@end table
480
481@heading Internal Changes (3-0-0)
482@table @asis
483@item new mapping code
484@c @item non-commutative extension (Plural)
485@item factory revised
486(gcd, factorizing polynomial over algebraic extension fields,...)
487@end table
488
489@heading Porting
490
491@itemize @bullet
492@item @sc{Singular} is available for ix86-Linux,
493SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP/Vista),
494FreeBSD, MacOS X, x86_64-Linux (AMD64/Opteron/EM64T),
495IA64-Linux
496@end itemize
497
Note: See TracBrowser for help on using the repository browser.