source: git/doc/NEWS.texi @ 0dec46

spielwiese
Last change on this file since 0dec46 was 0dec46, checked in by Hans Schönemann <hannes@…>, 17 years ago
*hannes: new libs: noether.lib, ASK.lib, AtkinsTest.lib git-svn-id: file:///usr/local/Singular/svn/trunk@9583 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 7.9 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.67 2006-12-12 15:01:31 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 mainly a bug fix release,
26but it contains also some new features:
27@itemize @bullet
28@item
29licence changed: omalloc and MP are now (also) available under GPL;
30that means that all parts of @sc{Singular} are licenced under GPL (resp. LGPL).
31@item
32factory, libfac, Singular updated for gcc 4.1.x
33@item
34kernel updated for the optional use of boost
35@item
36new command: (@nref{interpolation}: ideal of points with given multiplicities)
37@item
38new library: modStd.lib (@nref{modStd_lib}): Groebner base computations
39over the rational numbers via modular computations
40@item
41new library: noether.lib (@nref{noether_lib}): Noether normalization of an ideal(not nessecary homogeneous)
42@item
43new library: AtkinsTest.lib (@nref{AtkinsTest_lib}): the elliptic curve primality test of Atkin
44@item
45new library: ASK.lib (@nref{ASK_lib}): primality testing after Agrawal, Saxena, Kayal
46@c @item
47@c improved center.lib (@nref{center_lib}): revised implementation, new functions (sa_reduce etc.)
48@item
49resolve.lib: blow ups revised (@nref{resolve_lib}).
50@item
51new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
52@item
53improved version of @nref{slimgb}, incorporated into @nref{groebner},
54strategy change in groebner.
55@item
56operation for sparse matrices improved: multiplication, prune, conversion to module.
57@c @item
58@c experimental: @code{python} / @code{ipython} interface
59@end itemize
60
61@heading News in version 3-0-2
62
63The version 3-0-2 is mainly a bug fix release,
64but it contains also some new features:
65@itemize @bullet
66@item
67factory, libfac updated for gcc 4.1.x
68@item
69configure/speed improved for 64bit architectures
70@item
71new library: dmod.lib (@nref{dmod_lib})
72@item
73new library: perron.lib (@nref{perron_lib})
74@item
75improved center.lib (@nref{center_lib}): revised implementation, new functions (sa_reduce etc.)
76@item
77revised ncalg.lib (@nref{ncalg_lib}): new algebras, U(sl_n) and U(g_2) changed to conform GAP.
78@item
79new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
80@item
81improved version of @nref{slimgb}, incorporated into @nref{groebner}
82@item
83improved module generator (@code{modgen})
84@item
85experimental: new type @nref{bigint}
86@c @item
87@c experimental: @code{python} / @code{ipython} interface
88@item
89more architectures: Solaris on x86/opteron, ...
90@item
91build process improved: builds automatically without patches on 64bit architectures
92@end itemize
93
94@heading NEWS in version 3-0-1
95The version  3-0-1 is mainly a bug fix release,
96but it contains also some new features:
97@itemize @bullet
98@item
99NTL upgraded to version 5.4
100@item
101new library: absfact.lib @nref{absfact_lib}
102@item
103new procedures in primdec.lib: @nref{absPrimdecGTZ}
104@item
105new procedures in standard.lib: @nref{weightKB}
106@item
107build process improved: new make target @code{install_all}
108@item
109improved version of @nref{slimgb}, incorporated into @nref{groebner}
110@item
111arithmetic in Z/pZ for architecture x84_64 improved (by 25 %)
112@end itemize
113
114@heading NEWS in version 3-0-0
115
116The version 3-0-0 is the first in the new
117release series version 3-0.
118
119Singular version 3 has a greater functionality and an improved architecture.
120Major new features are:
121@itemize
122@item
123@nref{Dynamic modules}
124@item
125non-commutative extension @nref{Non-commutative subsystem PLURAL}
126@item
127name spaces (@nref{package})
128@item
129easy manipulation of rings (@nref{ringlist})
130@item
131improved speed of maps (@nref{subst}, @nref{map})
132@item
133a new algorithm for Groebner base computations: @nref{slimgb}.
134@item
135improved factorization (integration of NTL, factorization over algebraic extensions,
136zeroset.lib)
137@item
138improved gcd of polynomials (including bug fixes)
139@item
140ports to more architectures including automatic building from source (fink on Mac, ebuild on Gentoo)
141@item
142more help browsers supported, user extendable (help.cnf)
143@item
144better support of graded modules
145@item
146many bugs fixed
147@end itemize
148Besides theses internal changes, Singular version 3 offers many new
149features and functionalities (which were partly already incorporated in
150the 2-1 pre-release series).
151
152@heading Factorizing algorithms revisited
153Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring
154univariate polynomials. The multivariate factorization code in libfac/factory
155now also works over algebraic extension fields.
156
157@heading New @sc{Singular} libraries
158
159@table @asis
160@item @nref{control_lib}
161algebraic analysis tools for System and Control Theory
162@item @nref{mregular_lib}   
163procedures for computing the Castelnuovo-Mumford regularity
164@item @nref{mprimdec_lib}   
165procedures for primary decomposition of modules
166@item @nref{gmspoly_lib}, @nref{gmssing_lib}   
167procedures for the Gauss-Manin connection of a singularity
168@item @nref{resolve_lib}, @nref{reszeta_lib}
169resolution of singularities and applications
170@item @nref{rootsmr_lib}
171counting the number of real roots
172@item @nref{sheafcoh_lib}
173computing cohomology of sheaves and Tate resolution
174@item @nref{signcond_lib}
175computing realizable sign conditions
176@item @nref{rootsur_lib}
177counting number of real roots of univariate polynomial
178@item @nref{grwalk_lib}
179Groebner and Pertubation walk
180@end table
181
182@heading Changes in @sc{Singular} libraries
183Many procedures were moved into different libraries,
184the documentation of libraries was generally improved.
185
186All procedures which used to change the current ring return now
187the newly created ring.
188@table @asis
189@end table
190
191@heading New @sc{Singular} functions
192
193@table @asis
194@item @nref{ringlist}
195manipulation of rings
196@item @nref{slimgb}
197a new algorithm to compute Groebner bases
198@item @nref{exportto}
199transfer an identifier to the specified package
200@item @nref{importfrom}
201generate a copy of an identifier from the specified package in the current package
202@item @nref{frwalk}
203fractal walk to change monomial orderings
204@end table
205
206@heading @sc{Singular} functions whose syntax/semantics has changed
207@table @asis
208@item @nref{degree}
209outputs degree and dimension instead of returning an int
210@item @nref{attrib}
211new attribute: @code{rowShift}
212@end table
213
214@heading Noncommutative Extension @sc{Plural}
215
216Starting with version 3-0-0, @sc{Singular} features a
217noncommutative extension @sc{Plural}. It allows to
218set and to compute within noncommutative algebras
219 with PBW basis. Among available algorithms are Groebner
220bases for left modules, syzygies and resolutions.
221
222Together with @sc{Plural} come the following libraries:
223
224@table @asis
225@item @nref{center_lib}
226computes generators of the center and centralizer subalgebras up
227to a given degree resp. up to a given number of generators
228@item @nref{involut_lib}
229determines linear antiautomorphisms (involutions) and automorphisms
230@item @nref{gkdim_lib}
231computes a Gel'fand-Kirillov dimension for modules
232@item @nref{ncalg_lib}
233includes ready-to-use funtions for defining many important
234 noncommutative algebras
235@item @nref{ncdecomp_lib}
236computes a decomposition of module by its central characters
237@item @nref{ncalg_lib}, @nref{nctools_lib}
238contain numerous useful tools for noncommutative algebras
239@item @nref{qmatrix_lib}
240procedures, related to quantum matrices and minors
241@end table
242
243@heading Internal Changes
244@table @asis
245@item new mapping code
246@c @item non-commutative extension (Plural)
247@item factory revised
248(gcd, factorizing polynomial over algebraic extension fields,...)
249@end table
250
251@heading Porting
252
253@itemize @bullet
254@item Singular is available for ix86-Linux, HPUX_10,
255SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP),
256FreeBSD, MacOS X, DecAlpha-Linux, x86_64-Linux (AMD64/Opteron/EM64T),
257IA64-Linux
258@end itemize
259
Note: See TracBrowser for help on using the repository browser.