source: git/doc/NEWS.texi @ af460c

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