source: git/doc/NEWS.texi @ 612efe

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