source: git/doc/NEWS.texi @ db6e17d

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