source: git/doc/NEWS.texi @ ac50d6a

spielwiese
Last change on this file since ac50d6a was ac50d6a, checked in by Hans Schönemann <hannes@…>, 17 years ago
*hannes: fixed syntax git-svn-id: file:///usr/local/Singular/svn/trunk@9805 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 9.1 KB
RevLine 
[53c00b]1@comment -*-texinfo-*-
[ac50d6a]2@comment $Id: NEWS.texi,v 1.74 2007-02-02 13:28:33 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
[b63ed6]38non-commutative kernel subsystem was rewritten for more efficient super-commutative (and exterior) algebras
39@item
[fd096c]40@nref{std} et al.: new selection strategy for reductions (@nref{option} (length)).
[46eacb]41@item
42@nref{simplify} slightly changed: does not omit zero polynomial unless
43specified.
44@item
[ba8a71]45new library: modstd.lib (@nref{modstd_lib}): Groebner base computations
[531d9e]46over the rational numbers via modular computations
[0dec46]47@item
48new library: noether.lib (@nref{noether_lib}): Noether normalization of an ideal(not nessecary homogeneous)
49@item
[ba8a71]50new library: atkins.lib (@nref{atkins_lib}): the elliptic curve primality test of Atkin
[0dec46]51@item
[4b1c39]52new library: aksaka.lib (@nref{aksaka_lib}): primality testing after Agrawal, Saxena, Kayal
[ba8a71]53@item
54new library: arcpoint.lib (@nref{arcpoint_lib}): truncations of arcs at a singular point
[b63ed6]55@item
[46eacb]56new library: resgraph.lib (@nref{resgraph_lib}): visualization of resolution data.
57@item
58sheafcoh.lib: new experimental functions (sheafCohBGG2)
[b63ed6]59@item
60nctools.lib: new functions for super-commutative algebras (SuperCommutative, IsSCA, AltVarStart, AltVarEnd)
[9b3858]61@item
[878bd9]62resolve.lib: blow ups revised (@nref{resolve_lib}).
[9b3858]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.
[531d9e]68@item
[255c18]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},
[ac50d6a]74@nref{secondary_no_molien}, @nref{secondary_and_irreducibles_no_molien}
[255c18]75(@nref{finvar_lib}).
76@item
[db6e17d]77operation for sparse matrices improved: multiplication, prune, conversion to module.
[9b3858]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
[c725ac]88factory, libfac updated for gcc 4.1.x
89@item
90configure/speed improved for 64bit architectures
91@item
[e825a3]92new library: dmod.lib (@nref{dmod_lib})
[c725ac]93@item
[e825a3]94new library: perron.lib (@nref{perron_lib})
[4a38bd]95@item
[e825a3]96improved center.lib (@nref{center_lib}): revised implementation, new functions (sa_reduce etc.)
[4a38bd]97@item
[e825a3]98revised ncalg.lib (@nref{ncalg_lib}): new algebras, U(sl_n) and U(g_2) changed to conform GAP.
[4a38bd]99@item
[e825a3]100new algorithms in primdec.lib (@nref{primdec_lib}): radical et al.
[c725ac]101@item
102improved version of @nref{slimgb}, incorporated into @nref{groebner}
103@item
[255c18]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
[e825a3]114improved module generator (@code{modgen})
115@item
[c725ac]116experimental: new type @nref{bigint}
[aff0bb7]117@c @item
118@c experimental: @code{python} / @code{ipython} interface
[c725ac]119@item
[aff0bb7]120more architectures: Solaris on x86/opteron, ...
[f6f1db]121@item
122build process improved: builds automatically without patches on 64bit architectures
[c725ac]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
[7d45e3]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
[695850]147The version 3-0-0 is the first in the new
[a02163]148release series version 3-0.
[5c14fb]149
[a02163]150Singular version 3 has a greater functionality and an improved architecture.
151Major new features are:
152@itemize
153@item
[745dd8]154@nref{Dynamic modules}
[a02163]155@item
[f45d18]156non-commutative extension @nref{Non-commutative subsystem PLURAL}
[a02163]157@item
[745dd8]158name spaces (@nref{package})
[a02163]159@item
[745dd8]160easy manipulation of rings (@nref{ringlist})
[a02163]161@item
[745dd8]162improved speed of maps (@nref{subst}, @nref{map})
[a02163]163@item
[954abc]164a new algorithm for Groebner base computations: @nref{slimgb}.
[012bbb]165@item
[a02163]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
[4a499b]173more help browsers supported, user extendable (help.cnf)
174@item
175better support of graded modules
[a02163]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
[4a499b]181the 2-1 pre-release series).
[2983b3]182
[98b5a7]183@heading Factorizing algorithms revisited
184Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring
[4a499b]185univariate polynomials. The multivariate factorization code in libfac/factory
186now also works over algebraic extension fields.
[2983b3]187
[53c00b]188@heading New @sc{Singular} libraries
189
190@table @asis
[3175d1]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}   
[a02163]196procedures for primary decomposition of modules
[3175d1]197@item @nref{gmspoly_lib}, @nref{gmssing_lib}   
[af847a]198procedures for the Gauss-Manin connection of a singularity
[c1bedf]199@item @nref{resolve_lib}, @nref{reszeta_lib}
[4a499b]200resolution of singularities and applications
[1c981c]201@item @nref{rootsmr_lib}
[7acf9b]202counting the number of real roots
[10937b]203@item @nref{sheafcoh_lib}
204computing cohomology of sheaves and Tate resolution
[7acf9b]205@item @nref{signcond_lib}
206computing realizable sign conditions
[67f7108]207@item @nref{rootsur_lib}
[7acf9b]208counting number of real roots of univariate polynomial
[8c78f0]209@item @nref{grwalk_lib}
[7acf9b]210Groebner and Pertubation walk
[53c00b]211@end table
212
[5c14fb]213@heading Changes in @sc{Singular} libraries
214Many procedures were moved into different libraries,
[a02163]215the documentation of libraries was generally improved.
[7031a2]216
217All procedures which used to change the current ring return now
218the newly created ring.
[5c14fb]219@table @asis
220@end table
221
[53c00b]222@heading New @sc{Singular} functions
223
224@table @asis
[7031a2]225@item @nref{ringlist}
226manipulation of rings
227@item @nref{slimgb}
[954abc]228a new algorithm to compute Groebner bases
[7031a2]229@item @nref{exportto}
[4a499b]230transfer an identifier to the specified package
[7031a2]231@item @nref{importfrom}
[4a499b]232generate a copy of an identifier from the specified package in the current package
[7031a2]233@item @nref{frwalk}
234fractal walk to change monomial orderings
[53c00b]235@end table
236
237@heading @sc{Singular} functions whose syntax/semantics has changed
238@table @asis
[a02163]239@item @nref{degree}
240outputs degree and dimension instead of returning an int
241@item @nref{attrib}
242new attribute: @code{rowShift}
[8d38069]243@end table
244
[3175d1]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
[c1bedf]259@item @nref{involut_lib}
[3175d1]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
[2983b3]274@heading Internal Changes
275@table @asis
[a02163]276@item new mapping code
[3175d1]277@c @item non-commutative extension (Plural)
[4a499b]278@item factory revised
[7acf9b]279(gcd, factorizing polynomial over algebraic extension fields,...)
[2983b3]280@end table
281
[98a386]282@heading Porting
[2983b3]283
[a70441f]284@itemize @bullet
[7acf9b]285@item Singular is available for ix86-Linux, HPUX_10,
286SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP),
[a02163]287FreeBSD, MacOS X, DecAlpha-Linux, x86_64-Linux (AMD64/Opteron/EM64T),
288IA64-Linux
[8d38069]289@end itemize
[836dc0e]290
Note: See TracBrowser for help on using the repository browser.