$OpenXM: OpenXM/Copyright/Copyright.asir2000,v 1.1 2000/01/19 11:45:45 takayama Exp $ This is the copy of Risa/Asir binary distribution notice. This is applied to OpenXM/bin/asir, OpenXM/lib/asir. --------------------------------------------------- Distribution Notice An Experimental Computer Algebra System Risa/Asir 14 Nov. 1994 24 Dec. 1999 revised for Version 991201(asir2000) Taku Takeshima Computer Systems Laboratories, FUJITSU LABORATORIES LIMITED 1-1, Kamikodanaka 4, Nakahara-ku, Kawasaki 211-8588, Japan TEL. +81-44-754-2681, FAX. +81-44-754-2666 E-mail. takesima@flab.fujitsu.co.jp Risa/Asir Copyright (C) FUJITSU LABORATORIES LIMITED. 1994-1999. All rights reserved. This document defines permission items of Risa/Asir Version 991201 ("asir2000" as a nickname), and its all preceding non-commercial binary versions of Risa/Asir, an experimental computer algebra system (``Risa/Asir'') developed at FUJITSU LABORATORIES LIMITED (``FLL'' or ``we''). Risa/Asir includes binaries of other parties' contribution whose use is permitted for non-profit purposes. They are (1) Hans-J. Boehm's Garbage Collector, and (2) Henri Cohen's PARI. Thus, permission granted hereunder is also subject to the conditions as stated below in 4. Risa/Asir is created as an experimental system and still under ongoing updates and technical evolution. Therefore, any comment concerning Risa/Asir based on its use is welcomed and such comment should be addressed to: e-mail: {noryo,takesima}@flab.fujitsu.co.jp. [1. Permission:] Permission to use, copy and re-distribute Risa/Asir and its documentation for NON-PROFIT PURPOSES is hereby granted without fee, provided that (1a) the above copyright notice appears in all copies, (1b) both the copyright notice and the distribution notice appear in the supporting documentation, and that (1c) on publication, oral or printed, of the result obtained through use of Risa/Asir, an explicit reference to Risa/Asir is made. For profitable purposes, the user is requested to make a special contract with FLL. (e-mail: takesima@flab.fujitsu.co.jp) [2. Modification:] We think that modification of Risa/Asir is difficult and there is no need for modification for ordinary users. If any user,however, wants to modify Risa/Asir, such user is requested to contact to FLL. (e-mail: takesima@flab.fujitsu.co.jp) [3. Disclaimer of warranty:] (3a) Risa/Asir AND ITS SUPPORTING DOCUMENTATION ARE PROVIDED AS IS. FLL MAKES ABSOLUTELY NO WARRANTY EXPRESSED OR IMPLIED, INCLUDING WITHOUT LIMITATION THOSE FOR MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE, REGARDING Risa/Asir AND ITS SUPPORTING DOCUMENTATION AND THE USE THEREOF. ANY USE IS AT THE USER'S OWN RISK. (3b) In no event, FLL shall become liable to the user or any other party for any loss or damage, consequential or otherwise, arising from the use of Risa/Asir by the user or any other party, including but not limited to loss of data or data being rendered inaccurate or losses sustained by the user or any other third party. [4. Other parties' proprietary:] We note that Risa/Asir uses the following publicly spread softwares. All rights regarding the softwares are owned by the respective proper parties as is noted below. Although all rights of those softwares are reserved by the respective parties, they have no responsibilities for any results which may arise in using them through Risa/Asir. Risa/Asir, indeed, owes very much to those excellent publicly spread softwares for making up its weak points. But any blames, criticism and comments should be directed to us in case of any inconvenience. (4a) Boehm's Garbage Collector(version 5.0alpha2) Risa/Asir owes its memory management to the garbage collector first developed by Hans-J. Boehm and his colleagues. The following is an excerpt of its README file. ====== Copyright 1988, 1989 Hans-J. Boehm, Alan J. Demers Copyright (c) 1991-1996 by Xerox Corporation. All rights reserved. Copyright (c) 1996-1998 by Silicon Graphics. All rights reserved. THIS MATERIAL IS PROVIDED AS IS, WITH ABSOLUTELY NO WARRANTY EXPRESSED OR IMPLIED. ANY USE IS AT YOUR OWN RISK. Permission is hereby granted to use or copy this program for any purpose, provided the above notices are retained on all copies. Permission to modify the code and to distribute modified code is granted, provided the above notices are retained, and a notice that the code was modified is included with the above copyright notice. This is version 5.0alpha2 of a conservative garbage collector for C and C++. You might find a more recent version of this at http://reality.sgi.com/boehm/gc.html ====== Whole README file of Boehm's garbage collector, whose binary is included in Risa/Asir, under the subdirectory "gc/" of distribution cite of Risa/Asir Version 991201. Contact address is e-mail: boehm@sgi.com or boehm@acm.org (4b) PARI (PARI/GP, version 2.0.17.beta) Multi-precision floating point number operations (arithmetic, mathematical function evaluation and many other related functions) of Risa/Asir is performed by PARI system originally developed by C. Batut, D. Bernardi, H. Cohen and M. Olivier. We provide, for users' convenience, Risa/Asir with PARI binaries linked together, though we could leave installation and linkage of PARI with the interface which we have created in Risa/Asir as a matter for users. Here we cite the copyright notice of "PARI/GP, version 2.0.17.beta" from its COPYRIGHT file. ======= The PARI/GP package is Copyright 1989-1999 by C. Batut, K. Belabas, D. Bernardi, H. Cohen and M. Olivier. e-mail: pari@math.u-bordeaux.fr ======= Full copyright statements can be consulted under "pari/" subdirectory of distribution cite of Risa/Asir Version 991201. Contact address is pari@math.u-bordeaux.fr. The canonical ftp site is ftp://megrez.math.u-bordeaux.fr/pub/pari. Its home page is located at http://hasse.mathematik.tu-muenchen.de/ntsw/pari/. [Acknowledgement] We are grateful to Dr. Hans-J. Boehm who kindly granted us to include binary of his garbage collector in our distribution. We are also grateful to Prof. Henri Cohen at Universite Bordeaux I, who also kindly granted us to include his PARI system binary in our distribution.