source: git/doc/NEWS.texi @ be4db4

jengelh-datetimespielwiese
Last change on this file since be4db4 was be4db4, checked in by Hans Schönemann <hannes@…>, 16 years ago
*hannes: new libs, references ... git-svn-id: file:///usr/local/Singular/svn/trunk@10199 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 10.3 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.88 2007-07-12 16:42:50 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 Updates for version @value{VERSION}
24
25The current version @value{VERSION} is stabilyzing release,
26a result of a long beta test and the integration of a lot of small
27fixes which were on our waiting list for integration.
28
29It contains also some new features:
30@itemize @bullet
31@item
32licence changed: omalloc and MP are now (also) available under GPL;
33that means that all parts of @sc{Singular} are licenced under GPL (resp. LGPL).
34@item
35factory, libfac, Singular updated for gcc 4.1.x
36@item
37kernel updated for the optional use of boost
38@item
39new operator @code{a:b} gives an @code{intvec} of length @code{b} with constant entries @code{a}
40@item
41new command: (@nref{chinrem}): lifting via chinese remainder theorem
42@item
43new command: (@nref{interpolation}): ideal of points with given multiplicities
44@item
45non-commutative kernel subsystem was rewritten in order to support specific algebras more efficiently.
46Implemented algebras at the moment: super-commutative algebras (in particular exterior algebras).
47@item
48@nref{std} et al.: new selection strategy for reductions (@nref{option} (length)).
49@item
50@nref{simplify} slightly changed: does not omit zero polynomial unless
51specified.
52@item
53new library: compregb.lib (@nref{compregb_lib}): comprehensive Groebner base system
54@item
55new library: kskernel.lib (@nref{kskernel_lib}): kernel of the kodaira-spencer map for irreducible plane curve singularities
56@item
57new library: modstd.lib (@nref{modstd_lib}): Groebner base computations
58over the rational numbers via modular computations
59@item
60new library: noether.lib (@nref{noether_lib}): Noether normalization of an ideal(not nessecary homogeneous)
61@item
62new library: atkins.lib (@nref{atkins_lib}): the elliptic curve primality test of Atkin
63@item
64new library: aksaka.lib (@nref{aksaka_lib}): primality testing after Agrawal, Saxena, Kayal
65@item
66new library: arcpoint.lib (@nref{arcpoint_lib}): truncations of arcs at a singular point
67@item
68new library: resgraph.lib (@nref{resgraph_lib}): visualization of resolution data.
69@item
70new library: realrad.lib (@nref{realrad_lib}): computation of the real radical
71over the rational numbers and extensions thereof
72@item
73new library: hyperel.lib (@nref{hyperel_lib}): divisors in the jacobian of hyperelliptic curves
74@item
75new library: curvepar.lib (@nref{curvepar_lib}): space curves
76@item
77new library: sagbi.lib (@nref{sagbi_lib}): subalgebras bases analogous to Groebner bases for ideals
78@item
79new library: surfex.lib (@nref{surfex_lib}): visualizing and rotating surfaces
80@item
81@nref{sheafcoh_lib}: new experimental functions, in particular @nref{sheafCohBGG2}
82@item
83@nref{nctools_lib}: new functions for super-commutative algebras (i.e. @nref{SuperCommutative}, @nref{IsSCA}, @nref{AltVarStart}, @nref{AltVarEnd})
84@item
85resolve.lib: blow ups revised (@nref{resolve_lib})
86@item
87new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
88@item
89improved version of @nref{slimgb}, incorporated into @nref{groebner},
90strategy change in groebner
91@item
92finvar.lib: the algorithm of @nref{secondary_char0} is now used in general in the
93non-modular case (@nref{finvar_lib})
94@item
95finvar.lib: new algorithm for @nref{irred_secondary_char0} (@nref{finvar_lib})
96@item
97finvar.lib: new function @nref{irred_secondary_no_molien} (@nref{finvar_lib})
98@item
99finvar.lib: new functions for computing minimal generating sets of
100invariant rings of finite groups in the non-modular case: @nref{invariant_algebra_reynolds} for finite
101matrix groups and @nref{invariant_algebra_perm} for permutation groups (@nref{finvar_lib})
102@item
103operation for sparse matrices improved: multiplication, prune, conversion to module
104@item
105experimental: @code{python} / @code{ipython} interface
106@end itemize
107
108@heading News in version 3-0-2
109
110The version 3-0-2 is mainly a bug fix release,
111but it contains also some new features:
112@itemize @bullet
113@item
114factory, libfac updated for gcc 4.1.x
115@item
116configure/speed improved for 64bit architectures
117@item
118new library: dmod.lib (@nref{dmod_lib})
119@item
120new library: perron.lib (@nref{perron_lib})
121@item
122improved center.lib (@nref{center_lib}): revised implementation, new functions (sa_reduce etc.)
123@item
124revised ncalg.lib (@nref{ncalg_lib}): new algebras, U(sl_n) and U(g_2) changed to conform GAP.
125@item
126new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
127@item
128improved version of @nref{slimgb}, incorporated into @nref{groebner}
129@item
130finvar.lib: new algorithm for @nref{secondary_char0}, which is a drastic improvement
131(@nref{finvar_lib}).
132@item
133finvar.lib: new function @nref{irred_secondary_char0} (@nref{finvar_lib}).
134@item
135finvar.lib: new function @nref{rel_orbit_variety}, complementing @nref{relative_orbit_variety}
136(@nref{finvar_lib}).
137@item
138improved module generator (@code{modgen})
139@item
140experimental: new type @nref{bigint}
141@c @item
142@c experimental: @code{python} / @code{ipython} interface
143@item
144more architectures: Solaris on x86/opteron, ...
145@item
146build process improved: builds automatically without patches on 64bit architectures
147@end itemize
148
149@heading NEWS in version 3-0-1
150The version  3-0-1 is mainly a bug fix release,
151but it contains also some new features:
152@itemize @bullet
153@item
154NTL upgraded to version 5.4
155@item
156new library: absfact.lib @nref{absfact_lib}
157@item
158new procedures in primdec.lib: @nref{absPrimdecGTZ}
159@item
160new procedures in standard.lib: @nref{weightKB}
161@item
162build process improved: new make target @code{install_all}
163@item
164improved version of @nref{slimgb}, incorporated into @nref{groebner}
165@item
166arithmetic in Z/pZ for architecture x84_64 improved (by 25 %)
167@end itemize
168
169@heading NEWS in version 3-0-0
170
171The version 3-0-0 is the first in the new
172release series version 3-0.
173
174Singular version 3 has a greater functionality and an improved architecture.
175Major new features are:
176@itemize
177@item
178@nref{Dynamic modules}
179@item
180non-commutative extension @nref{Non-commutative subsystem PLURAL}
181@item
182name spaces (@nref{package})
183@item
184easy manipulation of rings (@nref{ringlist})
185@item
186improved speed of maps (@nref{subst}, @nref{map})
187@item
188a new algorithm for Groebner base computations: @nref{slimgb}.
189@item
190improved factorization (integration of NTL, factorization over algebraic extensions,
191zeroset.lib)
192@item
193improved gcd of polynomials (including bug fixes)
194@item
195ports to more architectures including automatic building from source (fink on Mac, ebuild on Gentoo)
196@item
197more help browsers supported, user extendable (help.cnf)
198@item
199better support of graded modules
200@item
201many bugs fixed
202@end itemize
203Besides theses internal changes, Singular version 3 offers many new
204features and functionalities (which were partly already incorporated in
205the 2-1 pre-release series).
206
207@heading Factorizing algorithms revisited
208Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring
209univariate polynomials. The multivariate factorization code in libfac/factory
210now also works over algebraic extension fields.
211
212@heading New @sc{Singular} libraries
213
214@table @asis
215@item @nref{control_lib}
216algebraic analysis tools for System and Control Theory
217@item @nref{mregular_lib}
218procedures for computing the Castelnuovo-Mumford regularity
219@item @nref{mprimdec_lib}
220procedures for primary decomposition of modules
221@item @nref{gmspoly_lib}, @nref{gmssing_lib}
222procedures for the Gauss-Manin connection of a singularity
223@item @nref{resolve_lib}, @nref{reszeta_lib}
224resolution of singularities and applications
225@item @nref{rootsmr_lib}
226counting the number of real roots
227@item @nref{sheafcoh_lib}
228computing cohomology of sheaves and Tate resolution
229@item @nref{signcond_lib}
230computing realizable sign conditions
231@item @nref{rootsur_lib}
232counting number of real roots of univariate polynomial
233@item @nref{grwalk_lib}
234Groebner and Pertubation walk
235@end table
236
237@heading Changes in @sc{Singular} libraries
238Many procedures were moved into different libraries,
239the documentation of libraries was generally improved.
240
241All procedures which used to change the current ring return now
242the newly created ring.
243@table @asis
244@end table
245
246@heading New @sc{Singular} functions
247
248@table @asis
249@item @nref{ringlist}
250manipulation of rings
251@item @nref{slimgb}
252a new algorithm to compute Groebner bases
253@item @nref{exportto}
254transfer an identifier to the specified package
255@item @nref{importfrom}
256generate a copy of an identifier from the specified package in the current package
257@item @nref{frwalk}
258fractal walk to change monomial orderings
259@end table
260
261@heading @sc{Singular} functions whose syntax/semantics has changed
262@table @asis
263@item @nref{degree}
264outputs degree and dimension instead of returning an int
265@item @nref{attrib}
266new attribute: @code{rowShift}
267@end table
268
269@heading Noncommutative Extension @sc{Plural}
270
271Starting with version 3-0-0, @sc{Singular} features a
272noncommutative extension @sc{Plural}. It allows to
273set and to compute within noncommutative algebras
274 with PBW basis. Among available algorithms are Groebner
275bases for left modules, syzygies and resolutions.
276
277Together with @sc{Plural} come the following libraries:
278
279@table @asis
280@item @nref{center_lib}
281computes generators of the center and centralizer subalgebras up
282to a given degree resp. up to a given number of generators
283@item @nref{involut_lib}
284determines linear antiautomorphisms (involutions) and automorphisms
285@item @nref{gkdim_lib}
286computes a Gel'fand-Kirillov dimension for modules
287@item @nref{ncalg_lib}
288includes ready-to-use funtions for defining many important
289 noncommutative algebras
290@item @nref{ncdecomp_lib}
291computes a decomposition of module by its central characters
292@item @nref{ncalg_lib}, @nref{nctools_lib}
293contain numerous useful tools for noncommutative algebras
294@item @nref{qmatrix_lib}
295procedures, related to quantum matrices and minors
296@end table
297
298@heading Internal Changes
299@table @asis
300@item new mapping code
301@c @item non-commutative extension (Plural)
302@item factory revised
303(gcd, factorizing polynomial over algebraic extension fields,...)
304@end table
305
306@heading Porting
307
308@itemize @bullet
309@item Singular is available for ix86-Linux,
310SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP),
311FreeBSD, MacOS X, DecAlpha-Linux, x86_64-Linux (AMD64/Opteron/EM64T),
312IA64-Linux
313@end itemize
314
Note: See TracBrowser for help on using the repository browser.