source: git/doc/NEWS.texi @ af847a

Last change on this file since af847a was af847a, checked in by Mathias Schulze <mschulze@…>, 22 years ago
*mschulze: added gaussman.lib, jordan.lib, jet, reduce git-svn-id: file:///usr/local/Singular/svn/trunk@5282 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 9.1 KB
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.34 2001-02-26 16:28:51 mschulze Exp $
3@comment this file contains the News about Singular versions
4@comment Unix
5@ifclear VERSION
6@include version.texi
7@end ifclear
9@majorheading NEWS in SINGULAR @value{VERSION}
11@ifclear singularmanual
12@macro nref{what}
14@end macro
15@end ifclear
17@ifset singularmanual
18@macro nref{what}
20@end macro
21@end ifset
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.
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).
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.
38All these changes are explained in more detail below.
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
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{,,mora_1} @tab std  @tab 32003,x(1..3),ds @tab 82 @tab 9.4 @tab 8.7
49@item @uref{,,mora_9} @tab std  @tab 32003,x(1..14),ds @tab 9600 @tab 96 @tab 100
50@item @uref{,,homog_gonnet} @tab std  @tab 32003,x(1..18),dp @tab 33 @tab 8.9 @tab 4.5
51@item @uref{,,homog_cyclic_8} @tab std  @tab 32003,x(1..9),dp @tab 1873 @tab 472 @tab 4.0
52@item  @uref{,,cyclic_8} @tab std @tab 32003,x(1..8),dp @tab >47800 @tab 478 @tab >100
53@end multitable
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
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}
73@item @nref{example}
74Provide on-line examples for all kernel and library commands.
75@item file/directory layout of distribution
78New WWW home-site of @sc{Singular}
79@end table
81@heading Extensions of the ring concept
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
92@heading New @sc{Singular} libraries
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 @nref{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{gaussman_lib}
103procedures for the Gauss-Manin connection of a singularity
104@item @nref{spcurve_lib}
105procedures for CM codimension 2 singularities
106@item @nref{triang_lib}
107procedures for decomposing zero-dimensional ideals
108@item @nref{solve_lib}
109procedures for solving polynomial systems
110@item @nref{surf_lib}
111visualization of curves and surfaces with @code{surf}
112@item @nref{reesclos_lib}
113Rees Algebra and integral closure of an ideal
114@item @nref{brnoeth_lib}
115Brill-Noether algorithm, Weierstrass semigroups and AG codes
116@item @nref{stratify_lib}
117Algorithmic stratification by the Greuel-Pfister algorithm
118@item @nref{paramet_lib}
119parametrization of curves
120@item @nref{rinvar_lib}
121Invariant rings of reductive groups
122@item @nref{zeroset_lib}
123Procedures for roots and factorization
124@item @nref{qhmoduli_lib}
125Moduli spaces of sqh-singularities
126@end table
128@heading Changes in @sc{Singular} libraries
129Many procedures were moved into different libraries,
130the documentation of libraries was generally improved and
131some libraries renamed:
132@table @asis
133@item @nref{ainvar_lib}
134renamed @code{invar.lib} to @code{ainvar.lib}
135(see also @code{rinvar.lib}, @code{finvar.lib}).
136@item @nref{deform_lib}
137renamed procedures @code{T1, T2, T12} to @code{T_1, T_2, T_12}.
138@item @nref{poly_lib}
139new procedures numerator/denominator
140@item @nref{linalg_lib}
141included @code{jordan.lib} in @code{linalg.lib}
142@end table
144@heading New @sc{Singular} functions
146@table @asis
147@item @code{convhull, simplex}
148TODO: docu, tests
149@item @nref{division}
150Extension of lift: @code{division(M,SM)} returns a list @code{[T,U,R]}
151with @code{SM*U+R=M*T}
152@item @nref{breakpoint}
153sets a debugger breakpoint
154@item @code{div}
155integer division omitting remainder
156@item @nref{ERROR}
157interrupts computation in current procedure and returns with error
158message to top-level
159@item @nref{fglmquot}
160calculate ideal quotions using FGLM-techniques
161@item @nref{leadmonom}
162returns the leading monomial of a polynomial or a vector as a polynomial
163or vector whose coefficient is one
164@item @nref{highcorner}
165returns the smallest monomial not contained in and ideal/module
166@item @nref{hres}
167calculate free resolution of homogenous ideal using Hilbert-driven
169@item @nref{minor}
170with an optional third argument minors modulo a standard basis will be computed
171@item @nref{mpresmat}
172calculate module representing the multipolynomial resultant matrix
173@item @nref{uressolve}
174compute all complex roots of a zerodimensional ideal
175@item @nref{vandermonde}
176solve Vandermonde linear system
177@item @nref{jet}
178extended for series expansions of rational expressions
179@item @nref{reduce}
180extended for reduced normal form of rational expressions
181@end table
183@heading @sc{Singular} functions whose syntax/semantics has changed
184@table @asis
185@item @nref{coeffs}
186Extended possible syntax to
187@code{coeffs(ideal,ideal)} and @code{coeffs(module,module)} which is
188equivalent to @code{coeffs(ideal,ideal,p)} and
189@code{coeffs(module,module,p)} where @code{p} is a polynomial (i.e.,
190monomial) consisting of all ring variables.
191@item @nref{execute}
192parenthesis around argument of execute is now @strong{mandatory}.
193@item @nref{lift}
194new implementation (unified handling of isSB and not isSB case); new
195optional third argument (a matrix name), which, if given, stores the
196"matrix of units"
197@item @nref{bareiss}
198new implementation after Lie-Saunders, much faster
199@item @nref{example}
200run example for all kernel commands.
201@c @item @nref{fetch}
202@item @nref{print}
203Finer-grained control for formatted output.
204@item @nref{pause}
205can be called with argument, must be called with parenthesis.
206@item @nref{option}
207new options: @code{oldStd}, @code{redThrough}, @code{notBuckets}
208@end table
210@heading Changes of command-line options and system resources
211@table @asis
212@item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
213new command-line options
214@ifset singularmanual
215(@pxref{Command line options})
216@end ifset
218@item @nref{system}
219values of command-line options can be inspected/set at run-time with
221@item @code{.singularrc}
222system administrators can put a "global" @code{.singularrc} file into
223the directories where @sc{Singular} libraries reside
224@ifset singularmanual
225(@pxref{Startup sequence})
226@end ifset
228@item @code{libreadline}
229if found, a shared version of the @code{readline} library is linked-in
230dynamically at run-time. If not found, @code{readline} is emulated.
231@end table
233@heading Internal Changes
234@table @asis
235@item new data structures for monomials and polynomials
236Makes polynomial arithmetic significantly faster: Especially for block -
237or weighted orderings.
238Bucket representation of polynomials in std;
239Ring change during std, res and bareiss computations
240(resulting in more speed and less sapce consumption).
241@item new memory management
242Results is less memory usage, faster memory allocation/free, less
243fragmentation, much better locality of reference.
244@end table
246@heading Porting
248@itemize @bullet
250@code{libreadline} works only with ix86-libc5,
252@item Singular is available for ix86-libc5, ix86-libc6, HPUX_9, HPUX_10,
253SunOS-4, SunOS-5, ix86-Win (runs on Windows 95/98/ME, NT 4.0)
254@end itemize
Note: See TracBrowser for help on using the repository browser.