source: git/doc/NEWS.texi @ 27fa8f9

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