source: git/doc/NEWS.texi @ 6ab69a

spielwiese
Last change on this file since 6ab69a was 6ab69a, checked in by Hans Schönemann <hannes@…>, 23 years ago
*hannes: fixed typo git-svn-id: file:///usr/local/Singular/svn/trunk@4684 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 6.9 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.21 2000-10-30 17:35:25 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 an alpha-release of the upcoming
24new release version 2-0 (should be there in the fall of
252000). Items labeled with "TBC" in this news file are features which
26still have to be implemented and/or documented.
27
28Although there are no known bugs, it is to be
29expected that the current version @value{VERSION} is not as stable as
30the 1.2 version(s), since major changes were done to the @sc{Singular}
31kernel. Therefore, it is important to us, that users try out this new
32version.
33
34Furthermore, the current version is generally not yet as fast as version
351.2. But this is going to change dramatically in the upcoming release
36version(s).
37
38Thank you very much for your support!
39
40
41@heading General Changes
42@table @asis
43@item @strong{Windows distribution}
44created with Installshield, includes Cygwin, Singular, and (optionally)
45XEmacs, distributed as various self-extracting archives.
46@item @nref{Emacs user interface}
47the recommended interface for using @sc{Singular}
48@item @code{ESingular}
49new program for an out-of-the-box, pre-customized Emacs which runs
50Singular
51@item @nref{The online help system}
52choose in which browser the on-line help is displayed;
53@*wildcard expansion of help topics
54@*new layout of html manual pages
55@item @nref{Source code debugger}
56interactive debugging of procedures written in the @sc{Singular}
57language
58@item @nref{example}
59Provide on-line examples for all kernel and library commands.
60@item file/directory layout of distribution
61@code{Singular/<version>/}
62@item http://singular.uni-kl.de ftp://singular.uni-kl.de
63TBC: New WWW and FTP home-site of @sc{Singular}
64@end table
65
66@heading Extensions of the ring concept
67
68@table @asis
69@item new coefficient domains: arbitrary long real and complex numbers
70The current syntax is going to change slightly in the final version 2.0.
71@item no restriction on number of ring variables
72@item TBC: DegBound on exponent values
73@item TBC: parameters over real/complex
74@item TBC: declaration with "ring of ring".
75@item
76@end table
77
78@heading New @sc{Singular} libraries
79
80@table @asis
81@item @nref{ip_lib} procedures for computing toric ideals
82TODO: better docu, tests, proper incooperation
83@item @nref{toric_lib} procedures for Integer Programming using Groebner bases
84TODO: better docu, tests, proper incooperation
85@item @code{spectrum.lib} procedures for computing spectra
86TODO: docu, tests, proper incooperation
87@item @nref{mregular_lib}  procedures for computing the Castelnuovo-Mumford regularity
88TODO: docu, tests
89@item @nref{mondromy_lib}
90procedures for computing the monodromy of a singularity
91@item @code{spectrum_lib}
92TBC: docu, examples, tests
93@item @nref{spcurve_lib}
94procedures for cm codimension 2 singularities
95@item @nref{triang_lib}
96procedures for decomposing zero-dimensional ideals
97@item @nref{solve_lib}
98procedures for solving polynomial systems
99@item @nref{surf_lib}
100visualization of curves and surfaces with @code{surf}
101@item @nref{reesclos_lib}
102Rees Algebra and integral closure of an ideal
103@end table
104
105@heading New @sc{Singular} functions
106
107@table @asis
108@item @code{convhull, simplex}
109TODO: docu, tests
110@item @nref{division}
111Extension of lift: @code{division(M,SM)} returns a list @code{[T,U,R]}
112with @code{SM*U+R=M*T}
113@item @nref{breakpoint}
114sets a debugger breakpoint
115@item @code{div}
116integer division omitting remainder
117@item @nref{ERROR}
118interrupts computation in current procedure and returns with error
119message to top-level
120@item @nref{fglmquot}
121calculate ideal quotions using FGLM-techniques
122@item @nref{leadmonom}
123returns the leading monomial of a polynomial or a vector as a polynomial
124or vector whose coefficient is one
125@item @nref{highcorner}
126returns the smallest monomial not contained in and ideal/module
127@item @nref{hres}
128calculate free resolution of homogenous ideal using Hilbert-driven
129algorithm.
130@item @nref{minor}
131with an optional third argument minors modulo a standard basis will be computed
132@item @nref{mpresmat}
133calculate module representing the multipolynomial resultant matrix
134@item @nref{uressolve}
135compute all complex roots of a zerodimensional ideal
136@item @nref{vandermonde}
137solve Vandermonde linear system
138@end table
139
140@heading @sc{Singular} functions whose syntax/semantics has changed
141@table @asis
142@item @nref{coeffs}
143Extended possible syntax to
144@code{coeffs(ideal,ideal)} and @code{coeffs(module,module)} which is
145equivalent to @code{coeffs(ideal,ideal,p)} and
146@code{coeffs(module,module,p)} where @code{p} is a polynomial (i.e.,
147monomial) consisting of all ring variables.
148@item @nref{execute}
149parenthesis around argument of execute is now @strong{mandatory}.
150@item @nref{lift}
151new implementation (unified handling of isSB and not isSB case); new
152optional third argument (a matrix name), which, if given, stores the
153"matrix of units"
154@item @nref{bareiss}
155new implementation after Lie-Saunders, much faster
156@item @nref{example}
157run example for all kernel commands.
158@item @nref{fetch}
159TBC
160@item @nref{print}
161Finer-grained control for formatted output.
162@item @code{pause}
163can be called with argument, must be called with parenthesis.
164@item TBC
165@end table
166
167@heading Changes in @sc{Singular} libraries
168@table @asis
169@item @nref{ainvar_lib}
170renamed @code{invar.lib} to @code{ainvar.lib}
171@item @nref{deform_lib}
172renamed procedures @code{Y1, T2, T12} to @code{T_1, T_2, T_12}.
173@item @nref{poly_lib}
174new procedures numerator/denominator
175@end table
176
177@heading Changes of command-line options and system resources
178@table @asis
179@item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
180new command-line options
181@item @nref{system}
182values of command-line options can be inspected/set at run-time with
183@code{system(<option>[,<new_value])}.
184@item @code{.singularrc}
185system administrators can put a "global" @code{.singularrc} file into
186the directories where @sc{Singular} libraries reside.
187@item @code{libreadline}
188if found, a shared version of the @code{readline} library is linked-in
189dynamically at run-time. If not found, @code{readline} is emulated.
190@end table
191
192@heading Internal Changes
193@table @asis
194@item new data structures for monomials and polynomials
195Makes polynomial arithmetic significantly faster. Especially for block -
196or weighted orderings. TBC: Faster polynomial arithmetic for orderings
197(like dp, or lp). TBC: Bucket representation of polynomials in std; TBC:
198DegBound during std computations.
199@item new memory management
200Results is less memory usage, faster memory allocation/free, less
201fragmentation, much better locality of reference.
202@end table
203
204@heading TBC
205
206@itemize @bullet
207@item
208@code{libreadline} for other architectures than ix86-libc5,
209ix86-libc6,HPUX_9,HPUX_10
210@item
211@code{example} on examples from libraries
212@end itemize
Note: See TracBrowser for help on using the repository browser.