1This Software uses the GMP library, available from http:://gmplib.org/. 2The following terms apply to GMP. 3---- 4 GNU LESSER GENERAL PUBLIC LICENSE 5 Version 3, 29 June 2007 6 7 Copyright (C) 2007 Free Software Foundation, Inc. <http://fsf.org/> 8 Everyone is permitted to copy and distribute verbatim copies 9 of this license document, but changing it is not allowed. 10 11 12 This version of the GNU Lesser General Public License incorporates 13the terms and conditions of version 3 of the GNU General Public 14License, supplemented by the additional permissions listed below. 15 16 0. Additional Definitions. 17 18 As used herein, "this License" refers to version 3 of the GNU Lesser 19General Public License, and the "GNU GPL" refers to version 3 of the GNU 20General Public License. 21 22 "The Library" refers to a covered work governed by this License, 23other than an Application or a Combined Work as defined below. 24 25 An "Application" is any work that makes use of an interface provided 26by the Library, but which is not otherwise based on the Library. 27Defining a subclass of a class defined by the Library is deemed a mode 28of using an interface provided by the Library. 29 30 A "Combined Work" is a work produced by combining or linking an 31Application with the Library. The particular version of the Library 32with which the Combined Work was made is also called the "Linked 33Version". 34 35 The "Minimal Corresponding Source" for a Combined Work means the 36Corresponding Source for the Combined Work, excluding any source code 37for portions of the Combined Work that, considered in isolation, are 38based on the Application, and not on the Linked Version. 39 40 The "Corresponding Application Code" for a Combined Work means the 41object code and/or source code for the Application, including any data 42and utility programs needed for reproducing the Combined Work from the 43Application, but excluding the System Libraries of the Combined Work. 44 45 1. Exception to Section 3 of the GNU GPL. 46 47 You may convey a covered work under sections 3 and 4 of this License 48without being bound by section 3 of the GNU GPL. 49 50 2. Conveying Modified Versions. 51 52 If you modify a copy of the Library, and, in your modifications, a 53facility refers to a function or data to be supplied by an Application 54that uses the facility (other than as an argument passed when the 55facility is invoked), then you may convey a copy of the modified 56version: 57 58 a) under this License, provided that you make a good faith effort to 59 ensure that, in the event an Application does not supply the 60 function or data, the facility still operates, and performs 61 whatever part of its purpose remains meaningful, or 62 63 b) under the GNU GPL, with none of the additional permissions of 64 this License applicable to that copy. 65 66 3. Object Code Incorporating Material from Library Header Files. 67 68 The object code form of an Application may incorporate material from 69a header file that is part of the Library. You may convey such object 70code under terms of your choice, provided that, if the incorporated 71material is not limited to numerical parameters, data structure 72layouts and accessors, or small macros, inline functions and templates 73(ten or fewer lines in length), you do both of the following: 74 75 a) Give prominent notice with each copy of the object code that the 76 Library is used in it and that the Library and its use are 77 covered by this License. 78 79 b) Accompany the object code with a copy of the GNU GPL and this license 80 document. 81 82 4. Combined Works. 83 84 You may convey a Combined Work under terms of your choice that, 85taken together, effectively do not restrict modification of the 86portions of the Library contained in the Combined Work and reverse 87engineering for debugging such modifications, if you also do each of 88the following: 89 90 a) Give prominent notice with each copy of the Combined Work that 91 the Library is used in it and that the Library and its use are 92 covered by this License. 93 94 b) Accompany the Combined Work with a copy of the GNU GPL and this license 95 document. 96 97 c) For a Combined Work that displays copyright notices during 98 execution, include the copyright notice for the Library among 99 these notices, as well as a reference directing the user to the 100 copies of the GNU GPL and this license document. 101 102 d) Do one of the following: 103 104 0) Convey the Minimal Corresponding Source under the terms of this 105 License, and the Corresponding Application Code in a form 106 suitable for, and under terms that permit, the user to 107 recombine or relink the Application with a modified version of 108 the Linked Version to produce a modified Combined Work, in the 109 manner specified by section 6 of the GNU GPL for conveying 110 Corresponding Source. 111 112 1) Use a suitable shared library mechanism for linking with the 113 Library. A suitable mechanism is one that (a) uses at run time 114 a copy of the Library already present on the user's computer 115 system, and (b) will operate properly with a modified version 116 of the Library that is interface-compatible with the Linked 117 Version. 118 119 e) Provide Installation Information, but only if you would otherwise 120 be required to provide such information under section 6 of the 121 GNU GPL, and only to the extent that such information is 122 necessary to install and execute a modified version of the 123 Combined Work produced by recombining or relinking the 124 Application with a modified version of the Linked Version. (If 125 you use option 4d0, the Installation Information must accompany 126 the Minimal Corresponding Source and Corresponding Application 127 Code. If you use option 4d1, you must provide the Installation 128 Information in the manner specified by section 6 of the GNU GPL 129 for conveying Corresponding Source.) 130 131 5. Combined Libraries. 132 133 You may place library facilities that are a work based on the 134Library side by side in a single library together with other library 135facilities that are not Applications and are not covered by this 136License, and convey such a combined library under terms of your 137choice, if you do both of the following: 138 139 a) Accompany the combined library with a copy of the same work based 140 on the Library, uncombined with any other library facilities, 141 conveyed under the terms of this License. 142 143 b) Give prominent notice with the combined library that part of it 144 is a work based on the Library, and explaining where to find the 145 accompanying uncombined form of the same work. 146 147 6. Revised Versions of the GNU Lesser General Public License. 148 149 The Free Software Foundation may publish revised and/or new versions 150of the GNU Lesser General Public License from time to time. Such new 151versions will be similar in spirit to the present version, but may 152differ in detail to address new problems or concerns. 153 154 Each version is given a distinguishing version number. If the 155Library as you received it specifies that a certain numbered version 156of the GNU Lesser General Public License "or any later version" 157applies to it, you have the option of following the terms and 158conditions either of that published version or of any later version 159published by the Free Software Foundation. If the Library as you 160received it does not specify a version number of the GNU Lesser 161General Public License, you may choose any version of the GNU Lesser 162General Public License ever published by the Free Software Foundation. 163 164 If the Library as you received it specifies that a proxy can decide 165whether future versions of the GNU Lesser General Public License shall 166apply, that proxy's public statement of acceptance of any version is 167permanent authorization for you to choose that version for the 168Library. 169