source: git/doc/NEWS.texi @ 7af0cb5

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