source: git/doc/NEWS.texi @ e714d8a

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