source: git/doc/NEWS.texi @ a7babb

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