[af6a6b] | 1 | Singular version <x-y-z> |
---|
[96d556d] | 2 | http://www.mathematik.uni-kl.de/~zca/Singular |
---|
[64df8c0] | 3 | University of Kaiserslautern |
---|
| 4 | Department of Mathematics Centre for Computer Algebra |
---|
| 5 | Authors: G.-M. Greuel, G. Pfister, H. Schoenemann |
---|
[af6a6b] | 6 | (C) 1986-1999 All Rights Reserved |
---|
[64df8c0] | 7 | |
---|
[62f73b] | 8 | GENERAL README FILE FOR THE SINGULAR DISTRIBUTION |
---|
| 9 | ================================================= |
---|
[64df8c0] | 10 | |
---|
| 11 | DOWNLOADING, INSTALLATION, LICENSING: |
---|
| 12 | ===================================== |
---|
[85c8634] | 13 | You can download Singular as executable program by public ftp from |
---|
[64df8c0] | 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 |
---|
[af6a6b] | 18 | variants, Windows 95/98/NT, Macintosh). |
---|
[64df8c0] | 19 | |
---|
[af6a6b] | 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 |
---|
[64df8c0] | 25 | COPYING for license information on Singular |
---|
[af6a6b] | 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 | |
---|
[64df8c0] | 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 | |
---|
[d4f77a9] | 47 | * Large variety of implemented related algorithms: FGLM, |
---|
| 48 | Hilbert-driven and factorizing Buchberger, minimal resolutions, |
---|
[64df8c0] | 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 |
---|
[96d556d] | 72 | computations due to improved internal implementation techniques and due to |
---|
[64df8c0] | 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 |
---|
[d4f77a9] | 84 | deform.lib Miniversal deformations |
---|
[64df8c0] | 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, |
---|
[96d556d] | 93 | easier installation, library handling, various new commands and |
---|
[64df8c0] | 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 |
---|
[d4f77a9] | 108 | Lamm, and Bernd Martin. |
---|
[64df8c0] | 109 | |
---|
[af6a6b] | 110 | Singular <x-y-z> is linked with the following libraries: |
---|
[64df8c0] | 111 | readline-- The Gnu readline library (v. 2.0) |
---|
[d4f77a9] | 112 | (C) Free Software Foundation |
---|
[64df8c0] | 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 | |
---|