spielwiese
Last change on this file since d7d8ab3 was af6a6b, checked in by Olaf Bachmann <obachman@…>, 25 years ago
* version separator now - * took over new distribition scheme from 1-2 branch * incresed version to 1-3-2 git-svn-id: file:///usr/local/Singular/svn/trunk@2829 2c84dea3-7e68-4137-9b89-c4e89433aadc
• Property mode set to `100644`
File size: 5.3 KB
Line
1                       Singular version <x-y-z>
2            http://www.mathematik.uni-kl.de/~zca/Singular
3                     University of Kaiserslautern
4     Department of Mathematics        Centre for Computer Algebra
5          Authors: G.-M. Greuel, G. Pfister, H. Schoenemann
7
8          GENERAL README FILE FOR THE SINGULAR DISTRIBUTION
9          =================================================
10
12=====================================
13You can download Singular as executable program by public ftp from
14   ftp://www.mathematik.uni-kl.de/pub/Math/Singular
15or, by http from
16   http://www.mathematik.uni-kl.de/ftp/pub/Math/Singular/
17for all common hard-and softwareplatforms (including most Unix
18variants, Windows 95/98/NT, Macintosh).
19
20See the file
22for instructions on how to download Singular from the ftp server.
23
24Also see the files
25  COPYING       for license information on Singular
27which are included in each distribution, and also available from
28www.mathematik.uni-kl.de/pub/Math/Singular.
29
30
31WHAT IS SINGULAR?
32=================
33Singular is a Computer Algebra system for polynomial computations with
34emphasize on the special needs of commutative algebra, algebraic
35geometry, and singularity theory. The main features of Singular are:
36
37 * Computations in very general rings (polynomial rings, localizations
38   of rings at a prime ideal, tensor products of rings) over many
39   ground fields (rational numbers, mod p numbers, Galois fields,
40   transcendental/algebraic extensions) and monomial orderings (all
41   standard monomial orderings, including matrix orderings)
42
43 * Very fast standard (resp. Groebner) bases computations
44
45 * Polynomial factorization, resultant, and gcd computations
46
47 * Large variety of implemented related algorithms: FGLM,
48   Hilbert-driven and factorizing Buchberger, minimal resolutions,
49   primary decomposition, ring normalization, usual ideal theoretic
50   operations; standard combinatorial algorithms.
51
52 * Efficient and flexible communication links based on the MP
53   protocol and library
54
55 * Easy-to-use, command-driven user-interface; intuitive, C-like
56   programming language
57
58 * Extensive libraries of procedures, written in Singular's
59   programming language
60
61 * Detailed on-line documentation in info and html format.
62
63 * Available for most hard-and software platforms, including most Unix
64   variants, MS-DOS, Windows 95, Windows NT, and MacOS.
65
66WHAT IS NEW IN SINGULAR VERSION 1.2?
67====================================
68Here are the highlights:
69
70 * Commands `groebner' and `res':
71   Considerably faster Groebner (resp. standard) bases and resolution
72   computations due to improved internal implementation techniques and due to
73   heuristically chosen algorithms:
74    Groebner bases: Hilbert-driven and FGLM-based standard bases computations
75    Resolutions   : Standard-bases, Schreyer's, and  La Scala methods
76
77 * New Singular libraries:
78   primdec.lib  Primary decomposition based on
79                Gianni/Traeger/Zacharias and on Shimoyama/Yokoyama
80   normal.lib   Ring normalization
81   hnoether.lib Hamburger-Noether development
82   finvar.lib   Invariant rings
83   classify.lib Classification of singularities
84   deform.lib   Miniversal deformations
85   latex.lib    Typesetting Singular objects in latex
86
87 * New library format and tools to debug libraries.
88
89 * More complete and better organized documentation in various formats
90   (info, html, ps).
91
92 * Countless minor improvements (e.g., command-line arguments,
93   easier installation,  library handling, various new commands and
94   implemented algorithms).
95
96ACKNOWLEDGMENTS:
97================
98The development of Singular is directed and coordinated by
99Gert-Martin Greuel, Gerhard Pfister, and Hans Schoenemann.
100
101Contributions to the kernel of Singular have been made by Olaf
102Bachmann, Hubert Grassmann, Kai Krueger, Wolfgang Neumann, Thomas
103Nuessler, Wilfred Pohl, Jens Schmidt, Thomas Siebert, Ruediger Stobbe,
104and Tim Wichmann.
105
106Singular libraries have furthermore been contributed by  Wolfram
107Decker, Christian Gorzel, Agnes Eileen Heydtmann, Ulrich Klein, Martin
108Lamm, and Bernd Martin.
109
110Singular <x-y-z> is linked with the following libraries:
111  readline--  The Gnu readline library (v. 2.0)
112              (C) Free Software Foundation
113  gmp     --  The Gnu Multiple precision library (v: 2.0.2) distribution
114              (C) Free Software Foundation
115  MP      --  The Multi Protocol library (v: 1.1.2.1) distribution
116              (C) Gray/Kajler/Wang; Kent State University
117  factory --  The factory library (v: 1.3b) for polynomial factorization
118              (C) Greuel/Stobbe U of Kaiserslautern
119  libfac  --  The libfac library (v: 0.3.0) for characteristic set computations
120              (C) Mesollen U of Saarbruecken
121We would like to thank all authors who contributed these libraries.
122
123
125=================================================================
126More and up-to-date information about Singular is always available
127from
128           http://www.mathematik.uni-kl.de/~zca/Singular
129We very much welcome any comments, questions, and bug reports. Please