source: git/doc/NEWS.texi @ a1dc49

spielwiese
Last change on this file since a1dc49 was a1dc49, checked in by Hans Schönemann <hannes@…>, 23 years ago
*hannes: fixed typos git-svn-id: file:///usr/local/Singular/svn/trunk@5277 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 8.7 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.31 2001-02-26 11:29:46 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 the first release of the new
24release series version 2-0. Its is a major upgrade from both, the 1-2 and
251-3 release serieses.
26
27Singular version 2 is generally much faster than any previous
28version of Singular, due to a rewrite of major parts of the Singular
29kernel (e.g., the kernel has a new memory manager and a new polynomial
30arithmetic) and due to new and better implemented algorithms (e.g., for
31computing resolutions and determinants).
32
33Besides theses internal changes, Singular version 2 offers many new
34features and functionlities (which were partly already incorporated in
35the 1-3 series). E.g., a native Windows distribution, an Emacs user
36interface, a new help system, 16  new libraries, etc.
37
38All these changes are explained in more detail below.
39
40@heading Efficiency Improvements
41The following table shows some timings which compare the efficincy of
42Singular version 1-2-3 and Singular version 2. All times are in seconds
43and were obtained on an AMD Athlon with 700 MHz, 128 MB RAM, running
44Linux.
45
46@multitable @columnfractions .15 .15 .25 .15 .15 .15
47@item @strong{Example} @tab @strong{Comp} @tab @strong{Ring} @tab @strong{1-2} @tab @strong{2-0} @tab @strong{Speedup}
48@item @uref{http://www.singular.uni-kl.de/Benchmarks/Singular/mora_1.sing,,mora_1} @tab std  @tab 32003,x(1..3),ds @tab 82 @tab 9.4 @tab 8.7
49@item @uref{http://www.singular.uni-kl.de/Benchmarks/Singular/mora_9.sing,,mora_9} @tab std  @tab 32003,x(1..14),ds @tab 9600 @tab 96 @tab 100
50@item @uref{http://www.singular.uni-kl.de/Benchmarks/Singular/homog_gonnet.sing,,homog_gonnet} @tab std  @tab 32003,x(1..18),dp @tab 33 @tab 8.9 @tab 4.5
51@item @uref{http://www.singular.uni-kl.de/Benchmarks/Singular/homog_cyclic_8.sing,,homog_cyclic_8} @tab std  @tab 32003,x(1..9),dp @tab 1873 @tab 472 @tab 4.0
52@item  @uref{http://www.singular.uni-kl.de/Benchmarks/Singular/cyclic_8.sing,,cyclic_8} @tab std @tab 32003,x(1..8),dp @tab >47800 @tab 478 @tab >100
53@end multitable
54
55
56@heading General Changes
57@table @asis
58@item @strong{Windows distribution}
59created with Installshield, includes Cygwin, Singular, and (optionally)
60XEmacs, distributed as several self-extracting archives.
61@item @nref{Emacs user interface}
62the recommended interface for using @sc{Singular}
63@item @code{ESingular}
64new program for an out-of-the-box, pre-customized Emacs which runs
65Singular
66@item @nref{The online help system}
67choose in which browser the on-line help is displayed;
68@*wildcard expansion of help topics
69@*new layout of html manual pages
70@item @nref{Source code debugger}
71interactive debugging of procedures written in the @sc{Singular}
72language
73@item @nref{example}
74Provide on-line examples for all kernel and library commands.
75@item file/directory layout of distribution
76@code{Singular/<version>/}
77@item http://www.singular.uni-kl.de
78New WWW home-site of @sc{Singular}
79@end table
80
81@heading Extensions of the ring concept
82
83@table @asis
84@item new coefficient domains: arbitrary long real and complex numbers
85@item no restriction on number of ring variables
86@item no restriction on number of parameters
87@c @item TBC: DegBound on exponent values
88@c @item TBC: parameters over real/complex
89@c @item TBC: declaration with "ring of ring".
90@end table
91
92@heading New @sc{Singular} libraries
93
94Reorganisation of libraries into "Categories".
95@table @asis
96@item @nref{intprog_lib} procedures for computing toric ideals
97@item @nref{toric_lib} procedures for Integer Programming using Groebner bases
98@item @code{spectrum.lib} procedures for computing spectra
99@item @nref{mregular_lib}  procedures for computing the Castelnuovo-Mumford regularity
100@item @nref{mondromy_lib}
101procedures for computing the monodromy of a singularity
102@item @nref{spcurve_lib}
103procedures for CM codimension 2 singularities
104@item @nref{triang_lib}
105procedures for decomposing zero-dimensional ideals
106@item @nref{solve_lib}
107procedures for solving polynomial systems
108@item @nref{surf_lib}
109visualization of curves and surfaces with @code{surf}
110@item @nref{reesclos_lib}
111Rees Algebra and integral closure of an ideal
112@item @nref{brnoeth_lib}
113Brill-Noether algorithm, Weierstrass semigroups and AG codes
114@item @nref{stratify_lib}
115Algorithmic stratification by the Greuel-Pfister algorithm
116@item @nref{paramet_lib}
117parametrization of curves
118@item @nref{rinvar_lib}
119Invariant rings of reductive groups
120@item @nref{zeroset_lib}
121Procedures for roots and factorization
122@item @nref{qhmoduli_lib}
123Moduli spaces of sqh-singularities
124@end table
125
126@heading Changes in @sc{Singular} libraries
127Many procedures were moved into different libraries,
128the documentation of libraries was generally improved and
129some libraries renamed:
130@table @asis
131@item @nref{ainvar_lib}
132renamed @code{invar.lib} to @code{ainvar.lib}
133(see also @code{rinvar.lib}, @code{finvar.lib}).
134@item @nref{deform_lib}
135renamed procedures @code{T1, T2, T12} to @code{T_1, T_2, T_12}.
136@item @nref{poly_lib}
137new procedures numerator/denominator
138@end table
139
140@heading New @sc{Singular} functions
141
142@table @asis
143@item @code{convhull, simplex}
144TODO: docu, tests
145@item @nref{division}
146Extension of lift: @code{division(M,SM)} returns a list @code{[T,U,R]}
147with @code{SM*U+R=M*T}
148@item @nref{breakpoint}
149sets a debugger breakpoint
150@item @code{div}
151integer division omitting remainder
152@item @nref{ERROR}
153interrupts computation in current procedure and returns with error
154message to top-level
155@item @nref{fglmquot}
156calculate ideal quotions using FGLM-techniques
157@item @nref{leadmonom}
158returns the leading monomial of a polynomial or a vector as a polynomial
159or vector whose coefficient is one
160@item @nref{highcorner}
161returns the smallest monomial not contained in and ideal/module
162@item @nref{hres}
163calculate free resolution of homogenous ideal using Hilbert-driven
164algorithm.
165@item @nref{minor}
166with an optional third argument minors modulo a standard basis will be computed
167@item @nref{mpresmat}
168calculate module representing the multipolynomial resultant matrix
169@item @nref{uressolve}
170compute all complex roots of a zerodimensional ideal
171@item @nref{vandermonde}
172solve Vandermonde linear system
173@end table
174
175@heading @sc{Singular} functions whose syntax/semantics has changed
176@table @asis
177@item @nref{coeffs}
178Extended possible syntax to
179@code{coeffs(ideal,ideal)} and @code{coeffs(module,module)} which is
180equivalent to @code{coeffs(ideal,ideal,p)} and
181@code{coeffs(module,module,p)} where @code{p} is a polynomial (i.e.,
182monomial) consisting of all ring variables.
183@item @nref{execute}
184parenthesis around argument of execute is now @strong{mandatory}.
185@item @nref{lift}
186new implementation (unified handling of isSB and not isSB case); new
187optional third argument (a matrix name), which, if given, stores the
188"matrix of units"
189@item @nref{bareiss}
190new implementation after Lie-Saunders, much faster
191@item @nref{example}
192run example for all kernel commands.
193@c @item @nref{fetch}
194@item @nref{print}
195Finer-grained control for formatted output.
196@item @code{pause}
197can be called with argument, must be called with parenthesis.
198@item @nref{option}
199new options: @code{oldStd}, @code{redThrough}, @code{notBuckets}
200@end table
201
202@heading Changes of command-line options and system resources
203@table @asis
204@item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
205new command-line options
206@item @nref{system}
207values of command-line options can be inspected/set at run-time with
208@code{system(<option>[,<new_value])}.
209@item @code{.singularrc}
210system administrators can put a "global" @code{.singularrc} file into
211the directories where @sc{Singular} libraries reside.
212@item @code{libreadline}
213if found, a shared version of the @code{readline} library is linked-in
214dynamically at run-time. If not found, @code{readline} is emulated.
215@end table
216
217@heading Internal Changes
218@table @asis
219@item new data structures for monomials and polynomials
220Makes polynomial arithmetic significantly faster: Especially for block -
221or weighted orderings.
222Bucket representation of polynomials in std;
223Ring change during std, res and bareiss computations
224(resulting in more speed and less sapce consumption).
225@item new memory management
226Results is less memory usage, faster memory allocation/free, less
227fragmentation, much better locality of reference.
228@end table
229
230@heading Porting
231
232@itemize @bullet
233@item
234@code{libreadline} works only with ix86-libc5,
235ix86-libc6,HPUX_9,HPUX_10
236@item Singular is available for ix86-libc5, ix86-libc6, HPUX_9, HPUX_10,
237SunOS-4, SunOS-5, ix86-Win (runs on Windows 95/98/ME, NT 4.0)
238@end itemize
Note: See TracBrowser for help on using the repository browser.