source: git/doc/NEWS.texi @ d208704

Last change on this file since d208704 was d208704, checked in by Hans Schönemann <hannes@…>, 22 years ago
*hannes: fixed some TBC git-svn-id: file:///usr/local/Singular/svn/trunk@5183 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 7.3 KB
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.29 2001-02-02 17:53:45 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
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.
25It contains a lot of new internal improvements, rewrites, new procedures etc.
27Although there are no known bugs, it is to be
28expected that the current version @value{VERSION} has some bugs in the
29code sections, since major changes were done to the @sc{Singular}
30kernel. Therefore, it is important to us, that users try out this new
33The current version is generally much faster as version
341.2 - because of new, better algorithms and impproved
35polynomial operations.
37Thank you very much for your support!
40@heading General Changes
41@table @asis
42@item @strong{Windows distribution}
43created with Installshield, includes Cygwin, Singular, and (optionally)
44XEmacs, distributed as various self-extracting archives.
45@item @nref{Emacs user interface}
46the recommended interface for using @sc{Singular}
47@item @code{ESingular}
48new program for an out-of-the-box, pre-customized Emacs which runs
50@item @nref{The online help system}
51choose in which browser the on-line help is displayed;
52@*wildcard expansion of help topics
53@*new layout of html manual pages
54@item @nref{Source code debugger}
55interactive debugging of procedures written in the @sc{Singular}
57@item @nref{example}
58Provide on-line examples for all kernel and library commands.
59@item file/directory layout of distribution
62New WWW home-site of @sc{Singular}
63@end table
65@heading Extensions of the ring concept
67@table @asis
68@item new coefficient domains: arbitrary long real and complex numbers
69The current syntax is going to change slightly in the final version 2.0.
70@item no restriction on number of ring variables
71@item no restriction on number of parameters
72@c @item TBC: DegBound on exponent values
73@c @item TBC: parameters over real/complex
74@c @item TBC: declaration with "ring of ring".
75@end table
77@heading New @sc{Singular} libraries
79Reorganisation of libraries into "Categories".
80@table @asis
81@item @nref{intprog_lib} procedures for computing toric ideals
82@item @nref{toric_lib} procedures for Integer Programming using Groebner bases
83@item @code{spectrum.lib} procedures for computing spectra
84@item @nref{mregular_lib}  procedures for computing the Castelnuovo-Mumford regularity
85@item @nref{mondromy_lib}
86procedures for computing the monodromy of a singularity
87@item @nref{spcurve_lib}
88procedures for CM codimension 2 singularities
89@item @nref{triang_lib}
90procedures for decomposing zero-dimensional ideals
91@item @nref{solve_lib}
92procedures for solving polynomial systems
93@item @nref{surf_lib}
94visualization of curves and surfaces with @code{surf}
95@item @nref{reesclos_lib}
96Rees Algebra and integral closure of an ideal
97@item @nref{brnoeth_lib}
98Brill-Noether algorithm, Weierstrass semigroups and AG codes
99@item @nref{stratify_lib}
100Algorithmic stratification by the Greuel-Pfister algorithm
101@item @nref{paramet_lib}
102parametrization of curves
103@item @nref{rinvar_lib}
104Invariant rings of reductive groups
105@item @nref{zeroset_lib}
106Procedures for roots and factorization
107@item @nref{qhmoduli_lib}
108Moduli spaces of sqh-singularities
109@end table
111@heading New @sc{Singular} functions
113@table @asis
114@item @code{convhull, simplex}
115TODO: docu, tests
116@item @nref{division}
117Extension of lift: @code{division(M,SM)} returns a list @code{[T,U,R]}
118with @code{SM*U+R=M*T}
119@item @nref{breakpoint}
120sets a debugger breakpoint
121@item @code{div}
122integer division omitting remainder
123@item @nref{ERROR}
124interrupts computation in current procedure and returns with error
125message to top-level
126@item @nref{fglmquot}
127calculate ideal quotions using FGLM-techniques
128@item @nref{leadmonom}
129returns the leading monomial of a polynomial or a vector as a polynomial
130or vector whose coefficient is one
131@item @nref{highcorner}
132returns the smallest monomial not contained in and ideal/module
133@item @nref{hres}
134calculate free resolution of homogenous ideal using Hilbert-driven
136@item @nref{minor}
137with an optional third argument minors modulo a standard basis will be computed
138@item @nref{mpresmat}
139calculate module representing the multipolynomial resultant matrix
140@item @nref{uressolve}
141compute all complex roots of a zerodimensional ideal
142@item @nref{vandermonde}
143solve Vandermonde linear system
144@end table
146@heading @sc{Singular} functions whose syntax/semantics has changed
147@table @asis
148@item @nref{coeffs}
149Extended possible syntax to
150@code{coeffs(ideal,ideal)} and @code{coeffs(module,module)} which is
151equivalent to @code{coeffs(ideal,ideal,p)} and
152@code{coeffs(module,module,p)} where @code{p} is a polynomial (i.e.,
153monomial) consisting of all ring variables.
154@item @nref{execute}
155parenthesis around argument of execute is now @strong{mandatory}.
156@item @nref{lift}
157new implementation (unified handling of isSB and not isSB case); new
158optional third argument (a matrix name), which, if given, stores the
159"matrix of units"
160@item @nref{bareiss}
161new implementation after Lie-Saunders, much faster
162@item @nref{example}
163run example for all kernel commands.
164@c @item @nref{fetch}
165@item @nref{print}
166Finer-grained control for formatted output.
167@item @code{pause}
168can be called with argument, must be called with parenthesis.
169@end table
171@heading Changes in @sc{Singular} libraries
172Many procedures got into different libraries,
173documentation of libraries improved,
174some libraries renamed:
175@table @asis
176@item @nref{ainvar_lib}
177renamed @code{invar.lib} to @code{ainvar.lib}
178(see also @code{rinvar.lib}, @code{finvar.lib}).
179@item @nref{deform_lib}
180renamed procedures @code{T1, T2, T12} to @code{T_1, T_2, T_12}.
181@item @nref{poly_lib}
182new procedures numerator/denominator
183@end table
185@heading Changes of command-line options and system resources
186@table @asis
187@item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
188new command-line options
189@item @nref{system}
190values of command-line options can be inspected/set at run-time with
192@item @code{.singularrc}
193system administrators can put a "global" @code{.singularrc} file into
194the directories where @sc{Singular} libraries reside.
195@item @code{libreadline}
196if found, a shared version of the @code{readline} library is linked-in
197dynamically at run-time. If not found, @code{readline} is emulated.
198@end table
200@heading Internal Changes
201@table @asis
202@item new data structures for monomials and polynomials
203Makes polynomial arithmetic significantly faster: Especially for block -
204or weighted orderings.
205Bucket representation of polynomials in std;
206Ring change during std, res and bareiss computations
207(resulting in more speed and less sapce consumption).
208@item new memory management
209Results is less memory usage, faster memory allocation/free, less
210fragmentation, much better locality of reference.
211@end table
213@heading Porting
215@itemize @bullet
217@code{libreadline} works only with ix86-libc5,
219@item Singular is available for ix86-libc5, ix86-libc6, HPUX_9, HPUX_10,
220SunOS-4, SunOS-5, ix86-Win (runs on Windows 95/98/ME, NT 4.0)
221@end itemize
Note: See TracBrowser for help on using the repository browser.