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-1999 All Rights Reserved |
---|
7 | |
---|
8 | GENERAL README FILE FOR THE SINGULAR DISTRIBUTION |
---|
9 | ================================================= |
---|
10 | |
---|
11 | DOWNLOADING, INSTALLATION, LICENSING: |
---|
12 | ===================================== |
---|
13 | You can download Singular as executable 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/98/NT, Macintosh). |
---|
19 | |
---|
20 | See the file |
---|
21 | www.mathematik.uni-kl.de/pub/Math/Singular/README |
---|
22 | for instructions on how to download Singular from the ftp server. |
---|
23 | |
---|
24 | Also see the files |
---|
25 | COPYING for license information on Singular |
---|
26 | INSTALL for downloading/installation instructions on Singular |
---|
27 | which are included in each distribution, and also available from |
---|
28 | www.mathematik.uni-kl.de/pub/Math/Singular. |
---|
29 | |
---|
30 | |
---|
31 | WHAT IS SINGULAR? |
---|
32 | ================= |
---|
33 | Singular is a Computer Algebra system for polynomial computations with |
---|
34 | emphasize on the special needs of commutative algebra, algebraic |
---|
35 | geometry, 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 | |
---|
66 | WHAT IS NEW IN SINGULAR VERSION 1.2? |
---|
67 | ==================================== |
---|
68 | Here 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 | |
---|
96 | ACKNOWLEDGMENTS: |
---|
97 | ================ |
---|
98 | The development of Singular is directed and coordinated by |
---|
99 | Gert-Martin Greuel, Gerhard Pfister, and Hans Schoenemann. |
---|
100 | |
---|
101 | Contributions to the kernel of Singular have been made by Olaf |
---|
102 | Bachmann, Hubert Grassmann, Kai Krueger, Wolfgang Neumann, Thomas |
---|
103 | Nuessler, Wilfred Pohl, Jens Schmidt, Thomas Siebert, Ruediger Stobbe, |
---|
104 | and Tim Wichmann. |
---|
105 | |
---|
106 | Singular libraries have furthermore been contributed by Wolfram |
---|
107 | Decker, Christian Gorzel, Agnes Eileen Heydtmann, Ulrich Klein, Martin |
---|
108 | Lamm, and Bernd Martin. |
---|
109 | |
---|
110 | Singular <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 |
---|
121 | We would like to thank all authors who contributed these libraries. |
---|
122 | |
---|
123 | |
---|
124 | MORE INFORMATION ABOUT SINGULAR: COMMENTS, QUESTIONS, BUG REPORTS |
---|
125 | ================================================================= |
---|
126 | More and up-to-date information about Singular is always available |
---|
127 | from |
---|
128 | http://www.mathematik.uni-kl.de/~zca/Singular |
---|
129 | We very much welcome any comments, questions, and bug reports. Please |
---|
130 | contact us at |
---|
131 | singular@mathematik.uni-kl.de |
---|
132 | |
---|
133 | |
---|
134 | GOOD LUCK and ENJOY! Your Singular team. |
---|
135 | |
---|
136 | |
---|
137 | |
---|