source: git/doc/NEWS.texi @ 02a0976

Last change on this file since 02a0976 was 02a0976, checked in by Hans Schönemann <hannes@…>, 22 years ago
*hannes/GMG: lib-docu git-svn-id: file:///usr/local/Singular/svn/trunk@4918 2c84dea3-7e68-4137-9b89-c4e89433aadc
  • Property mode set to 100644
File size: 7.1 KB
1@comment -*-texinfo-*-
2@comment $Id: NEWS.texi,v 1.25 2000-12-15 16:20:47 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 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.
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
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
38Thank you very much for your support!
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
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}
58@item @nref{example}
59Provide on-line examples for all kernel and library commands.
60@item file/directory layout of distribution
63TBC: New WWW and FTP home-site of @sc{Singular}
64@end table
66@heading Extensions of the ring concept
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".
76@end table
78@heading New @sc{Singular} libraries
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@item @nref{paramet_lib}
105@item @nref{rinvar_lib}
106@item @nref{zeroset_lib}
107@item @nref{qhmoduli_lib}
108@end table
110@heading New @sc{Singular} functions
112@table @asis
113@item @code{convhull, simplex}
114TODO: docu, tests
115@item @nref{division}
116Extension of lift: @code{division(M,SM)} returns a list @code{[T,U,R]}
117with @code{SM*U+R=M*T}
118@item @nref{breakpoint}
119sets a debugger breakpoint
120@item @code{div}
121integer division omitting remainder
122@item @nref{ERROR}
123interrupts computation in current procedure and returns with error
124message to top-level
125@item @nref{fglmquot}
126calculate ideal quotions using FGLM-techniques
127@item @nref{leadmonom}
128returns the leading monomial of a polynomial or a vector as a polynomial
129or vector whose coefficient is one
130@item @nref{highcorner}
131returns the smallest monomial not contained in and ideal/module
132@item @nref{hres}
133calculate free resolution of homogenous ideal using Hilbert-driven
135@item @nref{minor}
136with an optional third argument minors modulo a standard basis will be computed
137@item @nref{mpresmat}
138calculate module representing the multipolynomial resultant matrix
139@item @nref{uressolve}
140compute all complex roots of a zerodimensional ideal
141@item @nref{vandermonde}
142solve Vandermonde linear system
143@end table
145@heading @sc{Singular} functions whose syntax/semantics has changed
146@table @asis
147@item @nref{coeffs}
148Extended possible syntax to
149@code{coeffs(ideal,ideal)} and @code{coeffs(module,module)} which is
150equivalent to @code{coeffs(ideal,ideal,p)} and
151@code{coeffs(module,module,p)} where @code{p} is a polynomial (i.e.,
152monomial) consisting of all ring variables.
153@item @nref{execute}
154parenthesis around argument of execute is now @strong{mandatory}.
155@item @nref{lift}
156new implementation (unified handling of isSB and not isSB case); new
157optional third argument (a matrix name), which, if given, stores the
158"matrix of units"
159@item @nref{bareiss}
160new implementation after Lie-Saunders, much faster
161@item @nref{example}
162run example for all kernel commands.
163@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@item TBC
170@end table
172@heading Changes in @sc{Singular} libraries
173@table @asis
174@item @nref{ainvar_lib}
175renamed @code{invar.lib} to @code{ainvar.lib}
176@item @nref{deform_lib}
177renamed procedures @code{Y1, T2, T12} to @code{T_1, T_2, T_12}.
178@item @nref{poly_lib}
179new procedures numerator/denominator
180@end table
182@heading Changes of command-line options and system resources
183@table @asis
184@item @code{--browser}, @code{--allow-net}, @code{--emacs}, @code{--sdb}
185new command-line options
186@item @nref{system}
187values of command-line options can be inspected/set at run-time with
189@item @code{.singularrc}
190system administrators can put a "global" @code{.singularrc} file into
191the directories where @sc{Singular} libraries reside.
192@item @code{libreadline}
193if found, a shared version of the @code{readline} library is linked-in
194dynamically at run-time. If not found, @code{readline} is emulated.
195@end table
197@heading Internal Changes
198@table @asis
199@item new data structures for monomials and polynomials
200Makes polynomial arithmetic significantly faster. Especially for block -
201or weighted orderings. TBC: Faster polynomial arithmetic for orderings
202(like dp, or lp). TBC: Bucket representation of polynomials in std; TBC:
203DegBound during std computations.
204@item new memory management
205Results is less memory usage, faster memory allocation/free, less
206fragmentation, much better locality of reference.
207@end table
209@heading TBC
211@itemize @bullet
213@code{libreadline} for other architectures than ix86-libc5,
216@code{example} on examples from libraries
217@end itemize
Note: See TracBrowser for help on using the repository browser.