source: git/doc/NEWS.texi @ f72271b

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