source: git/doc/NEWS.texi @ 9959120

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