source: git/doc/NEWS.texi @ 67f7108

spielwiese
Last change on this file since 67f7108 was 67f7108, checked in by Hans Schönemann <hannes@…>, 18 years ago
*hannes: urrcount.lib ->rootsur.lib git-svn-id: file:///usr/local/Singular/svn/trunk@8160 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 4.6 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.46 2005-05-11 16:08:06 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
23The current version @value{VERSION} is a pre-release to the new
24release series version 3-0.
25
26Singular version 3 has a greater functionality and an improved architecture.
27Major new features are:
28@itemize
29@item
30@nref{Dynamic modules}
31@item
32non-commutative extension @nref{PLURAL}
33@item
34name spaces (@nref{package})
35@item
36easy manipulation of rings (@nref{ringlist})
37@item
38improved speed of maps (@nref{subst}, @nref{map})
39@item
40variant of Faugeres F4: @nref{slimgb}.
41@item
42improved factorization (integration of NTL, factorization over algebraic extensions,
43zeroset.lib)
44@item
45improved gcd of polynomials (including bug fixes)
46@item
47ports to more architectures including automatic building from source (fink on Mac, ebuild on Gentoo)
48@item
49more help browser supported, user extendable (help.cnf)
50@item
51many bugs fixed
52@end itemize
53Besides theses internal changes, Singular version 3 offers many new
54features and functionalities (which were partly already incorporated in
55the 2-0 series).
56
57@heading Factorizing algorithms revisited
58Starting with version 2-0-4, we use NTL (of Victor Shoup) for factoring
59univariate polynomials. The multivariate factoring code in libfac/factory
60does now also work over algebraic extension fields.
61
62@heading New @sc{Singular} libraries
63
64Reorganisation of libraries into "Categories".
65@table @asis
66@item @nref{control_lib}
67algebraic analysis tools for System and Control Theory
68@item @nref{mregular_lib}   
69procedures for computing the Castelnuovo-Mumford regularity
70@item @nref{mprimdec_lib}   
71procedures for primary decomposition of modules
72@item @nref{gmspoly_lib}, @nref{gmssing_lib}   
73procedures for the Gauss-Manin connection of a singularity
74@item @nref{mrrcount_lib}
75counting the number of real roots
76@item @nref{signcond_lib}
77computing realizable sign conditions
78@item @nref{rootsur_lib}
79counting number of real roots of univariate polynomial
80@item @nref{grwalk_lib}
81Groebner and Pertubation walk
82@end table
83
84@heading Changes in @sc{Singular} libraries
85Many procedures were moved into different libraries,
86the documentation of libraries was generally improved.
87
88All procedures which used to change the current ring return now
89the newly created ring.
90@table @asis
91@end table
92
93@heading New @sc{Singular} functions
94
95@table @asis
96@item @nref{ringlist}
97manipulation of rings
98@item @nref{slimgb}
99variant of the F4 algorithm to compute Groebner bases
100@item @nref{exportto}
101@item @nref{importfrom}
102
103@item @nref{frwalk}
104fractal walk to change monomial orderings
105@end table
106
107@heading @sc{Singular} functions whose syntax/semantics has changed
108@table @asis
109@item @nref{degree}
110outputs degree and dimension instead of returning an int
111@item @nref{attrib}
112new attribute: @code{rowShift}
113@end table
114
115@heading Noncommutative Extension @sc{Plural}
116
117Starting with version 3-0-0, @sc{Singular} features a
118noncommutative extension @sc{Plural}. It allows to
119set and to compute within noncommutative algebras
120 with PBW basis. Among available algorithms are Groebner
121bases for left modules, syzygies and resolutions.
122
123Together with @sc{Plural} come the following libraries:
124
125@table @asis
126@item @nref{center_lib}
127computes generators of the center and centralizer subalgebras up
128to a given degree resp. up to a given number of generators
129@item @nref{involution_lib}
130determines linear antiautomorphisms (involutions) and automorphisms
131@item @nref{gkdim_lib}
132computes a Gel'fand-Kirillov dimension for modules
133@item @nref{ncalg_lib}
134includes ready-to-use funtions for defining many important
135 noncommutative algebras
136@item @nref{ncdecomp_lib}
137computes a decomposition of module by its central characters
138@item @nref{ncalg_lib}, @nref{nctools_lib}
139contain numerous useful tools for noncommutative algebras
140@item @nref{qmatrix_lib}
141procedures, related to quantum matrices and minors
142@end table
143
144@heading Internal Changes
145@table @asis
146@item new mapping code
147@c @item non-commutative extension (Plural)
148@item factory revisited
149(gcd, factorizing polynomial over algebraic extension fields,...)
150@end table
151
152@heading Porting
153
154@itemize @bullet
155@item Singular is available for ix86-Linux, HPUX_10,
156SunOS-5, IRIX-6, ix86-Win (runs on Windows 95/98/NT4/2000/XP),
157FreeBSD, MacOS X, DecAlpha-Linux, x86_64-Linux (AMD64/Opteron/EM64T),
158IA64-Linux
159@end itemize
Note: See TracBrowser for help on using the repository browser.