[2f786f] | 1 | @comment -*-texinfo-*- |
---|
| 2 | @comment this file contains the copyright notice on Singular |
---|
[a94090] | 3 | @ifclear VERSION |
---|
[f36635] | 4 | @include version.texi |
---|
[a94090] | 5 | @end ifclear |
---|
[2f786f] | 6 | |
---|
[5ac141] | 7 | @cindex copyright |
---|
[91dbdf] | 8 | @cindex factory |
---|
| 9 | @cindex GMP |
---|
[227d1e] | 10 | @cindex NTL |
---|
[91dbdf] | 11 | @cindex readline |
---|
| 12 | @cindex libfac |
---|
[227d1e] | 13 | @cindex surfex |
---|
[a818754] | 14 | @cindex surfer |
---|
[a8f51f] | 15 | @cindex gfanlib |
---|
| 16 | @cindex cdd |
---|
| 17 | @cindex cddlib |
---|
| 18 | @cindex libcdd |
---|
[420998] | 19 | @cindex graphviz |
---|
| 20 | @cindex normaliz |
---|
[91dbdf] | 21 | |
---|
| 22 | @center @sc{Singular} version @value{VERSION} |
---|
[f36635] | 23 | @center @uref{http://www.uni-kl.de/,,University of Kaiserslautern} |
---|
| 24 | @center @uref{http://www.mathematik.uni-kl.de/,,Department of Mathematics} and @uref{http://www.mathematik.uni-kl.de/~zca/,,Centre for Computer Algebra} |
---|
[f8dc0ca] | 25 | @center Authors: @uref{http://www.mathematik.uni-kl.de/~decker,,W. Decker}, @uref{http://www.mathematik.uni-kl.de/~greuel,,G.-M. Greuel}, @uref{http://www.mathematik.uni-kl.de/~pfister,,G. Pfister}, @uref{http://www.mathematik.uni-kl.de/~hannes,,H. Schoenemann} |
---|
[91dbdf] | 26 | |
---|
[a8f51f] | 27 | @center Copyright @copyright{} 1986-2013 |
---|
[91dbdf] | 28 | @sp 2 |
---|
[f36635] | 29 | @center @strong{NOTICE} |
---|
[91dbdf] | 30 | |
---|
[b297cc5] | 31 | This program is free software; you can redistribute it and/or modify |
---|
| 32 | it under the terms of the GNU General Public License as published by |
---|
[7e96fe] | 33 | the Free Software Foundation (version 2 or version 3 of the License). |
---|
[b297cc5] | 34 | |
---|
[72db1d] | 35 | Some single files have a copyright given within the file: |
---|
| 36 | Singular/ndbm.* (BSD), kernel/htmlhelp.h (LGPL 2.1+) |
---|
| 37 | |
---|
[7e96fe] | 38 | The following software modules shipped with @sc{Singular} have their own copyright: |
---|
[b297cc5] | 39 | the omalloc library, the readline library, |
---|
[437efdf] | 40 | the GNU Multiple Precision Library (GMP), |
---|
[7bd122b] | 41 | NTL: A Library for doing Number Theory (NTL), |
---|
[a8f51f] | 42 | the Singular-Factory library, the Singular-libfac library, |
---|
[a12683] | 43 | surfex, and, |
---|
[7e96fe] | 44 | for the Windows distributions, the Cygwin DLL and the Cygwin tools (Cygwin), and the |
---|
[b297cc5] | 45 | XEmacs editor (XEmacs). |
---|
[91dbdf] | 46 | |
---|
[72db1d] | 47 | Their copyrights and licenses can be found in the accompanying files COPYING |
---|
[b297cc5] | 48 | which are distributed along with these packages. |
---|
[ab53b7] | 49 | (Since version 3-0-3 of @sc{Singular}, all parts have GPL or LGPL |
---|
[9b3858] | 50 | as (one of) their licences.) |
---|
[91dbdf] | 51 | |
---|
[b297cc5] | 52 | This program is distributed in the hope that it will be useful, |
---|
| 53 | but WITHOUT ANY WARRANTY; without even the implied warranty of |
---|
| 54 | MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
---|
| 55 | GNU General Public License for more details. |
---|
[91dbdf] | 56 | |
---|
[b297cc5] | 57 | You should have received a copy of the GNU General Public License |
---|
| 58 | along with this program; if not, write to the Free Software |
---|
| 59 | Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA |
---|
[ec7299] | 60 | (see @uref{http://www.gnu.org/copyleft/gpl.html,,GPL}) |
---|
[b297cc5] | 61 | |
---|
| 62 | Please send any comments or bug reports to |
---|
| 63 | @email{singular@@mathematik.uni-kl.de}. |
---|
[2afef4] | 64 | |
---|
[ab53b7] | 65 | If you want to be informed of new releases, |
---|
[f8dc0ca] | 66 | please register as a @sc{Singular} user by |
---|
[a11d66] | 67 | @c using the |
---|
| 68 | @c registration form on the @sc{Singular} homepage |
---|
| 69 | @c @uref{http://www.singular.uni-kl.de}. |
---|
| 70 | @c If for some reason you cannot access the registration form, you |
---|
[f8dc0ca] | 71 | @c can also register by |
---|
[a11d66] | 72 | sending an email to |
---|
[fc94e1a] | 73 | @email{singular@@mathematik.uni-kl.de} |
---|
| 74 | with subject line @code{register} and body containing the following data: |
---|
| 75 | your name, email address, organisation, country and platform(s). |
---|
| 76 | |
---|
[7bd122b] | 77 | |
---|
[7e96fe] | 78 | For information on how to cite @sc{Singular} see |
---|
[9e0e2b] | 79 | @*@uref{http://www.singular.uni-kl.de/index.php/how-to-cite-singular}. |
---|
[91dbdf] | 80 | |
---|
[ab53b7] | 81 | You can also support @sc{Singular} by informing us about |
---|
| 82 | your result obtained by using @sc{Singular}. |
---|
| 83 | |
---|
[e3663f1] | 84 | @heading Availability |
---|
[2f786f] | 85 | |
---|
[7e96fe] | 86 | The latest information regarding the status of @sc{Singular} is always |
---|
| 87 | available from @uref{http://www.singular.uni-kl.de}. |
---|
[6fc50d] | 88 | @ifset singularmanual |
---|
[91dbdf] | 89 | The program @sc{Singular} and the above mentioned parts are available via |
---|
[15e2754] | 90 | anonymous ftp through the following addresses: |
---|
[91dbdf] | 91 | @table @asis |
---|
[b297cc5] | 92 | @item GMP, libreadline |
---|
[bde8dd] | 93 | @copyright{} Free Software Foundation |
---|
[a818754] | 94 | @* @uref{http://gmplib.org} |
---|
[98b5a7] | 95 | @item NTL |
---|
| 96 | @copyright{} Victor Shoup |
---|
[a818754] | 97 | @* @uref{http://www.shoup.net/ntl} |
---|
[a8f51f] | 98 | @item cdd (C implementation of the Double Description Method of Motzkin et al) |
---|
| 99 | @copyright{} Komei Fukuda |
---|
| 100 | @* @uref{http://www.ifor.math.ethz.ch/~fukuda/cdd_home} |
---|
[c6b97d] | 101 | @item FLINT |
---|
| 102 | @copyright{} Bill Hart, Sebastian Pancratz, Fredrik Johansson |
---|
| 103 | @* @uref{http://www.flintlib.org} |
---|
[a8f51f] | 104 | @item gfanlib |
---|
| 105 | @copyright{} Anders Jensen |
---|
| 106 | @* @uref{http://home.imf.au.dk/jensen/software/gfan/gfan.html} |
---|
[b297cc5] | 107 | @item Singular-Factory |
---|
[59bfb1] | 108 | @copyright{} Gert-Martin Greuel/R@"udiger Stobbe/Martin Lee, University of Kaiserslautern: |
---|
[b297cc5] | 109 | @* @uref{ftp://www.mathematik.uni-kl.de/pub/Math/Singular/Factory} |
---|
| 110 | @item Singular-libfac |
---|
| 111 | @copyright{} Messollen, University of Saarbr@"ucken: |
---|
| 112 | @* @uref{ftp://www.mathematik.uni-kl.de/pub/Math/Singular/Libfac} |
---|
| 113 | @item @sc{Singular} binaries and sources |
---|
[f36635] | 114 | @uref{ftp://www.mathematik.uni-kl.de/pub/Math/Singular/} or via a |
---|
[a22eba] | 115 | WWW brow@-ser from |
---|
[bde8dd] | 116 | @uref{http://www.mathematik.uni-kl.de/ftp/pub/Math/Singular/} |
---|
[3de58c] | 117 | @item Cygwin |
---|
[7bd122b] | 118 | @uref{http://www.cygwin.com/} |
---|
[bde8dd] | 119 | @item Xemacs |
---|
| 120 | @uref{http://www.xemacs.org} |
---|
[91dbdf] | 121 | @end table |
---|
[420998] | 122 | Some external programs are optional: |
---|
| 123 | @table @asis |
---|
[a11d66] | 124 | @item 4ti2 (used by sing4ti2.lib, @pxref{sing4ti2_lib}) |
---|
| 125 | @uref{http://www.4ti2.de/} |
---|
| 126 | @item gfan (used by tropical.lib, @pxref{tropical_lib}) |
---|
| 127 | @uref{http://www.math.tu-berlin.de/~jensen/software/gfan/gfan.html} |
---|
[420998] | 128 | @item graphviz (used by resgraph.lib, @pxref{resgraph_lib}) |
---|
| 129 | @uref{http://www.graphviz.org/} |
---|
| 130 | @item normaliz (used by normaliz.lib, @pxref{normaliz_lib}) |
---|
| 131 | @copyright{} Winfried Bruns and Bogdan Ichim |
---|
| 132 | @* @uref{http://www.mathematik.uni-osnabrueck.de/normaliz/} |
---|
[a8f51f] | 133 | @item polymake (used by oldpolymake.lib, @pxref{oldpolymake_lib}) |
---|
[a11d66] | 134 | @copyright{} Ewgenij Gawrilow and Michael Joswig |
---|
| 135 | @* @uref{http://www.polymake.de/} |
---|
| 136 | @item surf (used by surf.lib, @pxref{surf_lib}) |
---|
| 137 | @copyright{} Stephan Endrass |
---|
| 138 | @* @uref{http://surf.sf.net} |
---|
| 139 | @item surfer (used by surf.lib, @pxref{surf_lib}) |
---|
| 140 | @uref{http://www.imaginary2008.de/surfer.php} |
---|
| 141 | @item surfex (used by surfex.lib, @pxref{surfex_lib}) |
---|
| 142 | @copyright{} Oliver Labs (2001-2008), Stephan Holzer (2004-2005) |
---|
| 143 | @* @uref{http://surfex.AlgebraicSurface.net} |
---|
[4d47b8e] | 144 | @item TOPCOM (used by oldpolymake.lib, @pxref{oldpolymake_lib}) |
---|
[a11d66] | 145 | @copyright{} J@"org Rambau |
---|
| 146 | @* @uref{http://www.rambau.wm.uni-bayreuth.de/TOPCOM/} |
---|
[420998] | 147 | @end table |
---|
[6fc50d] | 148 | @end ifset |
---|
[91dbdf] | 149 | |
---|
[e3663f1] | 150 | @heading Acknowledgements |
---|
[91dbdf] | 151 | |
---|
| 152 | The development of @sc{Singular} is directed and coordinated by |
---|
[a11d66] | 153 | Wolfram Decker, Gert-Martin Greuel, Gerhard Pfister, and Hans Sch@"onemann. |
---|
[fd7129] | 154 | |
---|
[8752d8] | 155 | @cindex Contributors |
---|
| 156 | @cindex Authors |
---|
[a11d66] | 157 | @cindex Decker, Wolfram |
---|
[8752d8] | 158 | @cindex Greuel, Gert-Martin |
---|
| 159 | @cindex Pfister, Gerhard |
---|
[53c00b] | 160 | @cindex Sch@"onemann, Hans |
---|
| 161 | |
---|
[a11d66] | 162 | Current devteams: |
---|
| 163 | Abdus Salam School of Mathematical Sciences in Lahore, |
---|
| 164 | BTU Cottbus, |
---|
| 165 | Center for Advanced Security Research Darmstadt (CASED), |
---|
| 166 | FU Berlin, |
---|
| 167 | Isfahan University of Technology, |
---|
| 168 | Mathematisches Forschunginstitut Oberwolfach, |
---|
| 169 | Oklahoma State University, |
---|
| 170 | RWTH Aachen, |
---|
| 171 | Universidad de Buenos Aires, |
---|
[a9b7f7] | 172 | Universit@'e de Versailles Saint-Quentin-en-Yvelines, |
---|
[a11d66] | 173 | University of G@"ottingen, |
---|
| 174 | University of Hannover, |
---|
| 175 | University of La Laguna |
---|
| 176 | and |
---|
| 177 | University of Valladolid. |
---|
[f8dc0ca] | 178 | |
---|
[a11d66] | 179 | Current @sc{Singular} developers: |
---|
[aadade] | 180 | Wolfram Decker, |
---|
[f2937f] | 181 | Gert-Martin Greuel, |
---|
| 182 | Gerhard Pfister, |
---|
| 183 | Hans Sch@"onemann, |
---|
[f8dc0ca] | 184 | |
---|
[a11d66] | 185 | Shawki Al-Rashed, |
---|
| 186 | Daniel Andres, |
---|
| 187 | Mohamed Barakat, |
---|
| 188 | Isabel Bermejo, |
---|
| 189 | Muhammad Asan Binyamin, |
---|
| 190 | Ren@'e Birkner, |
---|
| 191 | Rocio Blanco, |
---|
| 192 | Xenia Bogomolec, |
---|
| 193 | Michael Brickenstein, |
---|
| 194 | Stanislav Bulygin, |
---|
| 195 | Antonio Campillo, |
---|
| 196 | Raza Choudery, |
---|
| 197 | Alexander Dreyer, |
---|
| 198 | Christian Eder, |
---|
| 199 | Santiago Encinas, |
---|
| 200 | Jose Ignacio Farran, |
---|
| 201 | Anne Fr@"uhbis-Kr@"uger, |
---|
| 202 | Rosa de Frutos, |
---|
| 203 | Eva Garcia-Llorente, |
---|
| 204 | Ignacio Garcia-Marco, |
---|
| 205 | Christian Haase, |
---|
| 206 | Amir Hashemi, |
---|
| 207 | Fernando Hernando, |
---|
| 208 | Bradford Hovinen, |
---|
| 209 | Nazeran Idress, |
---|
| 210 | Anders Jensen, |
---|
| 211 | Lars Kastner, |
---|
| 212 | Junaid Alan Khan, |
---|
[f2937f] | 213 | Kai Kr@"uger, |
---|
[a11d66] | 214 | Santiago Laplagne, |
---|
[a9b7f7] | 215 | Gr@'egoire Lecerf, |
---|
[a11d66] | 216 | Martin Lee, |
---|
| 217 | Viktor Levandovskyy, |
---|
| 218 | Benjamin Lorenz, |
---|
[b85b62] | 219 | Christoph Lossen, |
---|
[a11d66] | 220 | Thomas Markwig, |
---|
| 221 | Hannah Markwig, |
---|
| 222 | Irene Marquez, |
---|
| 223 | Bernd Martin, |
---|
| 224 | Edgar Martinez, |
---|
| 225 | Martin Monerjan, |
---|
| 226 | Francisco Monserrat, |
---|
| 227 | Oleksandr Motsak, |
---|
| 228 | Andreas Paffenholz, |
---|
| 229 | Maria Jesus Pisabarro, |
---|
| 230 | Diego Ruano, |
---|
| 231 | Afshan Sadiq, |
---|
| 232 | Kristina Schindelar, |
---|
| 233 | Mathias Schulze, |
---|
| 234 | Frank Seelisch, |
---|
| 235 | Andreas Steenpa@ss{}, |
---|
| 236 | Stefan Steidel, |
---|
| 237 | Grischa Studzinski, |
---|
| 238 | Katharina Werner |
---|
[cbf7d6] | 239 | and |
---|
[a11d66] | 240 | Eva Zerz. |
---|
[f8dc0ca] | 241 | |
---|
[7e96fe] | 242 | Further contributions to @sc{Singular} have been made by: |
---|
[3410ef] | 243 | Martin Albrecht, |
---|
[a11d66] | 244 | Olaf Bachmann, |
---|
[9d1c19] | 245 | Muhammad Ahsan Banyamin, |
---|
[a11d66] | 246 | Thomas Bauer, |
---|
[9d1c19] | 247 | Thomas Bayer, |
---|
[034fb4] | 248 | Markus Becker, |
---|
[9d1c19] | 249 | J. Boehm, |
---|
[a8f51f] | 250 | Gergo Gyula Borus, |
---|
[9d1c19] | 251 | Winfried Bruns, |
---|
| 252 | Fernando Hernando Carrillo, |
---|
| 253 | Victor Castellanos, |
---|
| 254 | Nadine Cremer, |
---|
[f2937f] | 255 | Michael Cuntz, |
---|
[aadade] | 256 | Kai Dehmann, |
---|
[9d1c19] | 257 | Christian Dingler, |
---|
[b85b62] | 258 | Marcin Dumnicki, |
---|
[e3663f1] | 259 | Stephan Endra@ss{}, |
---|
[034fb4] | 260 | Vladimir Gerdt, |
---|
[b297cc5] | 261 | Philippe Gimenez, |
---|
[fd7129] | 262 | Christian Gorzel, |
---|
[aadade] | 263 | Hubert Grassmann, |
---|
[9d1c19] | 264 | Jan Hackfeld, |
---|
[b297cc5] | 265 | Agnes Heydtmann, |
---|
[e3663f1] | 266 | Dietmar Hillebrand, |
---|
[b297cc5] | 267 | Tobias Hirsch, |
---|
[9d1c19] | 268 | Markus Hochstetter, |
---|
| 269 | N. Idrees, |
---|
[3d1107] | 270 | Manuel Kauers, |
---|
[4874ab4] | 271 | Simon King, |
---|
[a8f51f] | 272 | Sebastian Jambor, |
---|
[9d1c19] | 273 | Oliver Labs, |
---|
[aadade] | 274 | Anen Lakhal, |
---|
[fd7129] | 275 | Martin Lamm, |
---|
[aadade] | 276 | Francisco Javier Lobillo, |
---|
[9d1c19] | 277 | Christoph Mang, |
---|
[b297cc5] | 278 | Michael Me@ss{}ollen, |
---|
[aadade] | 279 | Andrea Mindnich, |
---|
[9d1c19] | 280 | Antonio Montes, |
---|
[4874ab4] | 281 | Jorge Martin Morales, |
---|
[b297cc5] | 282 | Thomas N@"u@ss{}ler, |
---|
[a11d66] | 283 | Wolfgang Neumann, |
---|
| 284 | Markus Perling, |
---|
| 285 | Wilfried Pohl, |
---|
[a8f51f] | 286 | Adrian Popescu, |
---|
[9d1c19] | 287 | Tetyana Povalyaeva, |
---|
[034fb4] | 288 | Carlos Rabelo, |
---|
[9d1c19] | 289 | Philipp Renner, |
---|
| 290 | J.-J.Salazar-Gonzalez, |
---|
[034fb4] | 291 | Alfredo Sanchez-Navarro, |
---|
[9d1c19] | 292 | Ivor Saynisch, |
---|
[a11d66] | 293 | Jens Schmidt, |
---|
| 294 | Thomas Siebert, |
---|
[9d1c19] | 295 | Christof Soeger, |
---|
| 296 | Silke Spang, |
---|
[3410ef] | 297 | William Stein, |
---|
[a11d66] | 298 | R@"udiger Stobbe, |
---|
[d4d4f7] | 299 | Henrik Strohmayer, |
---|
[7fa5b14] | 300 | Christian Stussak, |
---|
[aadade] | 301 | Imade Sulandra, |
---|
[9d1c19] | 302 | Akira Suzuki, |
---|
[034fb4] | 303 | Christine Theis, |
---|
[d4d4f7] | 304 | Enrique Tobis, |
---|
[034fb4] | 305 | Alberto Vigneron-Tenorio, |
---|
[8d1766] | 306 | Moritz Wenk, |
---|
[a11d66] | 307 | Eric Westenberger, |
---|
| 308 | Tim Wichmann, |
---|
| 309 | Oliver Wienand, |
---|
| 310 | Denis Yanovich |
---|
| 311 | and |
---|
| 312 | Oleksandr Yena. |
---|
[f8dc0ca] | 313 | |
---|
[91dbdf] | 314 | We should like to acknowledge the financial support given by |
---|
[7e96fe] | 315 | the Volkswagen-Stiftung, the Deutsche Forschungsgemeinschaft |
---|
[e113e3] | 316 | and the Stiftung f@"ur Innovation des Landes Rheinland-Pfalz |
---|
| 317 | to the @sc{Singular} project. |
---|
[91dbdf] | 318 | |
---|