source: git/doc/NEWS.texi @ 90bd7d

spielwiese
Last change on this file since 90bd7d was 90bd7d, checked in by Hans Schönemann <hannes@…>, 23 years ago
*hannes: xplanation to new libs git-svn-id: file:///usr/local/Singular/svn/trunk@4946 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 7.3 KB
Line 
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.26 2000-12-19 15:49:19 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{intprog_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 @nref{spcurve_lib}
92procedures for CM codimension 2 singularities
93@item @nref{triang_lib}
94procedures for decomposing zero-dimensional ideals
95@item @nref{solve_lib}
96procedures for solving polynomial systems
97@item @nref{surf_lib}
98visualization of curves and surfaces with @code{surf}
99@item @nref{reesclos_lib}
100Rees Algebra and integral closure of an ideal
101@item @nref{brnoeth_lib}
102Brill-Noether algorithm, Weierstrass semigroups and AG codes
103@c @item @nref{stratify_lib}
104@c Algorithmic stratification by the Greuel-Pfister algorithm
105@item @nref{paramet_lib}
106parametrization of curves
107@item @nref{rinvar_lib}
108Invariant rings of reductive groups
109@item @nref{zeroset_lib}
110Procedures for roots and factorization
111@item @nref{qhmoduli_lib}
112Moduli spaces of sqh-singularities
113@end table
114
115@heading New @sc{Singular} functions
116
117@table @asis
118@item @code{convhull, simplex}
119TODO: docu, tests
120@item @nref{division}
121Extension of lift: @code{division(M,SM)} returns a list @code{[T,U,R]}
122with @code{SM*U+R=M*T}
123@item @nref{breakpoint}
124sets a debugger breakpoint
125@item @code{div}
126integer division omitting remainder
127@item @nref{ERROR}
128interrupts computation in current procedure and returns with error
129message to top-level
130@item @nref{fglmquot}
131calculate ideal quotions using FGLM-techniques
132@item @nref{leadmonom}
133returns the leading monomial of a polynomial or a vector as a polynomial
134or vector whose coefficient is one
135@item @nref{highcorner}
136returns the smallest monomial not contained in and ideal/module
137@item @nref{hres}
138calculate free resolution of homogenous ideal using Hilbert-driven
139algorithm.
140@item @nref{minor}
141with an optional third argument minors modulo a standard basis will be computed
142@item @nref{mpresmat}
143calculate module representing the multipolynomial resultant matrix
144@item @nref{uressolve}
145compute all complex roots of a zerodimensional ideal
146@item @nref{vandermonde}
147solve Vandermonde linear system
148@end table
149
150@heading @sc{Singular} functions whose syntax/semantics has changed
151@table @asis
152@item @nref{coeffs}
153Extended possible syntax to
154@code{coeffs(ideal,ideal)} and @code{coeffs(module,module)} which is
155equivalent to @code{coeffs(ideal,ideal,p)} and
156@code{coeffs(module,module,p)} where @code{p} is a polynomial (i.e.,
157monomial) consisting of all ring variables.
158@item @nref{execute}
159parenthesis around argument of execute is now @strong{mandatory}.
160@item @nref{lift}
161new implementation (unified handling of isSB and not isSB case); new
162optional third argument (a matrix name), which, if given, stores the
163"matrix of units"
164@item @nref{bareiss}
165new implementation after Lie-Saunders, much faster
166@item @nref{example}
167run example for all kernel commands.
168@item @nref{fetch}
169TBC
170@item @nref{print}
171Finer-grained control for formatted output.
172@item @code{pause}
173can be called with argument, must be called with parenthesis.
174@item TBC
175@end table
176
177@heading Changes in @sc{Singular} libraries
178@table @asis
179@item @nref{ainvar_lib}
180renamed @code{invar.lib} to @code{ainvar.lib}
181@item @nref{deform_lib}
182renamed procedures @code{Y1, T2, T12} to @code{T_1, T_2, T_12}.
183@item @nref{poly_lib}
184new procedures numerator/denominator
185@end table
186
187@heading Changes of command-line options and system resources
188@table @asis
189@item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
190new command-line options
191@item @nref{system}
192values of command-line options can be inspected/set at run-time with
193@code{system(<option>[,<new_value])}.
194@item @code{.singularrc}
195system administrators can put a "global" @code{.singularrc} file into
196the directories where @sc{Singular} libraries reside.
197@item @code{libreadline}
198if found, a shared version of the @code{readline} library is linked-in
199dynamically at run-time. If not found, @code{readline} is emulated.
200@end table
201
202@heading Internal Changes
203@table @asis
204@item new data structures for monomials and polynomials
205Makes polynomial arithmetic significantly faster. Especially for block -
206or weighted orderings. TBC: Faster polynomial arithmetic for orderings
207(like dp, or lp). TBC: Bucket representation of polynomials in std; TBC:
208DegBound during std computations.
209@item new memory management
210Results is less memory usage, faster memory allocation/free, less
211fragmentation, much better locality of reference.
212@end table
213
214@heading TBC
215
216@itemize @bullet
217@item
218@code{libreadline} for other architectures than ix86-libc5,
219ix86-libc6,HPUX_9,HPUX_10
220@item
221@code{example} on examples from libraries
222@end itemize
Note: See TracBrowser for help on using the repository browser.