source: git/doc/NEWS.texi @ fec53d

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