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