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