[sollya] 02/02: Imported Zeroth Debian patch 5.0+ds-1
Jerome Benoit
calculus-guest at moszumanska.debian.org
Sat Jun 25 05:12:39 UTC 2016
This is an automated email from the git hooks/post-receive script.
calculus-guest pushed a commit to branch master
in repository sollya.
commit 2f5127cca809cfd4faa98c59cf8c716f707b1f26
Author: Jerome Benoit <calculus at rezozer.net>
Date: Sat Jun 25 05:47:18 2016 +0100
Imported Zeroth Debian patch 5.0+ds-1
---
debian/changelog | 5 +
debian/compat | 1 +
debian/control | 107 ++
debian/copyright | 583 ++++++++++
debian/libsollya-dev.install | 5 +
debian/libsollya5.docs | 3 +
debian/libsollya5.install | 1 +
debian/libsollya5.symbols | 444 ++++++++
debian/patches/debianization-test.patch | 31 +
debian/patches/debianization.patch | 19 +
debian/patches/series | 11 +
...pstream-00-lintian-spelling-error-silence.patch | 718 ++++++++++++
...1-lintian-spelling-error-silence--massive.patch | 1185 ++++++++++++++++++++
...2-lintian-spelling-error-silence--massive.patch | 1011 +++++++++++++++++
debian/patches/upstream-03-source-version_h.patch | 209 ++++
debian/patches/upstream-04-source-C2help2man.patch | 104 ++
debian/patches/upstream-05-autotools-revisit.patch | 154 +++
.../patches/upstream-06-autotools-help2man.patch | 66 ++
.../upstream-07-autotools-ld_version_script.patch | 279 +++++
.../upstream-08-autotools-advanced_strip.patch | 26 +
debian/rules | 30 +
debian/sollya-doc.doc-base | 22 +
debian/sollya-doc.docs | 4 +
debian/sollya-doc.examples | 3 +
debian/sollya.docs | 3 +
debian/sollya.install | 1 +
debian/sollya.manpages | 1 +
debian/source/format | 1 +
debian/source/lintian-overrides | 3 +
debian/watch | 4 +
30 files changed, 5034 insertions(+)
diff --git a/debian/changelog b/debian/changelog
new file mode 100644
index 0000000..7e71b2b
--- /dev/null
+++ b/debian/changelog
@@ -0,0 +1,5 @@
+sollya (5.0+ds-1) unstable; urgency=medium
+
+ * Initial release (Closes: #827509).
+
+ -- Jerome Benoit <calculus at rezozer.net> Sat, 25 Jun 2016 04:45:39 +0000
diff --git a/debian/compat b/debian/compat
new file mode 100644
index 0000000..ec63514
--- /dev/null
+++ b/debian/compat
@@ -0,0 +1 @@
+9
diff --git a/debian/control b/debian/control
new file mode 100644
index 0000000..ac49ffe
--- /dev/null
+++ b/debian/control
@@ -0,0 +1,107 @@
+Source: sollya
+Section: math
+Priority: optional
+Maintainer: Debian Science Maintainers <debian-science-maintainers at lists.alioth.debian.org>
+Uploaders: Jerome Benoit <calculus at rezozer.net>
+Build-Depends:
+ debhelper (>= 9),
+ autotools-dev, gnulib, dh-autoreconf, libtool, help2man,
+ flex, bison,
+ libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev
+Build-Depends-Indep:
+Standards-Version: 3.9.8
+Homepage: http://sollya.gforge.inria.fr/
+Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/sollya.git
+Vcs-Browser: https://anonscm.debian.org/cgit/debian-science/packages/sollya.git
+
+Package: sollya
+Architecture: any
+Multi-Arch: foreign
+Pre-Depends: ${misc:Pre-Depends}
+Depends: ${shlibs:Depends}, ${misc:Depends}
+Recommends: rlwrap, gnuplot
+Suggests: libsollya-dev (=${binary:Version}), sollya-doc (= ${source:Version})
+Description: library for safe floating-point code development -- tool
+ Sollya is both a tool environment and a library for safe floating-point code
+ development. It offers a convenient way to perform computations with multiple
+ precision interval arithmetic. It is particularly targeted to the automated
+ implementation of mathematical floating-point libraries.
+ .
+ Initially, Sollya was intended more specifically for people implementing
+ numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
+ Since then, the tool has evolved and has now become interesting not only to
+ developers of mathematical libraries, but also to everyone who needs to
+ perform numerical experiments in an environment that is safe with respect to
+ round-off errors.
+ .
+ This package provides the command-line tool sollya.
+
+Package: libsollya5
+Provides: libsollya
+Section: libs
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Depends: ${shlibs:Depends}, libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev, ${misc:Depends}
+Conflicts: libsollya
+Suggests: sollya-doc (= ${source:Version})
+Description: library for safe floating-point code development -- lib
+ Sollya is both a tool environment and a library for safe floating-point code
+ development. It offers a convenient way to perform computations with multiple
+ precision interval arithmetic. It is particularly targeted to the automated
+ implementation of mathematical floating-point libraries.
+ .
+ Initially, Sollya was intended more specifically for people implementing
+ numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
+ Since then, the tool has evolved and has now become interesting not only to
+ developers of mathematical libraries, but also to everyone who needs to
+ perform numerical experiments in an environment that is safe with respect to
+ round-off errors.
+ .
+ This package provides the dynamic library.
+
+Package: libsollya-dev
+Section: libdevel
+Architecture: any
+Multi-Arch: same
+Pre-Depends: ${misc:Pre-Depends}
+Depends:
+ libsollya5 (= ${binary:Version}),
+ libmpfr-dev, libgmp-dev, ${misc:Depends}
+Suggests: sollya (=${binary:Version}), sollya-doc (= ${source:Version})
+Description: library for safe floating-point code development -- libdev
+ Sollya is both a tool environment and a library for safe floating-point code
+ development. It offers a convenient way to perform computations with multiple
+ precision interval arithmetic. It is particularly targeted to the automated
+ implementation of mathematical floating-point libraries.
+ .
+ Initially, Sollya was intended more specifically for people implementing
+ numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
+ Since then, the tool has evolved and has now become interesting not only to
+ developers of mathematical libraries, but also to everyone who needs to
+ perform numerical experiments in an environment that is safe with respect to
+ round-off errors.
+ .
+ This package provides the static library, symbolic links, and headers needed
+ for development.
+
+Package: sollya-doc
+Section: doc
+Architecture: all
+Multi-Arch: foreign
+Depends: ${misc:Depends}
+Suggests: sollya (=${binary:Version}), libsollya-dev (=${binary:Version}), pdf-viewer
+Description: library for safe floating-point code development -- doc
+ Sollya is both a tool environment and a library for safe floating-point code
+ development. It offers a convenient way to perform computations with multiple
+ precision interval arithmetic. It is particularly targeted to the automated
+ implementation of mathematical floating-point libraries.
+ .
+ Initially, Sollya was intended more specifically for people implementing
+ numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
+ Since then, the tool has evolved and has now become interesting not only to
+ developers of mathematical libraries, but also to everyone who needs to
+ perform numerical experiments in an environment that is safe with respect to
+ round-off errors.
+ .
+ This package provides the user manual.
diff --git a/debian/copyright b/debian/copyright
new file mode 100644
index 0000000..60c6446
--- /dev/null
+++ b/debian/copyright
@@ -0,0 +1,583 @@
+Format: http://www.debian.org/doc/packaging-manuals/copyright-format/1.0
+Upstream-Name: sollya
+Upstream-Contact: Christoph Lauter <christoph.lauter at lip6.fr>
+Source: http://sollya.gforge.inria.fr/
+X-Upstream-Vcs: git clone https://scm.gforge.inria.fr/anonscm/git/sollya/sollya.git
+Comment:
+ The upstream source tarball is repacked to drop off some substantial
+ weight and to allow clean git-buildpackage builds by mainly cleaning
+ up regenerated files (mainly autotools related material).
+Files-Excluded:
+ internlexer.c
+ minilexer.c
+ lexer.c
+ internparser.c
+ internparser.h
+ miniparser.c
+ miniparser.h
+ parser.c
+ parser.h
+ config.h.in
+ configure
+ aclocal.m4
+ m4/lt~obsolete.m4
+ m4/ltoptions.m4
+ m4/ltversion.m4
+ m4/ltsugar.m4
+ m4/libtool.m4
+ config.guess
+ config.sub
+ depcomp
+ ylwrap
+ compile
+ install-sh
+ missing
+ ltmain.sh
+ INSTALL
+ Makefile.in
+ doc/Makefile.in
+ tests-tool/Makefile.in
+ tests-lib/Makefile.in
+
+Files: *
+Copyright:
+ 2006-2016 LIP (UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668), Lyon, France
+ LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2), Nancy, France
+ LIP6 - PEQUAN Team (CNRS, UPMC UP6, UMR 7606, LIP6, U-Paris 6), Paris, France
+ INRIA Sophia-Antipolis Méditerranée - APICS Team, Sophia-Antipolis, France
+License: CeCILL-C
+
+Files: debian/*
+Copyright:
+ 2016 Jerome Benoit <calculus at rezozer.net>
+License: GPL-3+
+
+License: CeCILL-C
+ CeCILL-C FREE SOFTWARE LICENSE AGREEMENT
+ .
+ Notice
+ .
+ This Agreement is a Free Software license agreement that is the result
+ of discussions between its authors in order to ensure compliance with
+ the two main principles guiding its drafting:
+ .
+ * firstly, compliance with the principles governing the distribution
+ of Free Software: access to source code, broad rights granted to
+ users,
+ * secondly, the election of a governing law, French law, with which
+ it is conformant, both as regards the law of torts and
+ intellectual property law, and the protection that it offers to
+ both authors and holders of the economic rights over software.
+ .
+ The authors of the CeCILL-C (for Ce[a] C[nrs] I[nria] L[ogiciel] L[ibre])
+ license are:
+ .
+ Commissariat à l'Energie Atomique - CEA, a public scientific, technical
+ and industrial research establishment, having its principal place of
+ business at 25 rue Leblanc, immeuble Le Ponant D, 75015 Paris, France.
+ .
+ Centre National de la Recherche Scientifique - CNRS, a public scientific
+ and technological establishment, having its principal place of business
+ at 3 rue Michel-Ange, 75794 Paris cedex 16, France.
+ .
+ Institut National de Recherche en Informatique et en Automatique -
+ INRIA, a public scientific and technological establishment, having its
+ principal place of business at Domaine de Voluceau, Rocquencourt, BP
+ 105, 78153 Le Chesnay cedex, France.
+ .
+ Preamble
+ .
+ The purpose of this Free Software license agreement is to grant users
+ the right to modify and re-use the software governed by this license.
+ .
+ The exercising of this right is conditional upon the obligation to make
+ available to the community the modifications made to the source code of
+ the software so as to contribute to its evolution.
+ .
+ In consideration of access to the source code and the rights to copy,
+ modify and redistribute granted by the license, users are provided only
+ with a limited warranty and the software's author, the holder of the
+ economic rights, and the successive licensors only have limited liability.
+ .
+ In this respect, the risks associated with loading, using, modifying
+ and/or developing or reproducing the software by the user are brought to
+ the user's attention, given its Free Software status, which may make it
+ complicated to use, with the result that its use is reserved for
+ developers and experienced professionals having in-depth computer
+ knowledge. Users are therefore encouraged to load and test the
+ suitability of the software as regards their requirements in conditions
+ enabling the security of their systems and/or data to be ensured and,
+ more generally, to use and operate it in the same conditions of
+ security. This Agreement may be freely reproduced and published,
+ provided it is not altered, and that no provisions are either added or
+ removed herefrom.
+ .
+ This Agreement may apply to any or all software for which the holder of
+ the economic rights decides to submit the use thereof to its provisions.
+ .
+ Article 1 - DEFINITIONS
+ .
+ For the purpose of this Agreement, when the following expressions
+ commence with a capital letter, they shall have the following meaning:
+ .
+ Agreement: means this license agreement, and its possible subsequent
+ versions and annexes.
+ .
+ Software: means the software in its Object Code and/or Source Code form
+ and, where applicable, its documentation, "as is" when the Licensee
+ accepts the Agreement.
+ .
+ Initial Software: means the Software in its Source Code and possibly its
+ Object Code form and, where applicable, its documentation, "as is" when
+ it is first distributed under the terms and conditions of the Agreement.
+ .
+ Modified Software: means the Software modified by at least one
+ Integrated Contribution.
+ .
+ Source Code: means all the Software's instructions and program lines to
+ which access is required so as to modify the Software.
+ .
+ Object Code: means the binary files originating from the compilation of
+ the Source Code.
+ .
+ Holder: means the holder(s) of the economic rights over the Initial
+ Software.
+ .
+ Licensee: means the Software user(s) having accepted the Agreement.
+ .
+ Contributor: means a Licensee having made at least one Integrated
+ Contribution.
+ .
+ Licensor: means the Holder, or any other individual or legal entity, who
+ distributes the Software under the Agreement.
+ .
+ Integrated Contribution: means any or all modifications, corrections,
+ translations, adaptations and/or new functions integrated into the
+ Source Code by any or all Contributors.
+ .
+ Related Module: means a set of sources files including their
+ documentation that, without modification to the Source Code, enables
+ supplementary functions or services in addition to those offered by the
+ Software.
+ .
+ Derivative Software: means any combination of the Software, modified or
+ not, and of a Related Module.
+ .
+ Parties: mean both the Licensee and the Licensor.
+ .
+ These expressions may be used both in singular and plural form.
+ .
+ .
+ Article 2 - PURPOSE
+ .
+ The purpose of the Agreement is the grant by the Licensor to the
+ Licensee of a non-exclusive, transferable and worldwide license for the
+ Software as set forth in Article 5 hereinafter for the whole term of the
+ protection granted by the rights over said Software.
+ .
+ .
+ Article 3 - ACCEPTANCE
+ .
+ 3.1 The Licensee shall be deemed as having accepted the terms and
+ conditions of this Agreement upon the occurrence of the first of the
+ following events:
+ .
+ * (i) loading the Software by any or all means, notably, by
+ downloading from a remote server, or by loading from a physical
+ medium;
+ * (ii) the first time the Licensee exercises any of the rights
+ granted hereunder.
+ .
+ 3.2 One copy of the Agreement, containing a notice relating to the
+ characteristics of the Software, to the limited warranty, and to the
+ fact that its use is restricted to experienced users has been provided
+ to the Licensee prior to its acceptance as set forth in Article 3.1
+ hereinabove, and the Licensee hereby acknowledges that it has read and
+ understood it.
+ .
+ .
+ Article 4 - EFFECTIVE DATE AND TERM
+ .
+ .
+ 4.1 EFFECTIVE DATE
+ .
+ The Agreement shall become effective on the date when it is accepted by
+ the Licensee as set forth in Article 3.1.
+ .
+ .
+ 4.2 TERM
+ .
+ The Agreement shall remain in force for the entire legal term of
+ protection of the economic rights over the Software.
+ .
+ .
+ Article 5 - SCOPE OF RIGHTS GRANTED
+ .
+ The Licensor hereby grants to the Licensee, who accepts, the following
+ rights over the Software for any or all use, and for the term of the
+ Agreement, on the basis of the terms and conditions set forth hereinafter.
+ .
+ Besides, if the Licensor owns or comes to own one or more patents
+ protecting all or part of the functions of the Software or of its
+ components, the Licensor undertakes not to enforce the rights granted by
+ these patents against successive Licensees using, exploiting or
+ modifying the Software. If these patents are transferred, the Licensor
+ undertakes to have the transferees subscribe to the obligations set
+ forth in this paragraph.
+ .
+ .
+ 5.1 RIGHT OF USE
+ .
+ The Licensee is authorized to use the Software, without any limitation
+ as to its fields of application, with it being hereinafter specified
+ that this comprises:
+ .
+ 1. permanent or temporary reproduction of all or part of the Software
+ by any or all means and in any or all form.
+ .
+ 2. loading, displaying, running, or storing the Software on any or
+ all medium.
+ .
+ 3. entitlement to observe, study or test its operation so as to
+ determine the ideas and principles behind any or all constituent
+ elements of said Software. This shall apply when the Licensee
+ carries out any or all loading, displaying, running, transmission
+ or storage operation as regards the Software, that it is entitled
+ to carry out hereunder.
+ .
+ .
+ 5.2 RIGHT OF MODIFICATION
+ .
+ The right of modification includes the right to translate, adapt,
+ arrange, or make any or all modifications to the Software, and the right
+ to reproduce the resulting software. It includes, in particular, the
+ right to create a Derivative Software.
+ .
+ The Licensee is authorized to make any or all modification to the
+ Software provided that it includes an explicit notice that it is the
+ author of said modification and indicates the date of the creation thereof.
+ .
+ .
+ 5.3 RIGHT OF DISTRIBUTION
+ .
+ In particular, the right of distribution includes the right to publish,
+ transmit and communicate the Software to the general public on any or
+ all medium, and by any or all means, and the right to market, either in
+ consideration of a fee, or free of charge, one or more copies of the
+ Software by any means.
+ .
+ The Licensee is further authorized to distribute copies of the modified
+ or unmodified Software to third parties according to the terms and
+ conditions set forth hereinafter.
+ .
+ .
+ 5.3.1 DISTRIBUTION OF SOFTWARE WITHOUT MODIFICATION
+ .
+ The Licensee is authorized to distribute true copies of the Software in
+ Source Code or Object Code form, provided that said distribution
+ complies with all the provisions of the Agreement and is accompanied by:
+ .
+ 1. a copy of the Agreement,
+ .
+ 2. a notice relating to the limitation of both the Licensor's
+ warranty and liability as set forth in Articles 8 and 9,
+ .
+ and that, in the event that only the Object Code of the Software is
+ redistributed, the Licensee allows effective access to the full Source
+ Code of the Software at a minimum during the entire period of its
+ distribution of the Software, it being understood that the additional
+ cost of acquiring the Source Code shall not exceed the cost of
+ transferring the data.
+ .
+ .
+ 5.3.2 DISTRIBUTION OF MODIFIED SOFTWARE
+ .
+ When the Licensee makes an Integrated Contribution to the Software, the
+ terms and conditions for the distribution of the resulting Modified
+ Software become subject to all the provisions of this Agreement.
+ .
+ The Licensee is authorized to distribute the Modified Software, in
+ source code or object code form, provided that said distribution
+ complies with all the provisions of the Agreement and is accompanied by:
+ .
+ 1. a copy of the Agreement,
+ .
+ 2. a notice relating to the limitation of both the Licensor's
+ warranty and liability as set forth in Articles 8 and 9,
+ .
+ and that, in the event that only the object code of the Modified
+ Software is redistributed, the Licensee allows effective access to the
+ full source code of the Modified Software at a minimum during the entire
+ period of its distribution of the Modified Software, it being understood
+ that the additional cost of acquiring the source code shall not exceed
+ the cost of transferring the data.
+ .
+ .
+ 5.3.3 DISTRIBUTION OF DERIVATIVE SOFTWARE
+ .
+ When the Licensee creates Derivative Software, this Derivative Software
+ may be distributed under a license agreement other than this Agreement,
+ subject to compliance with the requirement to include a notice
+ concerning the rights over the Software as defined in Article 6.4.
+ In the event the creation of the Derivative Software required modification
+ of the Source Code, the Licensee undertakes that:
+ .
+ 1. the resulting Modified Software will be governed by this Agreement,
+ 2. the Integrated Contributions in the resulting Modified Software
+ will be clearly identified and documented,
+ 3. the Licensee will allow effective access to the source code of the
+ Modified Software, at a minimum during the entire period of
+ distribution of the Derivative Software, such that such
+ modifications may be carried over in a subsequent version of the
+ Software; it being understood that the additional cost of
+ purchasing the source code of the Modified Software shall not
+ exceed the cost of transferring the data.
+ .
+ .
+ 5.3.4 COMPATIBILITY WITH THE CeCILL LICENSE
+ .
+ When a Modified Software contains an Integrated Contribution subject to
+ the CeCILL license agreement, or when a Derivative Software contains a
+ Related Module subject to the CeCILL license agreement, the provisions
+ set forth in the third item of Article 6.4 are optional.
+ .
+ .
+ Article 6 - INTELLECTUAL PROPERTY
+ .
+ .
+ 6.1 OVER THE INITIAL SOFTWARE
+ .
+ The Holder owns the economic rights over the Initial Software. Any or
+ all use of the Initial Software is subject to compliance with the terms
+ and conditions under which the Holder has elected to distribute its work
+ and no one shall be entitled to modify the terms and conditions for the
+ distribution of said Initial Software.
+ .
+ The Holder undertakes that the Initial Software will remain ruled at
+ least by this Agreement, for the duration set forth in Article 4.2.
+ .
+ .
+ 6.2 OVER THE INTEGRATED CONTRIBUTIONS
+ .
+ The Licensee who develops an Integrated Contribution is the owner of the
+ intellectual property rights over this Contribution as defined by
+ applicable law.
+ .
+ .
+ 6.3 OVER THE RELATED MODULES
+ .
+ The Licensee who develops a Related Module is the owner of the
+ intellectual property rights over this Related Module as defined by
+ applicable law and is free to choose the type of agreement that shall
+ govern its distribution under the conditions defined in Article 5.3.3.
+ .
+ .
+ 6.4 NOTICE OF RIGHTS
+ .
+ The Licensee expressly undertakes:
+ .
+ 1. not to remove, or modify, in any manner, the intellectual property
+ notices attached to the Software;
+ .
+ 2. to reproduce said notices, in an identical manner, in the copies
+ of the Software modified or not;
+ .
+ 3. to ensure that use of the Software, its intellectual property
+ notices and the fact that it is governed by the Agreement is
+ indicated in a text that is easily accessible, specifically from
+ the interface of any Derivative Software.
+ .
+ The Licensee undertakes not to directly or indirectly infringe the
+ intellectual property rights of the Holder and/or Contributors on the
+ Software and to take, where applicable, vis-à-vis its staff, any and all
+ measures required to ensure respect of said intellectual property rights
+ of the Holder and/or Contributors.
+ .
+ .
+ Article 7 - RELATED SERVICES
+ .
+ 7.1 Under no circumstances shall the Agreement oblige the Licensor to
+ provide technical assistance or maintenance services for the Software.
+ .
+ However, the Licensor is entitled to offer this type of services. The
+ terms and conditions of such technical assistance, and/or such
+ maintenance, shall be set forth in a separate instrument. Only the
+ Licensor offering said maintenance and/or technical assistance services
+ shall incur liability therefor.
+ .
+ 7.2 Similarly, any Licensor is entitled to offer to its licensees, under
+ its sole responsibility, a warranty, that shall only be binding upon
+ itself, for the redistribution of the Software and/or the Modified
+ Software, under terms and conditions that it is free to decide. Said
+ warranty, and the financial terms and conditions of its application,
+ shall be subject of a separate instrument executed between the Licensor
+ and the Licensee.
+ .
+ .
+ Article 8 - LIABILITY
+ .
+ 8.1 Subject to the provisions of Article 8.2, the Licensee shall be
+ entitled to claim compensation for any direct loss it may have suffered
+ from the Software as a result of a fault on the part of the relevant
+ Licensor, subject to providing evidence thereof.
+ .
+ 8.2 The Licensor's liability is limited to the commitments made under
+ this Agreement and shall not be incurred as a result of in particular:
+ (i) loss due the Licensee's total or partial failure to fulfill its
+ obligations, (ii) direct or consequential loss that is suffered by the
+ Licensee due to the use or performance of the Software, and (iii) more
+ generally, any consequential loss. In particular the Parties expressly
+ agree that any or all pecuniary or business loss (i.e. loss of data,
+ loss of profits, operating loss, loss of customers or orders,
+ opportunity cost, any disturbance to business activities) or any or all
+ legal proceedings instituted against the Licensee by a third party,
+ shall constitute consequential loss and shall not provide entitlement to
+ any or all compensation from the Licensor.
+ .
+ .
+ Article 9 - WARRANTY
+ .
+ 9.1 The Licensee acknowledges that the scientific and technical
+ state-of-the-art when the Software was distributed did not enable all
+ possible uses to be tested and verified, nor for the presence of
+ possible defects to be detected. In this respect, the Licensee's
+ attention has been drawn to the risks associated with loading, using,
+ modifying and/or developing and reproducing the Software which are
+ reserved for experienced users.
+ .
+ The Licensee shall be responsible for verifying, by any or all means,
+ the suitability of the product for its requirements, its good working
+ order, and for ensuring that it shall not cause damage to either persons
+ or properties.
+ .
+ 9.2 The Licensor hereby represents, in good faith, that it is entitled
+ to grant all the rights over the Software (including in particular the
+ rights set forth in Article 5).
+ .
+ 9.3 The Licensee acknowledges that the Software is supplied "as is" by
+ the Licensor without any other express or tacit warranty, other than
+ that provided for in Article 9.2 and, in particular, without any warranty
+ as to its commercial value, its secured, safe, innovative or relevant
+ nature.
+ .
+ Specifically, the Licensor does not warrant that the Software is free
+ from any error, that it will operate without interruption, that it will
+ be compatible with the Licensee's own equipment and software
+ configuration, nor that it will meet the Licensee's requirements.
+ .
+ 9.4 The Licensor does not either expressly or tacitly warrant that the
+ Software does not infringe any third party intellectual property right
+ relating to a patent, software or any other property right. Therefore,
+ the Licensor disclaims any and all liability towards the Licensee
+ arising out of any or all proceedings for infringement that may be
+ instituted in respect of the use, modification and redistribution of the
+ Software. Nevertheless, should such proceedings be instituted against
+ the Licensee, the Licensor shall provide it with technical and legal
+ assistance for its defense. Such technical and legal assistance shall be
+ decided on a case-by-case basis between the relevant Licensor and the
+ Licensee pursuant to a memorandum of understanding. The Licensor
+ disclaims any and all liability as regards the Licensee's use of the
+ name of the Software. No warranty is given as regards the existence of
+ prior rights over the name of the Software or as regards the existence
+ of a trademark.
+ .
+ .
+ Article 10 - TERMINATION
+ .
+ 10.1 In the event of a breach by the Licensee of its obligations
+ hereunder, the Licensor may automatically terminate this Agreement
+ thirty (30) days after notice has been sent to the Licensee and has
+ remained ineffective.
+ .
+ 10.2 A Licensee whose Agreement is terminated shall no longer be
+ authorized to use, modify or distribute the Software. However, any
+ licenses that it may have granted prior to termination of the Agreement
+ shall remain valid subject to their having been granted in compliance
+ with the terms and conditions hereof.
+ .
+ .
+ Article 11 - MISCELLANEOUS
+ .
+ .
+ 11.1 EXCUSABLE EVENTS
+ .
+ Neither Party shall be liable for any or all delay, or failure to
+ perform the Agreement, that may be attributable to an event of force
+ majeure, an act of God or an outside cause, such as defective
+ functioning or interruptions of the electricity or telecommunications
+ networks, network paralysis following a virus attack, intervention by
+ government authorities, natural disasters, water damage, earthquakes,
+ fire, explosions, strikes and labor unrest, war, etc.
+ .
+ 11.2 Any failure by either Party, on one or more occasions, to invoke
+ one or more of the provisions hereof, shall under no circumstances be
+ interpreted as being a waiver by the interested Party of its right to
+ invoke said provision(s) subsequently.
+ .
+ 11.3 The Agreement cancels and replaces any or all previous agreements,
+ whether written or oral, between the Parties and having the same
+ purpose, and constitutes the entirety of the agreement between said
+ Parties concerning said purpose. No supplement or modification to the
+ terms and conditions hereof shall be effective as between the Parties
+ unless it is made in writing and signed by their duly authorized
+ representatives.
+ .
+ 11.4 In the event that one or more of the provisions hereof were to
+ conflict with a current or future applicable act or legislative text,
+ said act or legislative text shall prevail, and the Parties shall make
+ the necessary amendments so as to comply with said act or legislative
+ text. All other provisions shall remain effective. Similarly, invalidity
+ of a provision of the Agreement, for any reason whatsoever, shall not
+ cause the Agreement as a whole to be invalid.
+ .
+ 11.5 LANGUAGE
+ .
+ The Agreement is drafted in both French and English and both versions
+ are deemed authentic.
+ .
+ .
+ Article 12 - NEW VERSIONS OF THE AGREEMENT
+ .
+ 12.1 Any person is authorized to duplicate and distribute copies of this
+ Agreement.
+ .
+ 12.2 So as to ensure coherence, the wording of this Agreement is
+ protected and may only be modified by the authors of the License, who
+ reserve the right to periodically publish updates or new versions of the
+ Agreement, each with a separate number. These subsequent versions may
+ address new issues encountered by Free Software.
+ .
+ 12.3 Any Software distributed under a given version of the Agreement may
+ only be subsequently distributed under the same version of the Agreement
+ or a subsequent version.
+ .
+ .
+ Article 13 - GOVERNING LAW AND JURISDICTION
+ .
+ 13.1 The Agreement is governed by French law. The Parties agree to
+ endeavor to seek an amicable solution to any disagreements or disputes
+ that may arise during the performance of the Agreement.
+ .
+ 13.2 Failing an amicable solution within two (2) months as from their
+ occurrence, and unless emergency proceedings are necessary, the
+ disagreements or disputes shall be referred to the Paris Courts having
+ jurisdiction, by the more diligent Party.
+ .
+ Version 1.0 dated 2006-09-05.
+
+License: GPL-3+
+ This package is free software; you can redistribute it and/or modify
+ it under the terms of the GNU General Public License as published by
+ the Free Software Foundation; either version 3 of the License, or
+ (at your option) any later version.
+ .
+ This package is distributed in the hope that it will be useful,
+ but WITHOUT ANY WARRANTY; without even the implied warranty of
+ MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
+ GNU General Public License for more details.
+ .
+ You should have received a copy of the GNU General Public License
+ along with this package. If not, see <http://www.gnu.org/licenses/>.
+ .
+ On Debian systems, the complete text of the GNU General
+ Public License version 3 can be found in "/usr/share/common-licenses/GPL-3".
diff --git a/debian/libsollya-dev.install b/debian/libsollya-dev.install
new file mode 100644
index 0000000..2656173
--- /dev/null
+++ b/debian/libsollya-dev.install
@@ -0,0 +1,5 @@
+usr/lib/*/libsollya.so
+usr/lib/*/libsollya.a
+#usr/lib/*/pkgconfig/*
+usr/include/sollya.h
+usr/include/sollya-messages.h
diff --git a/debian/libsollya5.docs b/debian/libsollya5.docs
new file mode 100644
index 0000000..6f83607
--- /dev/null
+++ b/debian/libsollya5.docs
@@ -0,0 +1,3 @@
+AUTHORS
+NEWS
+README
diff --git a/debian/libsollya5.install b/debian/libsollya5.install
new file mode 100644
index 0000000..c2a0205
--- /dev/null
+++ b/debian/libsollya5.install
@@ -0,0 +1 @@
+usr/lib/*/libsollya.so.*
diff --git a/debian/libsollya5.symbols b/debian/libsollya5.symbols
new file mode 100644
index 0000000..b75b848
--- /dev/null
+++ b/debian/libsollya5.symbols
@@ -0,0 +1,444 @@
+libsollya.so.5 libsollya5 #MINVER#
+ LIBSOLLYA_5.0.0 at LIBSOLLYA_5.0.0 5.0
+ sollya_gettime at LIBSOLLYA_5.0.0 5.0
+ sollya_gettime_var at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_abs at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_absolute at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_acos at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_acosh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_add at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_and at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_annotatefunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_append at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_apply at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_approx at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_asciiplot at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_asin at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_asinh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_atan at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_atanh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_autodiff at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_autoprint at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_bashevaluate at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_bashexecute at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_binary at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_end_elliptic_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_abs at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_acos at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_acosh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_add at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_asin at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_asinh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_atan at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_atanh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_ceil at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_cos at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_cosh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_div at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_double_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_doubleextended at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_erf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_erfc at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_exp at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_expm1 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_floor at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_free_variable at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_halfprecision at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_libraryconstant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_libraryconstant_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_libraryfunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_libraryfunction_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_log10 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_log1p at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_log2 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_log at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_mul at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_nearestint at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_neg at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_pi at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_pow at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_procedurefunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_quad at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_sin at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_single at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_sinh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_sqrt at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_sub at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_tan at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_tanh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_function_triple_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_build_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_calloc at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_canonical at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_ceil at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_chebyshevform at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_checkinfnorm at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_boolean_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_constant_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_int_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_interval_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_object_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_clear_string_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_close at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_equal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_greater at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_greater_equal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_in at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_less at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_less_equal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_not_equal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cmp_objs_structurally at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_coeff at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_composepolynomials at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_concat at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant_from_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant_from_int64 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant_from_int at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant_from_mpq at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant_from_mpz at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_constant_from_uint64 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_boolean_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_constant_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_function at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_int_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_interval_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_object_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_construct_string_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_boolean_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_constant_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_int_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_interval_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_object_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_copy_string_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cos at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_cosh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_create_structure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decimal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_externalprocedure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_externalprocedure_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_function at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_libraryconstant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_libraryconstant_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_libraryfunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_libraryfunction_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_decompose_procedurefunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_default at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_degree at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_denominator at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_diff at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_dirtyfindzeros at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_dirtyinfnorm at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_dirtyintegral at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_dirtysimplify at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_div at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_double_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_double_double_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_double_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_doubleextended at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_doubleextended_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_dyadic at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_end_elliptic_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_erf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_erfc at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_error at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_evaluate at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_evaluate_function_at_constant_expression at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_evaluate_function_at_point at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_evaluate_function_over_interval at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_execute at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_execute_procedure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_exp at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_expand at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_expm1 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_exponent at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_externalplot at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_externalprocedure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_externalprocedure_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_false at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_file at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_findzeros at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_fixed at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_floating at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_floor at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_fpminimax at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_fprintf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_free at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_free_variable at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_autosimplify at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_boolean_list_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_boolean_list_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_bounds_from_range at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_canonical at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_as_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_as_int64 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_as_int at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_as_mpq at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_as_mpz at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_as_uint64 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_list_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_constant_list_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_diam at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_dieonerrormode at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_display at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_element_in_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_element_in_structure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_free_variable_name at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_fullparentheses at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_function_arity at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_head_function at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_hopitalrecursions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_int_list_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_int_list_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_interval_from_range at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_interval_list_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_interval_list_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_list_elements at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_midpointmode at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_msg_callback at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_msg_id at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_nth_subfunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_object_list_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_object_list_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_points at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_prec at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_prec_of_constant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_prec_of_range at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_rationalmode at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_roundingwarnings at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_showmessagenumbers at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_string at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_string_list_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_string_list_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_structure_elements at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_subfunctions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_taylorrecursions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_timing at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_get_verbosity at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_getbacktrace at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_getsuppressedmessages at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_guessdegree at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_halfprecision at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_halfprecision_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_hash at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_head at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_hexadecimal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_honorcoeffprec at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_horner at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_implementconstant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_implementpoly at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_inf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_infnorm at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_init at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_init_with_custom_memory_function_modifiers at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_init_with_custom_memory_functions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_init_with_custom_memory_functions_with_custom_memory_function_modifiers at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_install_msg_callback at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_integral at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_absolute at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_binary at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_decimal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_default at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_double_double_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_double_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_doubleextended_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_dyadic at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_empty_boolean_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_empty_constant_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_empty_int_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_empty_interval_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_empty_object_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_empty_string_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_false at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_file at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_fixed at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_floating at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_halfprecision_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_hexadecimal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_honorcoeffprec at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_off at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_on at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_perturb at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_pi at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_postscript at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_postscriptfile at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_powers at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_quad_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_relative at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_round_down at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_round_to_nearest at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_round_towards_zero at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_round_up at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_single_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_triple_double_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_true at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_is_void at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_length at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_libraryconstant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_libraryconstant_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_libraryfunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_libraryfunction_with_data at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_log10 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_log1p at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_log2 at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_log at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_malloc at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_mantissa at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_max at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_mid at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_min at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_msg_to_text at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_mul at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_name_free_variable at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_nearestint at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_neg at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_negate at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_numberroots at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_numerator at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_end_elliptic_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_error at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_externalprocedure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_function at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_procedure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_range at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_string at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_obj_is_structure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_objectname at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_off at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_on at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_or at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_parse at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_parse_string at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_perturb at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_pi at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_plot at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_postscript at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_postscriptfile at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_pow at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_powers at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_precision at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_prepend at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printdouble at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printexpansion at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printlibrarymessage at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printsingle at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printxml at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printxml_appendfile at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_printxml_newfile at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_procedurefunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_quad at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_quad_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_range at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_range_from_bounds at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_range_from_interval at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_rationalapprox at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_readxml at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_realloc at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_relative at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_remez at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_revert at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_round at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_round_down at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_round_to_nearest at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_round_towards_zero at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_round_up at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_roundcoefficients at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_roundcorrectly at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_searchgal at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_autosimplify at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_autosimplify_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_canonical at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_canonical_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_diam at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_diam_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_dieonerrormode at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_dieonerrormode_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_display at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_display_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_fullparentheses at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_fullparentheses_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_hopitalrecursions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_hopitalrecursions_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_midpointmode at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_midpointmode_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_points at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_points_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_prec at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_prec_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_rationalmode at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_rationalmode_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_roundingwarnings at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_roundingwarnings_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_showmessagenumbers at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_showmessagenumbers_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_taylorrecursions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_taylorrecursions_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_timing at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_timing_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_verbosity at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_set_verbosity_and_print at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_simplify at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sin at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_single at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_single_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sinh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_snprintf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sort at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sprintf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sqrt at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_string at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sub at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_subpoly at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_substitute at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_sup at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_supnorm at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_suppressmessage at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_tail at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_tan at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_tanh at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_taylor at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_taylorform at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_triple_double at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_triple_double_obj at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_true at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_uninstall_msg_callback at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_unsuppressmessage at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_annotatefunction at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_apply at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_autoprint at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_bashevaluate at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_build_end_elliptic_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_build_list at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_construct_function at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_decompose_function at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_execute_procedure at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_externalplot at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_fpminimax at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_fprintf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_get_subfunctions at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_guessdegree at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_implementconstant at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_implementpoly at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_infnorm at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_max at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_min at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_plot at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_printf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_remez at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_snprintf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_sprintf at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_suppressmessage at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_taylorform at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_unsuppressmessage at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_v_worstcase at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_void at LIBSOLLYA_5.0.0 5.0
+ sollya_lib_worstcase at LIBSOLLYA_5.0.0 5.0
+ sollya_timediff_ms at LIBSOLLYA_5.0.0 5.0
diff --git a/debian/patches/debianization-test.patch b/debian/patches/debianization-test.patch
new file mode 100644
index 0000000..5cdaa0f
--- /dev/null
+++ b/debian/patches/debianization-test.patch
@@ -0,0 +1,31 @@
+Description: debianization -- test
+ Permit time based tests to PASS.
+Origin: debian
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-25
+
+--- a/tests-tool/Makefile.am
++++ b/tests-tool/Makefile.am
+@@ -1,8 +1,11 @@
+-TESTFILES = check001.sollya check002.sollya check003.sollya check004.sollya check005.sollya check006.sollya check007.sollya check008.sollya check009.sollya check010.sollya check011.sollya check012.sollya check013.sollya check014.sollya check015.sollya check016.sollya check017.sollya check018.sollya check019.sollya check020.sollya check021.sollya check022.sollya check023.sollya check024.sollya check025.sollya check026.sollya check027.sollya check028.sollya check029.sollya check030.sollya [...]
++TESTFILES = check001.sollya check002.sollya check003.sollya check004.sollya check005.sollya check006.sollya check007.sollya check008.sollya check009.sollya check010.sollya check011.sollya check012.sollya check013.sollya check014.sollya check015.sollya check016.sollya check017.sollya check018.sollya check019.sollya check020.sollya check021.sollya check022.sollya check023.sollya check024.sollya check025.sollya check026.sollya check027.sollya check028.sollya check029.sollya check030.sollya
+
+-EXTRA_DIST = check.proto $(TESTFILES) $(TESTFILES:.sollya=.sollya.reference)
++XFAILTESTFILES = timecheck.sollya
++
++EXTRA_DIST = check.proto $(TESTFILES) $(TESTFILES:.sollya=.sollya.reference) $(XFAILTESTFILES) $(XFAILTESTFILES:.sollya=.sollya.reference)
+
+ TESTS = $(TESTFILES:.sollya=.sh)
++XFAIL_TESTS = $(XFAILTESTFILES:.sollya=.sh)
+
+ check_PROGRAMS = force_compilation
+ check_LIBRARIES = libraryexample.a # the library will be a shared library actually,
+@@ -23,7 +26,7 @@
+ force_compilation$(EXEEXT):
+ @echo "Recompiling sollya";cd $(top_builddir); $(MAKE) sollya$(EXEEXT)
+
+-$(TESTS): check.proto
++$(TESTS) $(XFAIL_TESTS): check.proto
+ @echo "Building "$@
+ @echo "#!/bin/sh" > $@
+ @echo "SOLLYA="$(top_builddir)"/sollya" >> $@
diff --git a/debian/patches/debianization.patch b/debian/patches/debianization.patch
new file mode 100644
index 0000000..f756c78
--- /dev/null
+++ b/debian/patches/debianization.patch
@@ -0,0 +1,19 @@
+Description: debianization
+ Meant to maintain a minimal debian/rules, to fix annoying
+ warnings, to address Debian specific stuff in general.
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- a/configure.ac
++++ b/configure.ac
+@@ -312,8 +312,8 @@
+ AC_CHECK_LIB([mpfr], [mpfr_set_z_2exp], [true], AC_MSG_ERROR([libmpfr version too old]))
+ AC_CHECK_LIB([mpfr], [mpfr_erfc], [], AC_MSG_ERROR([libmpfr version too old])) # This one adds -lmpfr in case of success
+ AC_CHECK_LIB([mpfi], [mpfi_init], [], AC_MSG_ERROR([libmpfi unusable]))
+-AC_CHECK_LIB([z], [gzdopen], [], [])
+-AC_CHECK_LIB([iconv], [libiconv_open], [], []) # This for providing a statically linked program under Cygwin. See e0d7171f9daf0027e075723d21fb40a864578cd5
++####AC_CHECK_LIB([z], [gzdopen], [], [])
++####AC_CHECK_LIB([iconv], [libiconv_open], [], []) # This for providing a statically linked program under Cygwin. See e0d7171f9daf0027e075723d21fb40a864578cd5
+ AC_CHECK_LIB([m],[cos])
+ AC_CHECK_LIB([xml2], [xmlTextReaderIsEmptyElement], [], AC_MSG_ERROR([libxml2 unusable]))
+
diff --git a/debian/patches/series b/debian/patches/series
new file mode 100644
index 0000000..09b1dc8
--- /dev/null
+++ b/debian/patches/series
@@ -0,0 +1,11 @@
+upstream-00-lintian-spelling-error-silence.patch
+upstream-01-lintian-spelling-error-silence--massive.patch
+upstream-02-lintian-spelling-error-silence--massive.patch
+upstream-03-source-version_h.patch
+upstream-04-source-C2help2man.patch
+upstream-05-autotools-revisit.patch
+upstream-06-autotools-help2man.patch
+upstream-07-autotools-ld_version_script.patch
+upstream-08-autotools-advanced_strip.patch
+debianization.patch
+debianization-test.patch
diff --git a/debian/patches/upstream-00-lintian-spelling-error-silence.patch b/debian/patches/upstream-00-lintian-spelling-error-silence.patch
new file mode 100644
index 0000000..d72b05b
--- /dev/null
+++ b/debian/patches/upstream-00-lintian-spelling-error-silence.patch
@@ -0,0 +1,718 @@
+Description: source typo
+ Correct spelling errors as reported by lintian in some binraries;
+ meant to silence lintian and eventually to be submitted to the
+ upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Comment: spelling-error-in-binary
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-18
+
+--- a/double.c
++++ b/double.c
+@@ -244,7 +244,7 @@
+ if (mpfr_sub(rest,op,accu,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_DOUBLE_DOUBLE,"Warning: double rounding occurred on invoking the double-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ d = sollya_mpfr_get_d(rest,GMP_RNDN);
+@@ -257,7 +257,7 @@
+ if (mpfr_add(accu,accu,temp,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_DOUBLE_DOUBLE,"Warning: double rounding occurred on invoking the double-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ if (mpfr_set(rop,accu,GMP_RNDN) != 0) {
+@@ -300,7 +300,7 @@
+ if (mpfr_sub(rest,op,accu,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_DOUBLE_DOUBLE,"Warning: double rounding occurred on invoking the double-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ d = sollya_mpfr_get_d(rest,mode);
+@@ -313,7 +313,7 @@
+ if (mpfr_add(accu,accu,temp,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_DOUBLE_DOUBLE,"Warning: double rounding occurred on invoking the double-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ if (mpfr_set(rop,accu,GMP_RNDN) != 0) {
+@@ -357,7 +357,7 @@
+ if (mpfr_sub(rest,op,accu,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ d = sollya_mpfr_get_d(rest,GMP_RNDN);
+@@ -370,13 +370,13 @@
+ if (mpfr_add(accu,accu,temp,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ if (mpfr_sub(rest,op,accu,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ d = sollya_mpfr_get_d(rest,GMP_RNDN);
+@@ -389,7 +389,7 @@
+ if (mpfr_add(accu,accu,temp,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ if (mpfr_set(rop,accu,GMP_RNDN) != 0) {
+@@ -433,7 +433,7 @@
+ if (mpfr_sub(rest,op,accu,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ d = sollya_mpfr_get_d(rest,GMP_RNDN);
+@@ -446,13 +446,13 @@
+ if (mpfr_add(accu,accu,temp,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ if (mpfr_sub(rest,op,accu,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ d = sollya_mpfr_get_d(rest,mode);
+@@ -465,7 +465,7 @@
+ if (mpfr_add(accu,accu,temp,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+ printMessage(1,SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE,"Warning: double rounding occurred on invoking the triple-double rounding operator.\n");
+- printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on substracting in MPFR. This should not occur.\n");
++ printMessage(1,SOLLYA_MSG_CONTINUATION,"The rounding occurred on subtracting in MPFR. This should not occur.\n");
+ }
+ }
+ if (mpfr_set(rop,accu,GMP_RNDN) != 0) {
+@@ -489,7 +489,7 @@
+ int res;
+ double d;
+ mpfr_t temp;
+- db_number xdb, endianessdb;
++ db_number xdb, endiannessdb;
+
+ mpfr_init2(temp,mpfr_get_prec(x));
+
+@@ -512,14 +512,14 @@
+ }
+
+ xdb.d = d;
+- endianessdb.d = 1.0;
+- if ((endianessdb.i[1] == 0x3ff00000) && (endianessdb.i[0] == 0)) {
++ endiannessdb.d = 1.0;
++ if ((endiannessdb.i[1] == 0x3ff00000) && (endiannessdb.i[0] == 0)) {
+ sollyaPrintf("0x%08x%08x\n",xdb.i[1],xdb.i[0]);
+ } else {
+- if ((endianessdb.i[0] == 0x3ff00000) && (endianessdb.i[1] == 0)) {
++ if ((endiannessdb.i[0] == 0x3ff00000) && (endiannessdb.i[1] == 0)) {
+ sollyaPrintf("0x%08x%08x\n",xdb.i[0],xdb.i[1]);
+ } else {
+- printMessage(1,SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS,"Warning: could not figure out the endianess of the system. Will print 1.0 instead of the value.\n");
++ printMessage(1,SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS,"Warning: could not figure out the endianness of the system. Will print 1.0 instead of the value.\n");
+ sollyaPrintf("0x3ff0000000000000\n");
+ }
+ }
+@@ -569,7 +569,7 @@
+ int32_t msb, lsb;
+ double x;
+ char msbstr[9], lsbstr[9];
+- db_number xdb, endianessdb;
++ db_number xdb, endiannessdb;
+
+ x = 1.0;
+ c += 2; /* Skip over "0x" */
+@@ -589,16 +589,16 @@
+ msb = convertHexadecimalStringToInt32(msbstr);
+ lsb = convertHexadecimalStringToInt32(lsbstr);
+
+- endianessdb.d = 1.0;
+- if ((endianessdb.i[1] == 0x3ff00000) && (endianessdb.i[0] == 0)) {
++ endiannessdb.d = 1.0;
++ if ((endiannessdb.i[1] == 0x3ff00000) && (endiannessdb.i[0] == 0)) {
+ xdb.i[1] = msb;
+ xdb.i[0] = lsb;
+ } else {
+- if ((endianessdb.i[0] == 0x3ff00000) && (endianessdb.i[1] == 0)) {
++ if ((endiannessdb.i[0] == 0x3ff00000) && (endiannessdb.i[1] == 0)) {
+ xdb.i[0] = msb;
+ xdb.i[1] = lsb;
+ } else {
+- printMessage(1,SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS,"Warning: could not figure out the endianess of the system. Will read 1.0 instead of the value.\n");
++ printMessage(1,SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS,"Warning: could not figure out the endianness of the system. Will read 1.0 instead of the value.\n");
+ xdb.d = 1.0;
+ }
+ }
+@@ -844,7 +844,7 @@
+ int printDoubleExpansion(mpfr_t x) {
+ double d;
+ mpfr_t temp, rest;
+- db_number xdb, endianessdb;
++ db_number xdb, endiannessdb;
+ int noBrackets, roundingOccured;
+
+ mpfr_init2(temp,mpfr_get_prec(x));
+@@ -886,14 +886,14 @@
+ }
+
+ xdb.d = d;
+- endianessdb.d = 1.0;
+- if ((endianessdb.i[1] == 0x3ff00000) && (endianessdb.i[0] == 0)) {
++ endiannessdb.d = 1.0;
++ if ((endiannessdb.i[1] == 0x3ff00000) && (endiannessdb.i[0] == 0)) {
+ sollyaPrintf("0x%08x%08x",xdb.i[1],xdb.i[0]);
+ } else {
+- if ((endianessdb.i[0] == 0x3ff00000) && (endianessdb.i[1] == 0)) {
++ if ((endiannessdb.i[0] == 0x3ff00000) && (endiannessdb.i[1] == 0)) {
+ sollyaPrintf("0x%08x%08x",xdb.i[0],xdb.i[1]);
+ } else {
+- printMessage(1,SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS,"Warning: could not figure out the endianess of the system. Will print 1.0 instead of the value.\n");
++ printMessage(1,SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS,"Warning: could not figure out the endianness of the system. Will print 1.0 instead of the value.\n");
+ sollyaPrintf("0x3ff0000000000000\n");
+ roundingOccured = 1;
+ }
+--- a/sollya-messaging.h
++++ b/sollya-messaging.h
+@@ -128,7 +128,7 @@
+ { SOLLYA_MSG_DOUBLE_ROUNDING_IN_ROUND_TO_TRIPLE_DOUBLE , "A double rounding occurred in round to triple-double" },
+ { SOLLYA_MSG_ROUNDING_DOWN_BEFORE_PRINTING_DOUBLE , "A round-down occurred before printing a double precision value" },
+ { SOLLYA_MSG_ROUNDING_UP_BEFORE_PRINTING_DOUBLE , "A round-up occurred before printing a double precision value" },
+- { SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS , "Could not figure out the endianess of the system" },
++ { SOLLYA_MSG_COULD_NOT_FIGURE_OUT_ENDIANESS , "Could not figure out the endianness of the system" },
+ { SOLLYA_MSG_ROUNDING_DOWN_BEFORE_PRINTING_SINGLE , "A round-down occurred before printing a single precision value" },
+ { SOLLYA_MSG_ROUNDING_UP_BEFORE_PRINTING_SINGLE , "A round-up occurred before printing a single precision value" },
+ { SOLLYA_MSG_SNAN_MIGHT_HAVE_BECOME_QNAN , "An sNaN might have become a qNaN" },
+@@ -367,7 +367,7 @@
+ { SOLLYA_MSG_XML_PARSER_FAILURE , "Failed to parse a certain XML file" },
+ { SOLLYA_MSG_XML_SYNCHRONIZATION_LOST_TRYING_TO_RESYNCH , "The XML parser has lost synchronization and is trying to resynchronize" },
+ { SOLLYA_MSG_XML_PARSER_UNABLE_TO_OPEN_A_CERTAIN_FILE , "The XML parser cannot open a certain file" },
+- { SOLLYA_MSG_XML_PARSE_FUNCTIONALITY_NOT_COMPILED_IN , "A certain XML file cannot be read because XInclude functionnality has not been compiled in" },
++ { SOLLYA_MSG_XML_PARSE_FUNCTIONALITY_NOT_COMPILED_IN , "A certain XML file cannot be read because XInclude functionality has not been compiled in" },
+ { SOLLYA_MSG_EXPR_DOES_NOT_EVALUATE_TO_INTEGER , "A given expression does not evaluate to an integer" },
+ { SOLLYA_MSG_ROUNDING_ON_CONVERTING_A_MACHINE_INTEGER , "A rounding has occurred during the conversion of a machine integer" },
+ { SOLLYA_MSG_HARMLESS_ERROR_OCCURRED_COMMAND_NOT_EXECUTED , "An error occurred. The last command will not succeed. This is harmless" },
+@@ -383,7 +383,7 @@
+ { SOLLYA_MSG_START_POINT_TOO_PRECISE_FOR_GIVEN_INPUT_PREC , "The given start point is too precise for the given search precision. It gets rounded beforehand" },
+ { SOLLYA_MSG_DEGREE_OF_TAYLORFORM_MUST_BE_AT_LEAST_ZERO , "The degree of a Taylor form must be at least zero" },
+ { SOLLYA_MSG_ERROR_IN_TAYLORFORM_MULTIPLYING_INCOMPAT_MODELS , "Error in Taylor form computation: multiplication of incompatible models" },
+- { SOLLYA_MSG_ERROR_IN_TAYLORFORM_UNKNOWN_FUNC_FOR_ZUMKELLER , "Error in Taylor form computation: unkown type of function used with Zumkeller's technique" },
++ { SOLLYA_MSG_ERROR_IN_TAYLORFORM_UNKNOWN_FUNC_FOR_ZUMKELLER , "Error in Taylor form computation: unknown type of function used with Zumkeller's technique" },
+ { SOLLYA_MSG_ERROR_IN_TAYLORFORM_TRYING_TO_INCREASE_DEGREE , "Error in Taylor form computation: trying to increase the degree of a model" },
+ { SOLLYA_MSG_DEVELOPMENT_POINT_NOT_CONSTANT , "The expression given as a development point is not constant" },
+ { SOLLYA_MSG_ROUNDING_ON_COMPUTATION_OF_TAYLOR_COEFFICIENT , "A rounding occurred while computing the constant factor of a Taylor coefficient" },
+@@ -402,7 +402,7 @@
+ { SOLLYA_MSG_SUPNORM_CANNOT_COMPUTE_ABSOLUTE_INF , "During supnorm computation, it was not possible to determine a valid lower bound for the absolute value of the function" },
+ { SOLLYA_MSG_SUPNORM_CANNOT_DETERMINE_SIGN_OF_T , "During supnorm computation, it was not possible to safely determine the sign of the Taylor polynomial" },
+ { SOLLYA_MSG_SUPNORM_CANNOT_DETERMINE_ORDER_OF_SINGU , "During supnorm computation, it was not possible to safely determine the order of a presume zero of the given function" },
+- { SOLLYA_MSG_SUPNORM_GENERIC_ERROR , "During supnorm computation, some generic error occured. No further description is available" },
++ { SOLLYA_MSG_SUPNORM_GENERIC_ERROR , "During supnorm computation, some generic error occurred. No further description is available" },
+ { SOLLYA_MSG_SUPNORM_ACCURACY_TOO_HIGH , "For supnorm, the given accuracy depasses the current maximum precision. Try to increase the precision of the tool" },
+ { SOLLYA_MSG_SUPNORM_COULD_NOT_FAITHFULLY_EVAL_ERROR_FUNC , "During supnorm computation, the error function between the function and the polynomial could not faithfully be evaluated at some point" },
+ { SOLLYA_MSG_DOMAIN_IS_NO_CLOSED_INTERVAL_ON_THE_REALS , "The given domain is not a closed interval on the reals" },
+@@ -412,7 +412,7 @@
+ { SOLLYA_MSG_ACCUARCY_INDICATION_IS_NOT_A_REAL_NUMBER , "The given accuracy indication is not a real number" },
+ { SOLLYA_MSG_ACCUARCY_INDICATION_IS_ZERO , "The given accuracy indication is zero" },
+ { SOLLYA_MSG_POLYNOMIAL_HAS_NON_DYADIC_COEFFICIENTS , "The given polynomials contains coefficients that are no dyadic numbers" },
+- { SOLLYA_MSG_SUPNORM_SAFE_ENCLOSURE_COULD_NOT_BE_COMPUTED , "An error occured during supremum norm computation. A safe enclosure of the supremum norm could not be computed" },
++ { SOLLYA_MSG_SUPNORM_SAFE_ENCLOSURE_COULD_NOT_BE_COMPUTED , "An error occurred during supremum norm computation. A safe enclosure of the supremum norm could not be computed" },
+ { SOLLYA_MSG_STURM_INTERVAL_A_CERTAIN_PREC_HAS_BEEN_CHOSEN , "During execution of Sturm's algorithm in interval arithmetic, a certain precision has been chosen" },
+ { SOLLYA_MSG_STURM_COEFF_EVALUATED_TO_RATIONAL_NUMBER , "A coefficient of the given polynomial has been evaluated to a certain rational number" },
+ { SOLLYA_MSG_STURM_COEFF_NOT_CONSTANT_NOR_RATIONAL_ROUNDING , "A coefficient of the given polynomial is neither a floating point or rational constant nor can be evaluated without rounding to a floating point constant" },
+@@ -556,14 +556,14 @@
+ { SOLLYA_MSG_CHEBYSHEVFORM_DOMAIN_MUST_NOT_BE_POINT_INTERVAL , "The domain of a Chebyshev Model can not be a point interval"},
+ { SOLLYA_MSG_CHEBYSHEVFORM_ERROR_IN_COMPUTATION , "An error occurred during computation of a Chebyshev form."},
+ { SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_COPYING_INCOMPAT_MODELS , "Error in Chebyshev form computation: copy of incompatible models."},
+- { SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_UNKNOWN_FUNC_FOR_ZUMKELLER , "Error in Chebyshev form computation: unkown type of function used with Zumkeller's technique."},
++ { SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_UNKNOWN_FUNC_FOR_ZUMKELLER , "Error in Chebyshev form computation: unknown type of function used with Zumkeller's technique."},
+ { SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_NOT_A_POLYNOMIAL , "Error in Chebyshev form computation: the given function is not a polynomial, no modification is made." },
+ { SOLLYA_MSG_SPECIAL_ALGORITHM_USED_FOR_COEFF , "A special algorithm is used to extract the i-th coefficient of an expression that is a polynomial." },
+ { SOLLYA_MSG_NO_CORRECT_ROUNDING_FOR_ROUND_OPERATOR , "No correctly rounded result could be obtained upon evaluation of a rounding operator." },
+ { SOLLYA_MSG_ROUNDING_OF_BOUNDARY_INSTEAD_OF_CORRECT_ROUNDING , "The returned rounding is the rounding of the rounding boundary because correct rounding has not been possible." },
+ { SOLLYA_MSG_NO_CORRECT_TERNARY_VALUE_FOR_ROUND_BUT_CORRECT_ROUNDING, "A correct rounding was possible but the actual rounding direction could not be determined." },
+ { SOLLYA_MSG_NO_CORRECT_TERNARY_VALUE_FOR_ROUND , "The actual rounding direction during a round operation could not be determined." },
+- { SOLLYA_MSG_LIBRARY_CLOSER_ERROR , "While closing a libary, the function \"sollya_external_lib_close\" was found and called but it signaled an error." },
++ { SOLLYA_MSG_LIBRARY_CLOSER_ERROR , "While closing a library, the function \"sollya_external_lib_close\" was found and called but it signaled an error." },
+ { SOLLYA_MSG_INF_CONVERTED_TO_NUMBER_ON_CONSTANT_RETRIEVAL , "An infinity has been converted to a number upon retrieval of a constant." },
+ { SOLLYA_MSG_ANNOTATION_COULD_NOT_BE_SET_UP , "The annotation could not be set up. The function is returned as-is." },
+ { SOLLYA_MSG_GENERIC_SOLLYA_LIBRARY_MSG , "An external program using the Sollya library has displayed a message." },
+--- a/ChangeLog
++++ b/ChangeLog
+@@ -696,7 +696,7 @@
+
+ * doc/CommandsAndFunctions.tex, doc/keywords.def,
+ doc/www/ListOfCommands.php, doc/www/xfreevariable.php,
+- doc/xfreevariable.shlp, doc/xfreevariable.tex, help.h, parser.y:
++ doc/xfreevariable.shlp, doc/xfreevariable.tex, help.h, parser.y:
+ Added an explicit documentation for _x_
+
+ 2016-05-10 Christoph Lauter <christoph.lauter at lip6.fr>
+@@ -704,7 +704,7 @@
+ * TODO_sollya5.0, doc/keywords.def, sollya-library-wrappers.c,
+ sollya.h: Removed certain deprecated functions from the Sollya
+ library. Sylvain Chevillard, who authorized the removal by phone,
+- assumes the full, entire responsability of this removal forever and
++ assumes the full, entire responsibility of this removal forever and
+ until the end of time. Added new things to do in the TODO file.
+
+ 2016-05-10 Christoph Lauter <christoph.lauter at lip6.fr>
+@@ -2148,7 +2148,7 @@
+ 2014-09-22 Christoph Lauter <christoph.lauter at lip6.fr>
+
+ * execute.c, execute.h, general.c, general.h: Continuing work on
+- backtrace functionnality.
++ backtrace functionality.
+
+ 2014-09-22 Christoph Lauter <christoph.lauter at lip6.fr>
+
+@@ -2381,12 +2381,12 @@
+
+ * infnorm.c, tests-tool/Makefile.am, tests-tool/check030.sollya,
+ tests-tool/check030.sollya.reference: Added testing for
+- annotatefunction functionnality and corrected a bug.
++ annotatefunction functionality and corrected a bug.
+
+ 2014-08-21 Christoph Lauter <christoph.lauter at lip6.fr>
+
+- * tests-tool/check030.sollya, tests-tool/check030.sollya.reference:
+- Starting work on tests for the new annotate functionnality.
++ * tests-tool/check030.sollya, tests-tool/check030.sollya.reference:
++ Starting work on tests for the new annotate functionality.
+
+ 2014-08-09 Sylvain Chevillard <sylvain.chevillard at ens-lyon.org>
+
+@@ -16708,7 +16708,7 @@
+
+ * arenairetoolsexample.c, double.c, execute.c, expression.c,
+ external.c, general.c, implement.c, infnorm.c, miniparser.y,
+- pari_utils.c, plot.c, taylor.c, worstcase.c: changed *occured* into
++ pari_utils.c, plot.c, taylor.c, worstcase.c: changed *occurred* into
+ *occurred* everywhere This commit was extracted from SVN r446. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@446
+ af37bc7e-59aa-4313-bbaf-7d19c0032f32
+
+@@ -16849,7 +16849,7 @@
+ 2007-10-01 clauter <clauter at af37bc7e-59aa-4313-bbaf-7d19c0032f32>
+
+ * ChangeLog, Makefile.am, arenairetoolsexample.c: Corrected
+- compilation indication in libary example. This commit was extracted from SVN r421. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@421
++ compilation indication in library example. This commit was extracted from SVN r421. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@421
+ af37bc7e-59aa-4313-bbaf-7d19c0032f32
+
+ 2007-10-01 clauter <clauter at af37bc7e-59aa-4313-bbaf-7d19c0032f32>
+@@ -17376,7 +17376,7 @@
+ 2007-04-06 clauter <clauter at af37bc7e-59aa-4313-bbaf-7d19c0032f32>
+
+ * infnorm.c: Added a test for preventing decorrelation trials on
+- addition and substraction evaluation on point intervals. This commit was extracted from SVN r328. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@328
++ addition and subtraction evaluation on point intervals. This commit was extracted from SVN r328. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@328
+ af37bc7e-59aa-4313-bbaf-7d19c0032f32
+
+ 2007-04-05 clauter <clauter at af37bc7e-59aa-4313-bbaf-7d19c0032f32>
+@@ -17811,7 +17811,7 @@
+ 2006-12-19 clauter <clauter at af37bc7e-59aa-4313-bbaf-7d19c0032f32>
+
+ * expression.c, parser.y: Corrected a display error in print
+- functions for repeated substraction and division trees. This commit was extracted from SVN r249. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@249
++ functions for repeated subtraction and division trees. This commit was extracted from SVN r249. git-svn-id: svn://scm.gforge.inria.fr/svn/sollya/trunk@249
+ af37bc7e-59aa-4313-bbaf-7d19c0032f32
+
+ 2006-12-18 schevill <schevill at af37bc7e-59aa-4313-bbaf-7d19c0032f32>
+--- a/externalfun.c
++++ b/externalfun.c
+@@ -50,7 +50,7 @@
+ #include <mpfi.h>
+ #include "sollya.h"
+
+-/* Example of an external functionnality linked to a function symbol in sollya
++/* Example of an external functionality linked to a function symbol in sollya
+
+ Compile with
+
+--- a/chebyshevform.c
++++ b/chebyshevform.c
+@@ -613,7 +613,7 @@
+ sollya_mpfi_pow(boundf2, p_interv, xsup);
+ break;
+ default:
+- printMessage(0, SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in chebyshev: unkown type of function used with Zumkeller's technique\n");
++ printMessage(0, SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in chebyshev: unknown type of function used with Zumkeller's technique\n");
+ return;
+ }
+
+@@ -705,7 +705,7 @@
+ }
+ break;
+ default:
+- printMessage(0, SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in chebyshev: unkown type of function used with Zumkeller's technique\n");
++ printMessage(0, SOLLYA_MSG_ERROR_IN_CHEBYSHEVFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in chebyshev: unknown type of function used with Zumkeller's technique\n");
+ return;
+ }
+ /*compute the values of the coefficients*/
+--- a/taylorform.c
++++ b/taylorform.c
+@@ -481,7 +481,7 @@
+ if ((mode==ABSOLUTE)&&(n%2==0)) sollya_mpfi_pow(boundfx0, p_interv, x0);
+ break;
+ default:
+- printMessage(0, SOLLYA_MSG_ERROR_IN_TAYLORFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in taylorform: unkown type of function used with Zumkeller's technique\n");
++ printMessage(0, SOLLYA_MSG_ERROR_IN_TAYLORFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in taylorform: unknown type of function used with Zumkeller's technique\n");
+ return 0;
+ }
+
+@@ -593,7 +593,7 @@
+ powerFunction_diff(nDeriv, p, x, (mode==RELATIVE)?(n+1):n, silent);
+ break;
+ default:
+- printMessage(0, SOLLYA_MSG_ERROR_IN_TAYLORFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in taylorform: unkown type of function used with Zumkeller's technique\n");
++ printMessage(0, SOLLYA_MSG_ERROR_IN_TAYLORFORM_UNKNOWN_FUNC_FOR_ZUMKELLER, "Error in taylorform: unknown type of function used with Zumkeller's technique\n");
+ return;
+ }
+
+--- a/supnorm.c
++++ b/supnorm.c
+@@ -2075,7 +2075,7 @@
+ return SUPNORM_NO_ERROR;
+ }
+
+- /* Some error occured, check if we still need to bisect or if we have reached diameter */
++ /* Some error occurred, check if we still need to bisect or if we have reached diameter */
+ mpfr_init2(width,p1);
+ mpfr_sub(width,b,a,GMP_RNDU);
+ if (mpfr_cmp(width,diameter) < 0) {
+@@ -2261,7 +2261,7 @@
+ printMessage(1,SOLLYA_MSG_SUPNORM_CANNOT_DETERMINE_ORDER_OF_SINGU,"Warning: during supnorm computation, it was not possible to safely determine the order of a presume zero of the given function.\n");
+ break;
+ default:
+- printMessage(1,SOLLYA_MSG_SUPNORM_GENERIC_ERROR,"Warning: during supnorm computation, some generic error occured. No further description is available.\n");
++ printMessage(1,SOLLYA_MSG_SUPNORM_GENERIC_ERROR,"Warning: during supnorm computation, some generic error occurred. No further description is available.\n");
+ }
+
+ return 0;
+@@ -2528,7 +2528,7 @@
+
+ res = supremumNormBisect(result,poly,func,a,b,mode,absAccuracy,diameter);
+ if (!res) {
+- printMessage(1,SOLLYA_MSG_SUPNORM_SAFE_ENCLOSURE_COULD_NOT_BE_COMPUTED,"Warning: an error occured during supremum norm computation. A safe enclosure of the supremum norm could not be computed.\n");
++ printMessage(1,SOLLYA_MSG_SUPNORM_SAFE_ENCLOSURE_COULD_NOT_BE_COMPUTED,"Warning: an error occurred during supremum norm computation. A safe enclosure of the supremum norm could not be computed.\n");
+ sollya_mpfi_set_nan(result);
+ }
+
+--- a/tests-lib/timplementpoly.c
++++ b/tests-lib/timplementpoly.c
+@@ -25,7 +25,7 @@
+ sollya_lib_printf("Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.\n");
+ break;
+ case SOLLYA_MSG_ERROR_ON_DETERMINING_THE_REQUIRED_PRECISIONS:
+- sollya_lib_printf("Caught the message: an error has occured during the determination of the required precisions.\n");
++ sollya_lib_printf("Caught the message: an error has occurred during the determination of the required precisions.\n");
+ break;
+ default:
+ sollya_lib_printf("Unexpected warning %d.\n", message);
+--- a/tests-lib/tv_implementpoly.reference
++++ b/tests-lib/tv_implementpoly.reference
+@@ -267,7 +267,7 @@
+ Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.
+ Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.
+ Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.
+-Caught the message: an error has occured during the determination of the required precisions.
++Caught the message: an error has occurred during the determination of the required precisions.
+ implementpoly(15 + x * (14 + x * (13 + x * (12 + x * (11 + x * (10 + x * (9 + x * (8 + x * (7 + x * (6 + x * (5 + x * (4 + x * (3 + x * (2 + x))))))))))))),[-1b-1;1b-1],1b-60,doubledouble,p,"timplementpoly.implementation.c",honorcoeffprec,"timplementpoly.implementation.gappa") returns 15 + x * (14 + x * (13 + x * (12 + x * (11 + x * (10 + x * (9 + x * (8 + x * (7 + x * (6 + x * (5 + x * (4 + x * (3 + x * (2 + x))))))))))))) and produces the following code:
+
+ /*
+--- a/tests-lib/timplementpoly.reference
++++ b/tests-lib/timplementpoly.reference
+@@ -267,7 +267,7 @@
+ Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.
+ Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.
+ Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.
+-Caught the message: an error has occured during the determination of the required precisions.
++Caught the message: an error has occurred during the determination of the required precisions.
+ implementpoly(15 + x * (14 + x * (13 + x * (12 + x * (11 + x * (10 + x * (9 + x * (8 + x * (7 + x * (6 + x * (5 + x * (4 + x * (3 + x * (2 + x))))))))))))),[-1b-1;1b-1],1b-60,doubledouble,p,"timplementpoly.implementation.c",honorcoeffprec,"timplementpoly.implementation.gappa") returns 15 + x * (14 + x * (13 + x * (12 + x * (11 + x * (10 + x * (9 + x * (8 + x * (7 + x * (6 + x * (5 + x * (4 + x * (3 + x * (2 + x))))))))))))) and produces the following code:
+
+ /*
+--- a/tests-lib/tv_implementpoly.c
++++ b/tests-lib/tv_implementpoly.c
+@@ -26,7 +26,7 @@
+ sollya_lib_printf("Caught the message: a coefficient in a Horner scheme is not guaranteed to also be twice as large as the subpolynomial.\n");
+ break;
+ case SOLLYA_MSG_ERROR_ON_DETERMINING_THE_REQUIRED_PRECISIONS:
+- sollya_lib_printf("Caught the message: an error has occured during the determination of the required precisions.\n");
++ sollya_lib_printf("Caught the message: an error has occurred during the determination of the required precisions.\n");
+ break;
+ default:
+ sollya_lib_printf("Unexpected warning %d.\n", message);
+--- a/library.c
++++ b/library.c
+@@ -753,7 +753,7 @@
+ if (dlerror() == NULL) {
+ res = myFunction();
+ if (res) {
+- printMessage(1,SOLLYA_MSG_LIBRARY_CLOSER_ERROR,"Warning: while closing libary \"%s\", the function \"sollya_external_lib_close\" was found and called but it signaled the error %d\n",currLibHandle->libraryName,res);
++ printMessage(1,SOLLYA_MSG_LIBRARY_CLOSER_ERROR,"Warning: while closing library \"%s\", the function \"sollya_external_lib_close\" was found and called but it signaled the error %d\n",currLibHandle->libraryName,res);
+ }
+ }
+ }
+@@ -776,7 +776,7 @@
+ if (!(currLibHandle->shallowCopy)) {
+ dlerror();
+ if (dlclose(currLibHandle->libraryDescriptor) != 0)
+- printMessage(1,SOLLYA_MSG_COULD_NOT_CLOSE_LIBRARY,"Warning: could not close libary \"%s\": %s\n",currLibHandle->libraryName,dlerror());
++ printMessage(1,SOLLYA_MSG_COULD_NOT_CLOSE_LIBRARY,"Warning: could not close library \"%s\": %s\n",currLibHandle->libraryName,dlerror());
+ }
+ safeFree(currLibHandle->libraryName);
+ safeFree(currLibHandle);
+@@ -986,7 +986,7 @@
+ if (dlerror() == NULL) {
+ res = myFunction();
+ if (res) {
+- printMessage(1,SOLLYA_MSG_LIBRARY_CLOSER_ERROR,"Warning: while closing libary \"%s\", the function \"sollya_external_lib_close\" was found and called but it signaled the error %d\n",currLibHandle->libraryName,res);
++ printMessage(1,SOLLYA_MSG_LIBRARY_CLOSER_ERROR,"Warning: while closing library \"%s\", the function \"sollya_external_lib_close\" was found and called but it signaled the error %d\n",currLibHandle->libraryName,res);
+ }
+ }
+ }
+@@ -1009,7 +1009,7 @@
+ if (!(currLibHandle->shallowCopy)) {
+ dlerror();
+ if (dlclose(currLibHandle->libraryDescriptor) != 0)
+- printMessage(1,SOLLYA_MSG_COULD_NOT_CLOSE_LIBRARY,"Warning: could not close libary \"%s\": %s\n",currLibHandle->libraryName,dlerror());
++ printMessage(1,SOLLYA_MSG_COULD_NOT_CLOSE_LIBRARY,"Warning: could not close library \"%s\": %s\n",currLibHandle->libraryName,dlerror());
+ }
+ safeFree(currLibHandle->libraryName);
+ safeFree(currLibHandle);
+@@ -1244,7 +1244,7 @@
+ if (dlerror() == NULL) {
+ res = myFunction();
+ if (res) {
+- printMessage(1,SOLLYA_MSG_LIBRARY_CLOSER_ERROR,"Warning: while closing libary \"%s\", the function \"sollya_external_lib_close\" was found and called but it signaled the error %d\n",currLibHandle->libraryName,res);
++ printMessage(1,SOLLYA_MSG_LIBRARY_CLOSER_ERROR,"Warning: while closing library \"%s\", the function \"sollya_external_lib_close\" was found and called but it signaled the error %d\n",currLibHandle->libraryName,res);
+ }
+ }
+ }
+@@ -1268,7 +1268,7 @@
+ if (!(currLibHandle->shallowCopy)) {
+ dlerror();
+ if (dlclose(currLibHandle->libraryDescriptor) != 0)
+- printMessage(1,SOLLYA_MSG_COULD_NOT_CLOSE_LIBRARY,"Warning: could not close libary \"%s\": %s\n",currLibHandle->libraryName,dlerror());
++ printMessage(1,SOLLYA_MSG_COULD_NOT_CLOSE_LIBRARY,"Warning: could not close library \"%s\": %s\n",currLibHandle->libraryName,dlerror());
+ }
+ safeFree(currLibHandle->libraryName);
+ safeFree(currLibHandle);
+--- a/remez.c
++++ b/remez.c
+@@ -2359,7 +2359,7 @@
+ sollya_mpfi_interv_fr(tmp1, a, b);
+ evaluateInterval(tmp2, weight, NULL, tmp1);
+ if (sollya_mpfi_has_infinity(tmp2)) {
+- printMessage(1, SOLLYA_MSG_GUESSDEGREE_POSSIBLE_SINGULAR_WEIGHT, "Warning: guessdegree: the weight function might not be continuous over the given interval.\nThis is not allowed but it is the user's responsability to check it.\nNo other test will be performed, but be aware that the command is allowed to return anything in this case.\n");
++ printMessage(1, SOLLYA_MSG_GUESSDEGREE_POSSIBLE_SINGULAR_WEIGHT, "Warning: guessdegree: the weight function might not be continuous over the given interval.\nThis is not allowed but it is the user's responsibility to check it.\nNo other test will be performed, but be aware that the command is allowed to return anything in this case.\n");
+ }
+ sollya_mpfi_clear(tmp1);
+ sollya_mpfi_clear(tmp2);
+--- a/help.h
++++ b/help.h
+@@ -74,7 +74,7 @@
+ #define HELP_ACOS_TEXT "Name: acos\n==> the arccosine function.\n\nLibrary names:\n sollya_obj_t sollya_lib_acos(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_acos(sollya_obj_t)\n #define SOLLYA_ACOS(x) sollya_lib_build_function_acos(x)\n\nDescription: \n * acos is the inverse of the function cos: acos(y) is the unique number \n x in [0; Pi] such that cos(x)=y.\n\n * It is defined only for y in [-1; 1].\n\nSee also: cos\n"
+ #define HELP_ACOSH_TEXT "Name: acosh\n==> the arg-hyperbolic cosine function.\n\nLibrary names:\n sollya_obj_t sollya_lib_acosh(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_acosh(sollya_obj_t)\n #define SOLLYA_ACOSH(x) sollya_lib_build_function_acosh(x)\n\nDescription: \n * acosh is the inverse of the function cosh: acosh(y) is the unique number \n x in [0; +Inf] such that cosh(x)=y.\n\n * It is defined only for y in [0; +Inf].\n\nSee also: cosh\n"
+ #define HELP_AND_TEXT "Name: &&\n==> boolean AND operator\n\nLibrary name:\n sollya_obj_t sollya_lib_and(sollya_obj_t, sollya_obj_t)\n\nUsage: \n {expr1} && {expr2} : (boolean, boolean) -> boolean\n\nParameters: \n {expr1} and {expr2} represent boolean expressions\n\nDescription: \n * && evaluates to the boolean AND of the two\n boolean expressions {expr1} and {expr2}. && evaluates to \n true iff both {expr1} and {expr2} evaluate to true.\n\nExample 1: \n > true && false;\ [...]
+-#define HELP_ANNOTATEFUNCTION_TEXT "Name: annotatefunction\n==> Annotates a Sollya function object with an approximation that is faster to evaluate\n\nLibrary names:\n sollya_obj_t sollya_lib_annotatefunction(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, sollya_obj_t, ...);\n sollya_obj_t sollya_lib_v_annotatefunction(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, sollya_obj_t,\n [...]
++#define HELP_ANNOTATEFUNCTION_TEXT "Name: annotatefunction\n==> Annotates a Sollya function object with an approximation that is faster to evaluate\n\nLibrary names:\n sollya_obj_t sollya_lib_annotatefunction(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, sollya_obj_t, ...);\n sollya_obj_t sollya_lib_v_annotatefunction(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, sollya_obj_t,\n [...]
+ #define HELP_APPEND_TEXT "Name: :.\n==> add an element at the end of a list.\n\nLibrary name:\n sollya_obj_t sollya_lib_append(sollya_obj_t, sollya_obj_t)\n\nUsage: \n {L}:.{x} : (list, any type) -> list\n\nParameters: \n {L} is a list (possibly empty).\n {x} is an object of any type.\n\nDescription: \n * :. adds the element {x} at the end of the list {L}.\n\n * Note that since {x} may be of any type, it can in particular be a list.\n\nExample 1: \n > [|2,3,4|]:.5;\n [|2 [...]
+ #define HELP_APPROX_TEXT "Name: ~\n==> floating-point evaluation of a constant expression\n\nLibrary name:\n sollya_obj_t sollya_lib_approx(sollya_obj_t)\n\nUsage: \n ~ {expression} : function -> constant\n ~ {something} : any type -> any type\n\nParameters: \n {expression} stands for an expression that is a constant\n {something} stands for some language element that is not a constant expression\n\nDescription: \n * ~ {expression} evaluates the {expression} that is a consta [...]
+ #define HELP_ASCIIPLOT_TEXT "Name: asciiplot\n==> plots a function in a range using ASCII characters\n\nLibrary name:\n void sollya_lib_asciiplot(sollya_obj_t, sollya_obj_t)\n\nUsage: \n asciiplot({function}, {range}) : (function, range) -> void\n\nParameters: \n {function} represents a function to be plotted\n {range} represents a range the function is to be plotted in \n\nDescription: \n * asciiplot plots the function {function} in range {range} using ASCII\n characters. [...]
+@@ -82,7 +82,7 @@
+ #define HELP_ASINH_TEXT "Name: asinh\n==> the arg-hyperbolic sine function.\n\nLibrary names:\n sollya_obj_t sollya_lib_asinh(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_asinh(sollya_obj_t)\n #define SOLLYA_ASINH(x) sollya_lib_build_function_asinh(x)\n\nDescription: \n * asinh is the inverse of the function sinh: asinh(y) is the unique number \n x in [-Inf; +Inf] such that sinh(x)=y.\n\n * It is defined for every real number y.\n\nSee also: sinh\n"
+ #define HELP_ATAN_TEXT "Name: atan\n==> the arctangent function.\n\nLibrary names:\n sollya_obj_t sollya_lib_atan(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_atan(sollya_obj_t)\n #define SOLLYA_ATAN(x) sollya_lib_build_function_atan(x)\n\nDescription: \n * atan is the inverse of the function tan: atan(y) is the unique number \n x in [-Pi/2; Pi/2] such that tan(x)=y.\n\n * It is defined for every real number y.\n\nSee also: tan\n"
+ #define HELP_ATANH_TEXT "Name: atanh\n==> the hyperbolic arctangent function.\n\nLibrary names:\n sollya_obj_t sollya_lib_atanh(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_atanh(sollya_obj_t)\n #define SOLLYA_ATANH(x) sollya_lib_build_function_atanh(x)\n\nDescription: \n * atanh is the inverse of the function tanh: atanh(y) is the unique number \n x in [-Inf; +Inf] such that tanh(x)=y.\n\n * It is defined only for y in [-1; 1].\n\nSee also: tanh\n"
+-#define HELP_AUTODIFF_TEXT "Name: autodiff\n==> Computes the first n derivatives of a function at a point or over an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_autodiff(sollya_obj_t, sollya_obj_t, sollya_obj_t)\n\nUsage: \n autodiff({f}, {n}, {x0}) : (function, integer, constant) -> list\n autodiff({f}, {n}, {I}) : (function, integer, range) -> list\n\nParameters: \n {f} is the function to be differentiated.\n {n} is the order of differentiation.\n {x0} is the poin [...]
++#define HELP_AUTODIFF_TEXT "Name: autodiff\n==> Computes the first n derivatives of a function at a point or over an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_autodiff(sollya_obj_t, sollya_obj_t, sollya_obj_t)\n\nUsage: \n autodiff({f}, {n}, {x0}) : (function, integer, constant) -> list\n autodiff({f}, {n}, {I}) : (function, integer, range) -> list\n\nParameters: \n {f} is the function to be differentiated.\n {n} is the order of differentiation.\n {x0} is the poin [...]
+ #define HELP_AUTOSIMPLIFY_TEXT "Name: autosimplify\n==> activates, deactivates or inspects the value of the automatic simplification state variable\n\nLibrary names:\n void sollya_lib_set_autosimplify_and_print(sollya_obj_t)\n void sollya_lib_set_autosimplify(sollya_obj_t)\n sollya_obj_t sollya_lib_get_autosimplify()\n\nUsage: \n autosimplify = {activation value} : on|off -> void\n autosimplify = {activation value} ! : on|off -> void\n autosimplify : on|off\n\nParameters: \n [...]
+ #define HELP_BASHEVALUATE_TEXT "Name: bashevaluate\n==> executes a shell command and returns its output as a string\n\nLibrary names:\n sollya_obj_t sollya_lib_bashevaluate(sollya_obj_t, ...)\n sollya_obj_t sollya_lib_v_bashevaluate(sollya_obj_t, va_list)\n\nUsage: \n bashevaluate({command}) : string -> string\n bashevaluate({command},{input}) : (string, string) -> string\n\nParameters: \n {command} is a command to be interpreted by the shell.\n {input} is an optional charac [...]
+ #define HELP_BASHEXECUTE_TEXT "Name: bashexecute\n==> executes a shell command.\n\nLibrary name:\n void sollya_lib_bashexecute(sollya_obj_t)\n\nUsage: \n bashexecute({command}) : string -> void\n\nParameters: \n {command} is a command to be interpreted by the shell.\n\nDescription: \n * bashexecute({command}) lets the shell interpret {command}. It is useful to execute\n some external code within Sollya.\n\n * bashexecute does not return anything. It just executes its argumen [...]
+@@ -91,7 +91,7 @@
+ #define HELP_BOOLEAN_TEXT "Name: boolean\n==> keyword representing a boolean type \n\nLibrary name:\n SOLLYA_EXTERNALPROC_TYPE_BOOLEAN\n\nUsage: \n boolean : type type\n\nDescription: \n * boolean represents the boolean type for declarations\n of external procedures by means of externalproc.\n \n Remark that in contrast to other indicators, type indicators like\n boolean cannot be handled outside the externalproc context. In\n particular, they cannot be assigned to var [...]
+ #define HELP_CANONICAL_TEXT "Name: canonical\n==> brings all polynomial subexpressions of an expression to canonical form or activates, deactivates or checks canonical form printing\n\nLibrary names:\n void sollya_lib_set_canonical_and_print(sollya_obj_t)\n void sollya_lib_set_canonical(sollya_obj_t)\n sollya_obj_t sollya_lib_canonical(sollya_obj_t)\n sollya_obj_t sollya_lib_get_canonical()\n\nUsage: \n canonical({function}) : function -> function\n canonical = {activation v [...]
+ #define HELP_CEIL_TEXT "Name: ceil\n==> the usual function ceil.\n\nLibrary names:\n sollya_obj_t sollya_lib_ceil(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_ceil(sollya_obj_t)\n #define SOLLYA_CEIL(x) sollya_lib_build_function_ceil(x)\n\nDescription: \n * ceil is defined as usual: ceil(x) is the smallest integer y such that y >= x.\n\n * It is defined for every real number x.\n\nSee also: floor, nearestint, round, RU\n"
+-#define HELP_CHEBYSHEVFORM_TEXT "Name: chebyshevform\n==> computes a rigorous polynomial approximation\n\nLibrary name:\n sollya_obj_t sollya_lib_chebyshevform(sollya_obj_t, sollya_obj_t,\n sollya_obj_t);\n\nUsage: \n chebyshevform({f}, {n}, {I}) : (function, integer, range) -> list\n\nParameters: \n {f} is the function to be approximated.\n {n} is the degree of the polynomial that must approximate {f}.\n {I} is the interval over which t [...]
++#define HELP_CHEBYSHEVFORM_TEXT "Name: chebyshevform\n==> computes a rigorous polynomial approximation\n\nLibrary name:\n sollya_obj_t sollya_lib_chebyshevform(sollya_obj_t, sollya_obj_t,\n sollya_obj_t);\n\nUsage: \n chebyshevform({f}, {n}, {I}) : (function, integer, range) -> list\n\nParameters: \n {f} is the function to be approximated.\n {n} is the degree of the polynomial that must approximate {f}.\n {I} is the interval over which t [...]
+ #define HELP_CHECKINFNORM_TEXT "Name: checkinfnorm\n==> checks whether the infinity norm of a function is bounded by a value\n\nLibrary name:\n sollya_obj_t sollya_lib_checkinfnorm(sollya_obj_t, sollya_obj_t,\n sollya_obj_t)\n\nUsage: \n checkinfnorm({function},{range},{constant}) : (function, range, constant) -> boolean\n\nParameters: \n {function} represents the function whose infinity norm is to be checked\n {range} represents the infini [...]
+ #define HELP_COEFF_TEXT "Name: coeff\n==> gives the coefficient of degree n of a polynomial\n\nLibrary name:\n sollya_obj_t sollya_lib_coeff(sollya_obj_t, sollya_obj_t)\n\nUsage: \n coeff({f},{n}) : (function, integer) -> constant\n\nParameters: \n {f} is a function (usually a polynomial).\n {n} is an integer\n\nDescription: \n * If {f} is a polynomial, coeff({f}, {n}) returns the coefficient of\n degree {n} in {f}.\n\n * If {f} is a function that is not a polynomial, coef [...]
+ #define HELP_COMPOSEPOLYNOMIALS_TEXT "Name: composepolynomials\n==> computes an approximation to the composition of two polynomials and bounds the error\n\nLibrary name:\n sollya_obj_t sollya_lib_composepolynomials(sollya_obj_t, sollya_obj_t)\n\nUsage: \n composepolynomials({p},{q}) : (function, function) -> structure\n\nParameters: \n {p} and {q} are polynomials\n\nDescription: \n * Given two polynomials p and q, composepolynomials({p}, {q}) computes an \n approximation r to [...]
+@@ -111,7 +111,7 @@
+ #define HELP_DIFF_TEXT "Name: diff\n==> differentiation operator\n\nLibrary name:\n sollya_obj_t sollya_lib_diff(sollya_obj_t)\n\nUsage: \n diff({function}) : function -> function\n\nParameters: \n {function} represents a function\n\nDescription: \n * diff({function}) returns the symbolic derivative of the function\n {function} by the global free variable.\n \n If {function} represents a function symbol that is externally bound\n to some code by library, the derivative [...]
+ #define HELP_DIRTYFINDZEROS_TEXT "Name: dirtyfindzeros\n==> gives a list of numerical values listing the zeros of a function on an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_dirtyfindzeros(sollya_obj_t, sollya_obj_t)\n\nUsage: \n dirtyfindzeros({f},{I}) : (function, range) -> list\n\nParameters: \n {f} is a function.\n {I} is an interval.\n\nDescription: \n * dirtyfindzeros({f},{I}) returns a list containing some zeros of {f} in the\n interval {I}. The values in th [...]
+ #define HELP_DIRTYINFNORM_TEXT "Name: dirtyinfnorm\n==> computes a numerical approximation of the infinity norm of a function on an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_dirtyinfnorm(sollya_obj_t, sollya_obj_t)\n\nUsage: \n dirtyinfnorm({f},{I}) : (function, range) -> constant\n\nParameters: \n {f} is a function.\n {I} is an interval.\n\nDescription: \n * dirtyinfnorm({f},{I}) computes an approximation of the infinity norm of the \n given function f on the int [...]
+-#define HELP_DIRTYINTEGRAL_TEXT "Name: dirtyintegral\n==> computes a numerical approximation of the integral of a function on an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_dirtyintegral(sollya_obj_t, sollya_obj_t)\n\nUsage: \n dirtyintegral({f},{I}) : (function, range) -> constant\n\nParameters: \n {f} is a function.\n {I} is an interval.\n\nDescription: \n * dirtyintegral({f},{I}) computes an approximation of the integral of {f} on {I}.\n\n * The interval must be [...]
++#define HELP_DIRTYINTEGRAL_TEXT "Name: dirtyintegral\n==> computes a numerical approximation of the integral of a function on an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_dirtyintegral(sollya_obj_t, sollya_obj_t)\n\nUsage: \n dirtyintegral({f},{I}) : (function, range) -> constant\n\nParameters: \n {f} is a function.\n {I} is an interval.\n\nDescription: \n * dirtyintegral({f},{I}) computes an approximation of the integral of {f} on {I}.\n\n * The interval must be [...]
+ #define HELP_DIRTYSIMPLIFY_TEXT "Name: dirtysimplify\n==> simplifies an expression representing a function\n\nLibrary name:\n sollya_obj_t sollya_lib_dirtysimplify(sollya_obj_t)\n\nUsage: \n dirtysimplify({function}) : function -> function\n\nParameters: \n {function} represents the expression to be simplified\n\nDescription: \n * The command dirtysimplify simplifies constant subexpressions of the\n expression given in argument representing the function\n {function}. Those c [...]
+ #define HELP_DISPLAY_TEXT "Name: display\n==> sets or inspects the global variable specifying number notation\n\nLibrary names:\n void sollya_lib_set_display_and_print(sollya_obj_t)\n void sollya_lib_set_display(sollya_obj_t)\n sollya_obj_t sollya_lib_get_display()\n\nUsage: \n display = {notation value} : decimal|binary|dyadic|powers|hexadecimal -> void\n display = {notation value} ! : decimal|binary|dyadic|powers|hexadecimal -> void\n display : decimal|binary|dyadic|powers [...]
+ #define HELP_DIVIDE_TEXT "Name: /\n==> division function\n\nLibrary names:\n sollya_obj_t sollya_lib_div(sollya_obj_t, sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_div(sollya_obj_t, sollya_obj_t)\n #define SOLLYA_DIV(x,y) sollya_lib_build_function_div((x), (y))\n\nUsage: \n {function1} / {function2} : (function, function) -> function\n {interval1} / {interval2} : (range, range) -> range\n {interval1} / {constant} : (range, constant) -> range\n {interval1} / {cons [...]
+@@ -123,7 +123,7 @@
+ #define HELP_ERF_TEXT "Name: erf\n==> the error function.\n\nLibrary names:\n sollya_obj_t sollya_lib_erf(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_erf(sollya_obj_t)\n #define SOLLYA_ERF(x) sollya_lib_build_function_erf(x)\n\nDescription: \n * erf is the error function defined by:\n erf(x) = (2/sqrt(Pi)) * integral(exp(-t^2), [0;x])\n\n * It is defined for every real number x.\n\nSee also: erfc, exp\n"
+ #define HELP_ERFC_TEXT "Name: erfc\n==> the complementary error function.\n\nLibrary names:\n sollya_obj_t sollya_lib_erfc(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_erfc(sollya_obj_t)\n #define SOLLYA_ERFC(x) sollya_lib_build_function_erfc(x)\n\nDescription: \n * erfc is the complementary error function defined by erfc(x) = 1 - erf(x).\n\n * It is defined for every real number x.\n\nSee also: erf\n"
+ #define HELP_ERROR_TEXT "Name: error\n==> expression representing an input that is wrongly typed or that cannot be executed\n\nLibrary names:\n sollya_obj_t sollya_lib_error()\n int sollya_lib_obj_is_error(sollya_obj_t)\n\nUsage: \n error : error\n\nDescription: \n * The variable error represents an input during the evaluation of\n which a type or execution error has been detected or is to be\n detected. Inputs that are syntactically correct but wrongly typed\n evaluate to [...]
+-#define HELP_EVALUATE_TEXT "Name: evaluate\n==> evaluates a function at a constant point or in a range\n\nLibrary name:\n sollya_obj_t sollya_lib_evaluate(sollya_obj_t, sollya_obj_t)\n\nUsage: \n evaluate({function}, {constant}) : (function, constant) -> constant | range\n evaluate({function}, {range}) : (function, range) -> range\n evaluate({function}, {function2}) : (function, function) -> function\n\nParameters: \n {function} represents a function\n {constant} represents [...]
++#define HELP_EVALUATE_TEXT "Name: evaluate\n==> evaluates a function at a constant point or in a range\n\nLibrary name:\n sollya_obj_t sollya_lib_evaluate(sollya_obj_t, sollya_obj_t)\n\nUsage: \n evaluate({function}, {constant}) : (function, constant) -> constant | range\n evaluate({function}, {range}) : (function, range) -> range\n evaluate({function}, {function2}) : (function, function) -> function\n\nParameters: \n {function} represents a function\n {constant} represents [...]
+ #define HELP_EXECUTE_TEXT "Name: execute\n==> executes the content of a file\n\nLibrary name:\n void sollya_lib_execute(sollya_obj_t)\n\nUsage: \n execute({filename}) : string -> void\n\nParameters: \n {filename} is a string representing a file name\n\nDescription: \n * execute opens the file indicated by {filename}, and executes the sequence of \n commands it contains. This command is evaluated at execution time: this way you\n can modify the file {filename} (for instance u [...]
+ #define HELP_EXP_TEXT "Name: exp\n==> the exponential function.\n\nLibrary names:\n sollya_obj_t sollya_lib_exp(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_exp(sollya_obj_t)\n #define SOLLYA_EXP(x) sollya_lib_build_function_exp(x)\n\nDescription: \n * exp is the usual exponential function defined as the solution of the\n ordinary differential equation y' = y with y(0)=1.\n\n * exp(x) is defined for every real number x.\n\nSee also: exp, log\n"
+ #define HELP_EXPAND_TEXT "Name: expand\n==> expands polynomial subexpressions\n\nLibrary name:\n sollya_obj_t sollya_lib_expand(sollya_obj_t)\n\nUsage: \n expand({function}) : function -> function\n\nParameters: \n {function} represents a function\n\nDescription: \n * expand({function}) expands all polynomial subexpressions in function\n {function} as far as possible. Factors of sums are multiplied out,\n power operators with constant positive integer exponents are replaced\ [...]
+@@ -152,7 +152,7 @@
+ #define HELP_HOPITALRECURSIONS_TEXT "Name: hopitalrecursions\n==> controls the number of recursion steps when applying L'Hopital's rule.\n\nLibrary names:\n void sollya_lib_set_hopitalrecursions_and_print(sollya_obj_t)\n void sollya_lib_set_hopitalrecursions(sollya_obj_t)\n sollya_obj_t sollya_lib_get_hopitalrecursions()\n\nUsage: \n hopitalrecursions = {n} : integer -> void\n hopitalrecursions = {n} ! : integer -> void\n hopitalrecursions : integer\n\nParameters: \n {n} r [...]
+ #define HELP_HORNER_TEXT "Name: horner\n==> brings all polynomial subexpressions of an expression to Horner form\n\nLibrary name:\n sollya_obj_t sollya_lib_horner(sollya_obj_t)\n\nUsage: \n horner({function}) : function -> function\n\nParameters: \n {function} represents the expression to be rewritten in Horner form\n\nDescription: \n * The command horner rewrites the expression representing the function\n {function} in a way such that all polynomial subexpressions (or the\n [...]
+ #define HELP_HP_TEXT "Name: HP\n==> short form for halfprecision\n\nSee also: halfprecision\n"
+-#define HELP_IMPLEMENTCONSTANT_TEXT "Name: implementconstant\n==> implements a constant in arbitrary precision\n\nLibrary names:\n void sollya_lib_implementconstant(sollya_obj_t, ...);\n void sollya_lib_v_implementconstant(sollya_obj_t, va_list);\n\nUsage: \n implementconstant({expr}) : constant -> void\n implementconstant({expr},{filename}) : (constant, string) -> void\n implementconstant({expr},{filename},{functionname}) : (constant, string, string) -> void\n\nDescription: \ [...]
++#define HELP_IMPLEMENTCONSTANT_TEXT "Name: implementconstant\n==> implements a constant in arbitrary precision\n\nLibrary names:\n void sollya_lib_implementconstant(sollya_obj_t, ...);\n void sollya_lib_v_implementconstant(sollya_obj_t, va_list);\n\nUsage: \n implementconstant({expr}) : constant -> void\n implementconstant({expr},{filename}) : (constant, string) -> void\n implementconstant({expr},{filename},{functionname}) : (constant, string, string) -> void\n\nDescription: \ [...]
+ #define HELP_IMPLEMENTPOLY_TEXT "Name: implementpoly\n==> implements a polynomial using double, double-double and triple-double arithmetic and generates a Gappa proof\n\nLibrary names:\n sollya_obj_t sollya_lib_implementpoly(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, sollya_obj_t,\n sollya_obj_t, sollya_obj_t, ...)\n sollya_obj_t sollya_lib_v_implementpoly(sollya_obj_t, sollya_obj_t,\n [...]
+ #define HELP_IN_TEXT "Name: in\n==> containment test operator\n\nLibrary name:\n sollya_obj_t sollya_lib_cmp_in(sollya_obj_t, sollya_obj_t)\n\nUsage: \n {expr} in {range1} : (constant, range) -> boolean\n {range1} in {range2} : (range, range) -> boolean\n\nParameters: \n {expr} represents a constant expression\n {range1} and {range2} represent ranges (intervals)\n\nDescription: \n * When its first operand is a constant expression {expr},\n the operator in evaluates to true [...]
+ #define HELP_INF_TEXT "Name: inf\n==> gives the lower bound of an interval.\n\nLibrary name:\n sollya_obj_t sollya_lib_inf(sollya_obj_t)\n\nUsage: \n inf({I}) : range -> constant\n inf({x}) : constant -> constant\n\nParameters: \n {I} is an interval.\n {x} is a real number.\n\nDescription: \n * Returns the lower bound of the interval {I}. Each bound of an interval has its \n own precision, so this command is exact, even if the current precision is too \n small to represe [...]
+@@ -213,16 +213,16 @@
+ #define HELP_QUAD_TEXT "Names: quad, QD\n==> rounding to the nearest IEEE 754 quad (binary128).\n\nLibrary names:\n sollya_obj_t sollya_lib_quad(sollya_obj_t)\n sollya_obj_t sollya_lib_quad_obj()\n int sollya_lib_is_quad_obj(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_quad(sollya_obj_t)\n #define SOLLYA_QD(x) sollya_lib_build_function_quad(x)\n\nDescription: \n * quad is both a function and a constant.\n\n * As a function, it rounds its argument to the nearest I [...]
+ #define HELP_QUIT_TEXT "Name: quit\n==> quits Sollya\n\nUsage: \n quit : void -> void\n\nDescription: \n * The command quit, when executed, stops the execution of a Sollya\n script and leaves the Sollya interpreter unless the quit command \n is executed in a Sollya script read into a main Sollya script by\n execute or #include.\n \n Upon exiting the Sollya interpreter, all state is thrown away, all\n memory is deallocated, all bound libraries are unbound and the\n tem [...]
+ #define HELP_RANGE_TEXT "Name: range\n==> keyword representing a range type \n\nLibrary name:\n SOLLYA_EXTERNALPROC_TYPE_RANGE\n\nUsage: \n range : type type\n\nDescription: \n * range represents the range type for declarations\n of external procedures by means of externalproc.\n \n Remark that in contrast to other indicators, type indicators like\n range cannot be handled outside the externalproc context. In\n particular, they cannot be assigned to variables.\n\nSee a [...]
+-#define HELP_RATIONALAPPROX_TEXT "Name: rationalapprox\n==> returns a fraction close to a given number.\n\nLibrary name:\n sollya_obj_t sollya_lib_rationalapprox(sollya_obj_t, sollya_obj_t)\n\nUsage: \n rationalapprox({x},{n}) : (constant, integer) -> function\n\nParameters: \n {x} is a number to approximate.\n {n} is a integer (representing a format).\n\nDescription: \n * rationalapprox({x},{n}) returns a constant function of the form a/b where a and b are\n integers. The v [...]
++#define HELP_RATIONALAPPROX_TEXT "Name: rationalapprox\n==> returns a fraction close to a given number.\n\nLibrary name:\n sollya_obj_t sollya_lib_rationalapprox(sollya_obj_t, sollya_obj_t)\n\nUsage: \n rationalapprox({x},{n}) : (constant, integer) -> function\n\nParameters: \n {x} is a number to approximate.\n {n} is a integer (representing a format).\n\nDescription: \n * rationalapprox({x},{n}) returns a constant function of the form a/b where a and b are\n integers. The v [...]
+ #define HELP_RATIONALMODE_TEXT "Name: rationalmode\n==> global variable controlling if rational arithmetic is used or not.\n\nLibrary names:\n void sollya_lib_set_rationalmode_and_print(sollya_obj_t)\n void sollya_lib_set_rationalmode(sollya_obj_t)\n sollya_obj_t sollya_lib_get_rationalmode()\n\nUsage: \n rationalmode = {activation value} : on|off -> void\n rationalmode = {activation value} ! : on|off -> void\n rationalmode : on|off\n\nParameters: \n {activation value} con [...]
+ #define HELP_RD_TEXT "Name: RD\n==> constant representing rounding-downwards mode.\n\nLibrary names:\n sollya_obj_t sollya_lib_round_down()\n int sollya_lib_is_round_down(sollya_obj_t)\n\nDescription: \n * RD is used in command round to specify that the value x must be rounded\n to the greatest floating-point number y such that y <= x.\n\nExample 1: \n > display=binary!;\n > round(Pi,20,RD);\n 1.1001001000011111101_2 * 2^(1)\n\nSee also: RZ, RU, RN, round, floor\n"
+ #define HELP_READFILE_TEXT "Name: readfile\n==> reads the content of a file into a string variable\n\nUsage: \n readfile({filename}) : string -> string\n\nParameters: \n {filename} represents a character sequence indicating a file name\n\nDescription: \n * readfile opens the file indicated by {filename}, reads it and puts its\n contents in a character sequence of type string that is returned.\n \n If the file indicated by {filename} cannot be opened for reading, a\n warni [...]
+ #define HELP_READXML_TEXT "Name: readxml\n==> reads an expression written as a MathML-Content-Tree in a file\n\nLibrary name:\n sollya_obj_t sollya_lib_readxml(sollya_obj_t)\n\nUsage: \n readxml({filename}) : string -> function | error\n\nParameters: \n {filename} represents a character sequence indicating a file name\n\nDescription: \n * readxml({filename}) reads the first occurrence of a lambda\n application with one bounded variable on applications of the supported\n basi [...]
+ #define HELP_RELATIVE_TEXT "Name: relative\n==> indicates a relative error for externalplot, fpminimax or supnorm\n\nLibrary names:\n sollya_obj_t sollya_lib_relative()\n int sollya_lib_is_relative(sollya_obj_t)\n\nUsage: \n relative : absolute|relative\n\nDescription: \n * The use of relative in the command externalplot indicates that during\n plotting in externalplot a relative error is to be considered.\n \n See externalplot for details.\n\n * Used with fpminimax, re [...]
+-#define HELP_REMEZ_TEXT "Name: remez\n==> computes the minimax of a function on an interval.\n\nLibrary names:\n sollya_obj_t sollya_lib_remez(sollya_obj_t, sollya_obj_t, sollya_obj_t, ...)\n sollya_obj_t sollya_lib_v_remez(sollya_obj_t, sollya_obj_t, sollya_obj_t,\n va_list)\n\nUsage: \n remez({f}, {n}, {range}, {w}, {quality}, {bounds}) : (function, integer, range, function, constant, range) -> function\n remez({f}, {L}, {range}, {w}, {quality [...]
++#define HELP_REMEZ_TEXT "Name: remez\n==> computes the minimax of a function on an interval.\n\nLibrary names:\n sollya_obj_t sollya_lib_remez(sollya_obj_t, sollya_obj_t, sollya_obj_t, ...)\n sollya_obj_t sollya_lib_v_remez(sollya_obj_t, sollya_obj_t, sollya_obj_t,\n va_list)\n\nUsage: \n remez({f}, {n}, {range}, {w}, {quality}, {bounds}) : (function, integer, range, function, constant, range) -> function\n remez({f}, {L}, {range}, {w}, {quality [...]
+ #define HELP_RENAME_TEXT "Name: rename\n==> rename the free variable.\n\nLibrary name:\n void sollya_lib_name_free_variable(const char *)\n\nUsage: \n rename({ident1},{ident2}) : void\n\nParameters: \n {ident1} is the current name of the free variable.\n {ident2} is a fresh name.\n\nDescription: \n * rename permits a change of the name of the free variable. Sollya can handle\n only one free variable at a time. The first time in a session that an\n unbound name is used in a [...]
+ #define HELP_RESTART_TEXT "Name: restart\n==> brings Sollya back to its initial state\n\nUsage: \n restart : void -> void\n\nDescription: \n * The command restart brings Sollya back to its initial state. All\n current state is abandoned, all libraries unbound and all memory freed.\n \n The restart command has no effect when executed inside a Sollya\n script read into a main Sollya script using execute. It is executed\n in a Sollya script included by a #include macro.\n [...]
+-#define HELP_RETURN_TEXT "Name: return\n==> indicates an expression to be returned in a procedure\n\nUsage: \n return {expression} : void\n\nParameters: \n {expression} represents the expression to be returned\n\nDescription: \n * The keyword return allows for returning the (evaluated) expression\n {expression} at the end of a begin-end-block ({}-block) used as a\n Sollya procedure body. See proc for further details concerning\n Sollya procedure definitions.\n \n State [...]
++#define HELP_RETURN_TEXT "Name: return\n==> indicates an expression to be returned in a procedure\n\nUsage: \n return {expression} : void\n\nParameters: \n {expression} represents the expression to be returned\n\nDescription: \n * The keyword return allows for returning the (evaluated) expression\n {expression} at the end of a begin-end-block ({}-block) used as a\n Sollya procedure body. See proc for further details concerning\n Sollya procedure definitions.\n \n State [...]
+ #define HELP_REVERT_TEXT "Name: revert\n==> reverts a list.\n\nLibrary name:\n sollya_obj_t sollya_lib_revert(sollya_obj_t)\n\nUsage: \n revert({L}) : list -> list\n\nParameters: \n {L} is a list.\n\nDescription: \n * revert({L}) returns the same list, but with its elements in reverse order.\n\n * If {L} is an end-elliptic list, revert will fail with an error.\n\nExample 1: \n > revert([| |]);\n [| |]\n\nExample 2: \n > revert([|2,3,5,2,1,4|]);\n [|4, 1, 2, 5, 3, 2|]\n\n"
+ #define HELP_RN_TEXT "Name: RN\n==> constant representing rounding-to-nearest mode.\n\nLibrary names:\n sollya_obj_t sollya_lib_round_to_nearest()\n int sollya_lib_is_round_to_nearest(sollya_obj_t)\n\nDescription: \n * RN is used in command round to specify that the value must be rounded\n to the nearest representable floating-point number.\n\nExample 1: \n > display=binary!;\n > round(Pi,20,RN);\n 1.100100100001111111_2 * 2^(1)\n\nSee also: RD, RU, RZ, round, nearestint\n"
+ #define HELP_ROUND_TEXT "Name: round\n==> rounds a number to a floating-point format.\n\nLibrary name:\n sollya_obj_t sollya_lib_round(sollya_obj_t, sollya_obj_t, sollya_obj_t)\n\nUsage: \n round({x},{n},{mode}) : (constant, integer, RN|RZ|RU|RD) -> constant\n round({x},{format},{mode}) : (constant, HP|halfprecision|SG|single|D|double|DE|doubleextended|DD|doubledouble|QD|quad|TD|tripledouble, RN|RZ|RU|RD) -> constant\n\nParameters: \n {x} is a constant to be rounded.\n {n} is [...]
+@@ -249,8 +249,8 @@
+ #define HELP_TAIL_TEXT "Name: tail\n==> gives the tail of a list.\n\nLibrary name:\n sollya_obj_t sollya_lib_tail(sollya_obj_t)\n\nUsage: \n tail({L}) : list -> list\n\nParameters: \n {L} is a list.\n\nDescription: \n * tail({L}) returns the list {L} without its first element.\n\n * If {L} is empty, the command will fail with an error.\n\n * tail can also be used with end-elliptic lists. In this case, the result of\n tail is also an end-elliptic list.\n\nExample 1: \n > [...]
+ #define HELP_TAN_TEXT "Name: tan\n==> the tangent function.\n\nLibrary names:\n sollya_obj_t sollya_lib_tan(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_tan(sollya_obj_t)\n #define SOLLYA_TAN(x) sollya_lib_build_function_tan(x)\n\nDescription: \n * tan is the tangent function, defined by tan(x) = sin(x)/cos(x).\n\n * It is defined for every real number x that is not of the form n*Pi+Pi/2 where n is an integer.\n\nSee also: atan, cos, sin\n"
+ #define HELP_TANH_TEXT "Name: tanh\n==> the hyperbolic tangent function.\n\nLibrary names:\n sollya_obj_t sollya_lib_tanh(sollya_obj_t)\n sollya_obj_t sollya_lib_build_function_tanh(sollya_obj_t)\n #define SOLLYA_TANH(x) sollya_lib_build_function_tanh(x)\n\nDescription: \n * tanh is the hyperbolic tangent function, defined by tanh(x) = sinh(x)/cosh(x).\n\n * It is defined for every real number x.\n\nSee also: atanh, cosh, sinh\n"
+-#define HELP_TAYLOR_TEXT "Name: taylor\n==> computes a Taylor expansion of a function in a point\n\nLibrary name:\n sollya_obj_t sollya_lib_taylor(sollya_obj_t, sollya_obj_t, sollya_obj_t)\n\nUsage: \n taylor({function}, {degree}, {point}) : (function, integer, constant) -> function\n\nParameters: \n {function} represents the function to be expanded\n {degree} represents the degree of the expansion to be delivered\n {point} represents the point in which the function is to be d [...]
+-#define HELP_TAYLORFORM_TEXT "Name: taylorform\n==> computes a rigorous polynomial approximation (polynomial, interval error bound) for a function, based on Taylor expansions.\n\nLibrary names:\n sollya_obj_t sollya_lib_taylorform(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, ...)\n sollya_obj_t sollya_lib_v_taylorform(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, va_list)\n\nUsage: \n taylorform({f}, {n}, {x0 [...]
++#define HELP_TAYLOR_TEXT "Name: taylor\n==> computes a Taylor expansion of a function in a point\n\nLibrary name:\n sollya_obj_t sollya_lib_taylor(sollya_obj_t, sollya_obj_t, sollya_obj_t)\n\nUsage: \n taylor({function}, {degree}, {point}) : (function, integer, constant) -> function\n\nParameters: \n {function} represents the function to be expanded\n {degree} represents the degree of the expansion to be delivered\n {point} represents the point in which the function is to be d [...]
++#define HELP_TAYLORFORM_TEXT "Name: taylorform\n==> computes a rigorous polynomial approximation (polynomial, interval error bound) for a function, based on Taylor expansions.\n\nLibrary names:\n sollya_obj_t sollya_lib_taylorform(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, ...)\n sollya_obj_t sollya_lib_v_taylorform(sollya_obj_t, sollya_obj_t,\n sollya_obj_t, va_list)\n\nUsage: \n taylorform({f}, {n}, {x0 [...]
+ #define HELP_TAYLORRECURSIONS_TEXT "Name: taylorrecursions\n==> controls the number of recursion steps when applying Taylor's rule.\n\nLibrary names:\n void sollya_lib_set_taylorrecursions_and_print(sollya_obj_t)\n void sollya_lib_set_taylorrecursions(sollya_obj_t)\n sollya_obj_t sollya_lib_get_taylorrecursions()\n\nUsage: \n taylorrecursions = {n} : integer -> void\n taylorrecursions = {n} ! : integer -> void\n taylorrecursions : integer\n\nParameters: \n {n} represents t [...]
+ #define HELP_TD_TEXT "Name: TD\n==> short form for tripledouble\n\nSee also: tripledouble\n"
+ #define HELP_TIME_TEXT "Name: time\n==> procedure for timing Sollya code.\n\nUsage: \n time({code}) : code -> constant\n\nParameters: \n {code} is the code to be timed.\n\nDescription: \n * time permits timing a Sollya instruction, resp. a begin-end block\n of Sollya instructions. The timing value, measured in seconds, is returned\n as a Sollya constant (and not merely displayed as for timing). This \n permits performing computations of the timing measurement value inside So [...]
+--- a/fpminimax.cpp
++++ b/fpminimax.cpp
+@@ -386,9 +386,9 @@
+ break;
+ }
+
+- /* Nothing worked. Maybe, poly = g, in which case, the coefficient is implicitely 1,
+- or poly = constant and g = constant, in which case the coefficient is implicitely poly/g,
+- or poly = 0, in which case the coefficient is implicitely 0. */
++ /* Nothing worked. Maybe, poly = g, in which case, the coefficient is implicitly 1,
++ or poly = constant and g = constant, in which case the coefficient is implicitly poly/g,
++ or poly = 0, in which case the coefficient is implicitly 0. */
+ if (isSyntacticallyEqual(poly, g)) { *c = makeConstantDouble(1.0); return 1; }
+
+ if ( (isConstant(poly)) && (isConstant(g)) ) {
+--- a/general.c
++++ b/general.c
+@@ -2406,7 +2406,7 @@
+ sollyaPrintf("--noprompt : do not print a prompt symbol\n");
+ sollyaPrintf("--oldautoprint : print commas between autoprinted elements separated by commas\n");
+ sollyaPrintf("--oldexternalprocprint : print the signature of an external procedure when autoprinting\n");
+- sollyaPrintf("--oldrlwrapcompatible : acheive some compatibilty with old rlwrap versions by emitting wrong ANSI sequences (deprecated)\n");
++ sollyaPrintf("--oldrlwrapcompatible : acheive some compatibility with old rlwrap versions by emitting wrong ANSI sequences (deprecated)\n");
+ sollyaPrintf("--warninfile[append] <file> : print warning messages into a file instead on the standard output\n");
+ sollyaPrintf("--warnonstderr : print warning messages on error output instead on the standard output\n");
+ sollyaPrintf("\nFor help on %s commands type \"help;\" on the %s prompt\n",PACKAGE_NAME,PACKAGE_NAME);
+@@ -2606,13 +2606,13 @@
+ recoverEnvironmentReady = 1;
+ frameCorruptionPrinted = 0;
+ if (declaredSymbolTable != NULL) {
+- printMessage(1,SOLLYA_MSG_FRAME_STACK_HAS_BEEN_CORRUPTED,"Warning: a preceeding command interruption corrupted the variable frame stack.\n");
++ printMessage(1,SOLLYA_MSG_FRAME_STACK_HAS_BEEN_CORRUPTED,"Warning: a preceding command interruption corrupted the variable frame stack.\n");
+ frameCorruptionPrinted = 1;
+ freeDeclaredSymbolTable(declaredSymbolTable, freeThingOnVoid);
+ declaredSymbolTable = NULL;
+ }
+ if (backtraceStack != NULL) {
+- if (!frameCorruptionPrinted) printMessage(1,SOLLYA_MSG_FRAME_STACK_HAS_BEEN_CORRUPTED,"Warning: a preceeding command interruption corrupted the variable frame stack.\n");
++ if (!frameCorruptionPrinted) printMessage(1,SOLLYA_MSG_FRAME_STACK_HAS_BEEN_CORRUPTED,"Warning: a preceding command interruption corrupted the variable frame stack.\n");
+ freeBacktraceStack();
+ backtraceStack = NULL;
+ }
+--- a/worstcase.c
++++ b/worstcase.c
+@@ -144,7 +144,7 @@
+ }
+
+ if (mpfr_sgn(epsilon) < 0) {
+- printMessage(1,SOLLYA_MSG_GIVEN_EPS_MUST_BE_POSITIVE_TAKING_ABS,"Warning: the epsilon given is negative. Will take its abolute value.\n");
++ printMessage(1,SOLLYA_MSG_GIVEN_EPS_MUST_BE_POSITIVE_TAKING_ABS,"Warning: the epsilon given is negative. Will take its absolute value.\n");
+ mpfr_abs(epsilon,epsilon,GMP_RNDN);
+ }
+
+--- a/implement.c
++++ b/implement.c
+@@ -2205,7 +2205,7 @@
+ }
+ if (mpfr_sub(temp,temp,temp2,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+- printMessage(1,SOLLYA_MSG_ROUNDING_ON_INTERNAL_HANDLING_OF_A_COEFFICIENT,"Warning: a rounding occurred on internal handling (on a substraction) of the %dth coefficient.\n");
++ printMessage(1,SOLLYA_MSG_ROUNDING_ON_INTERNAL_HANDLING_OF_A_COEFFICIENT,"Warning: a rounding occurred on internal handling (on a subtraction) of the %dth coefficient.\n");
+ }
+ res = 0;
+ }
+@@ -2221,7 +2221,7 @@
+ }
+ if (mpfr_sub(temp,temp,temp2,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+- printMessage(1,SOLLYA_MSG_ROUNDING_ON_INTERNAL_HANDLING_OF_A_COEFFICIENT,"Warning: a rounding occurred on internal handling (on a substraction) of the %dth coefficient.\n");
++ printMessage(1,SOLLYA_MSG_ROUNDING_ON_INTERNAL_HANDLING_OF_A_COEFFICIENT,"Warning: a rounding occurred on internal handling (on a subtraction) of the %dth coefficient.\n");
+ }
+ res = 0;
+ }
+@@ -2237,7 +2237,7 @@
+ }
+ if (mpfr_sub(temp,temp,temp2,GMP_RNDN) != 0) {
+ if (!noRoundingWarnings) {
+- printMessage(1,SOLLYA_MSG_ROUNDING_ON_INTERNAL_HANDLING_OF_A_COEFFICIENT,"Warning: a rounding occurred on internal handling (on a substraction) of the %dth coefficient.\n");
++ printMessage(1,SOLLYA_MSG_ROUNDING_ON_INTERNAL_HANDLING_OF_A_COEFFICIENT,"Warning: a rounding occurred on internal handling (on a subtraction) of the %dth coefficient.\n");
+ }
+ res = 0;
+ }
+--- a/infnorm.c
++++ b/infnorm.c
+@@ -1718,7 +1718,7 @@
+
+ if (mpfr_number_p(al) && mpfr_number_p(ar)) {
+
+- printMessage(8,SOLLYA_MSG_DECORRELATION_INTERVAL_ADDITION_OR_SUBTRACTION,"Information: decorrelating an interval substraction.\n");
++ printMessage(8,SOLLYA_MSG_DECORRELATION_INTERVAL_ADDITION_OR_SUBTRACTION,"Information: decorrelating an interval subtraction.\n");
+
+ sollya_mpfi_intersect(stack3,stack3,temp1);
+ if (!noExcludes) {
diff --git a/debian/patches/upstream-01-lintian-spelling-error-silence--massive.patch b/debian/patches/upstream-01-lintian-spelling-error-silence--massive.patch
new file mode 100644
index 0000000..76ce7b9
--- /dev/null
+++ b/debian/patches/upstream-01-lintian-spelling-error-silence--massive.patch
@@ -0,0 +1,1185 @@
+Description: source typo
+ Correct massively the spelling error `particularily' --> `particularly'
+ as reported by lintian in some binraries; meant to silence lintian and
+ eventually to be submitted to the upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Comment: spelling-error-in-binary
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-18
+
+--- a/README
++++ b/README
+@@ -1,6 +1,6 @@
+ Sollya is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/assignment.c
++++ b/assignment.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/assignment.h
++++ b/assignment.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/autodiff.c
++++ b/autodiff.c
+@@ -29,7 +29,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/autodiff.h
++++ b/autodiff.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/bitfields.c
++++ b/bitfields.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/bitfields.h
++++ b/bitfields.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chain.c
++++ b/chain.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chain.h
++++ b/chain.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevform.c
++++ b/chebyshevform.c
+@@ -10,7 +10,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevform.h
++++ b/chebyshevform.h
+@@ -10,7 +10,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevformaux.c
++++ b/chebyshevformaux.c
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevformaux.h
++++ b/chebyshevformaux.h
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/double.c
++++ b/double.c
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/double.h
++++ b/double.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/execute.c
++++ b/execute.c
+@@ -29,7 +29,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/execute.h
++++ b/execute.h
+@@ -24,7 +24,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/expression.c
++++ b/expression.c
+@@ -30,7 +30,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/expression.h
++++ b/expression.h
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/external.c
++++ b/external.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/external.h
++++ b/external.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/externalfun.c
++++ b/externalfun.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/externalproc.c
++++ b/externalproc.c
+@@ -16,7 +16,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/fpminimax.cpp
++++ b/fpminimax.cpp
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/fpminimax.h
++++ b/fpminimax.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/general.c
++++ b/general.c
+@@ -26,7 +26,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/general.h
++++ b/general.h
+@@ -26,7 +26,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hash.c
++++ b/hash.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hash.h
++++ b/hash.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/help.h
++++ b/help.h
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hooks.c
++++ b/hooks.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hooks.h
++++ b/hooks.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/implement.c
++++ b/implement.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -70,21 +70,21 @@
+ #define MIN(a,b) (a > b ? b : a)
+
+ void emitLegalNoticeAndDisclaimer(FILE *fd) {
+- sollyaFprintf(fd, "/*\n");
+- sollyaFprintf(fd, " This code was generated using non-trivial code generation commands of\n");
+- sollyaFprintf(fd, " the Sollya software program.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " Before using, modifying and/or integrating this code into other\n");
+- sollyaFprintf(fd, " software, review the copyright and license status of this generated\n");
+- sollyaFprintf(fd, " code. In particular, see the exception below.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " Sollya is\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " Copyright 2006-2016 by\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " Laboratoire de l'Informatique du Parallelisme, UMR CNRS - ENS Lyon -\n");
+- sollyaFprintf(fd, " UCB Lyon 1 - INRIA 5668,\n");
+- sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, "/*\n");
++ sollyaFprintf(fd, " This code was generated using non-trivial code generation commands of\n");
++ sollyaFprintf(fd, " the Sollya software program.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " Before using, modifying and/or integrating this code into other\n");
++ sollyaFprintf(fd, " software, review the copyright and license status of this generated\n");
++ sollyaFprintf(fd, " code. In particular, see the exception below.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " Sollya is\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " Copyright 2006-2016 by\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " Laboratoire de l'Informatique du Parallelisme, UMR CNRS - ENS Lyon -\n");
++ sollyaFprintf(fd, " UCB Lyon 1 - INRIA 5668,\n");
++ sollyaFprintf(fd, " \n");
+ sollyaFprintf(fd, " LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2)\n");
+ sollyaFprintf(fd, " \n");
+ sollyaFprintf(fd, " Laboratoire d'Informatique de Paris 6 - Équipe PEQUAN\n");
+@@ -100,76 +100,76 @@
+ sollyaFprintf(fd, " Sorbonne Universités, UPMC Univ Paris 06,\n");
+ sollyaFprintf(fd, " CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris\n");
+ sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " and by\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " Centre de recherche INRIA Sophia-Antipolis Mediterranee, equipe APICS,\n");
+- sollyaFprintf(fd, " Sophia Antipolis, France.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " Contributors Ch. Lauter, S. Chevillard, M. Joldes, M. Mezzarobba\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " christoph.lauter at ens-lyon.org\n");
+- sollyaFprintf(fd, " sylvain.chevillard at ens-lyon.org\n");
+- sollyaFprintf(fd, " joldes at laas.fr\n");
++ sollyaFprintf(fd, " and by\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " Centre de recherche INRIA Sophia-Antipolis Mediterranee, equipe APICS,\n");
++ sollyaFprintf(fd, " Sophia Antipolis, France.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " Contributors Ch. Lauter, S. Chevillard, M. Joldes, M. Mezzarobba\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " christoph.lauter at ens-lyon.org\n");
++ sollyaFprintf(fd, " sylvain.chevillard at ens-lyon.org\n");
++ sollyaFprintf(fd, " joldes at laas.fr\n");
+ sollyaFprintf(fd, " marc at mezzarobba.net\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " The Sollya software is a computer program whose purpose is to provide\n");
+- sollyaFprintf(fd, " an environment for safe floating-point code development. It is\n");
+- sollyaFprintf(fd, " particularily targeted to the automatized implementation of\n");
+- sollyaFprintf(fd, " mathematical floating-point libraries (libm). Amongst other features,\n");
+- sollyaFprintf(fd, " it offers a certified infinity norm, an automatic polynomial\n");
+- sollyaFprintf(fd, " implementer and a fast Remez algorithm.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " The Sollya software is governed by the CeCILL-C license under French\n");
+- sollyaFprintf(fd, " law and abiding by the rules of distribution of free software. You\n");
+- sollyaFprintf(fd, " can use, modify and/ or redistribute the software under the terms of\n");
+- sollyaFprintf(fd, " the CeCILL-C license as circulated by CEA, CNRS and INRIA at the\n");
+- sollyaFprintf(fd, " following URL \"http://www.cecill.info\".\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " As a counterpart to the access to the source code and rights to copy,\n");
+- sollyaFprintf(fd, " modify and redistribute granted by the license, users are provided\n");
+- sollyaFprintf(fd, " only with a limited warranty and the software's author, the holder of\n");
+- sollyaFprintf(fd, " the economic rights, and the successive licensors have only limited\n");
+- sollyaFprintf(fd, " liability.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " In this respect, the user's attention is drawn to the risks associated\n");
+- sollyaFprintf(fd, " with loading, using, modifying and/or developing or reproducing the\n");
+- sollyaFprintf(fd, " software by the user in light of its specific status of free software,\n");
+- sollyaFprintf(fd, " that may mean that it is complicated to manipulate, and that also\n");
+- sollyaFprintf(fd, " therefore means that it is reserved for developers and experienced\n");
+- sollyaFprintf(fd, " professionals having in-depth computer knowledge. Users are therefore\n");
+- sollyaFprintf(fd, " encouraged to load and test the software's suitability as regards\n");
+- sollyaFprintf(fd, " their requirements in conditions enabling the security of their\n");
+- sollyaFprintf(fd, " systems and/or data to be ensured and, more generally, to use and\n");
+- sollyaFprintf(fd, " operate it in the same conditions as regards security.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " The fact that you are presently reading this means that you have had\n");
+- sollyaFprintf(fd, " knowledge of the CeCILL-C license and that you accept its terms.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " The Sollya program is distributed WITHOUT ANY WARRANTY; without even\n");
+- sollyaFprintf(fd, " the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR\n");
+- sollyaFprintf(fd, " PURPOSE.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " This generated program is distributed WITHOUT ANY WARRANTY; without\n");
+- sollyaFprintf(fd, " even the implied warranty of MERCHANTABILITY or FITNESS FOR A\n");
+- sollyaFprintf(fd, " PARTICULAR PURPOSE.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " As a special exception, you may create a larger work that contains\n");
+- sollyaFprintf(fd, " part or all of this software generated using Sollya and distribute\n");
+- sollyaFprintf(fd, " that work under terms of your choice, so long as that work isn't\n");
+- sollyaFprintf(fd, " itself a numerical code generator using the skeleton of this code or a\n");
+- sollyaFprintf(fd, " modified version thereof as a code skeleton. Alternatively, if you\n");
+- sollyaFprintf(fd, " modify or redistribute this generated code itself, or its skeleton,\n");
+- sollyaFprintf(fd, " you may (at your option) remove this special exception, which will\n");
+- sollyaFprintf(fd, " cause this generated code and its skeleton and the resulting Sollya\n");
+- sollyaFprintf(fd, " output files to be licensed under the CeCILL-C licence without this\n");
+- sollyaFprintf(fd, " special exception.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, " This special exception was added by the Sollya copyright holders in\n");
+- sollyaFprintf(fd, " version 4.1 of Sollya.\n");
+- sollyaFprintf(fd, " \n");
+- sollyaFprintf(fd, "*/\n");
+- sollyaFprintf(fd, "\n");
+- sollyaFprintf(fd, "\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " The Sollya software is a computer program whose purpose is to provide\n");
++ sollyaFprintf(fd, " an environment for safe floating-point code development. It is\n");
++ sollyaFprintf(fd, " particularly targeted to the automatized implementation of\n");
++ sollyaFprintf(fd, " mathematical floating-point libraries (libm). Amongst other features,\n");
++ sollyaFprintf(fd, " it offers a certified infinity norm, an automatic polynomial\n");
++ sollyaFprintf(fd, " implementer and a fast Remez algorithm.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " The Sollya software is governed by the CeCILL-C license under French\n");
++ sollyaFprintf(fd, " law and abiding by the rules of distribution of free software. You\n");
++ sollyaFprintf(fd, " can use, modify and/ or redistribute the software under the terms of\n");
++ sollyaFprintf(fd, " the CeCILL-C license as circulated by CEA, CNRS and INRIA at the\n");
++ sollyaFprintf(fd, " following URL \"http://www.cecill.info\".\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " As a counterpart to the access to the source code and rights to copy,\n");
++ sollyaFprintf(fd, " modify and redistribute granted by the license, users are provided\n");
++ sollyaFprintf(fd, " only with a limited warranty and the software's author, the holder of\n");
++ sollyaFprintf(fd, " the economic rights, and the successive licensors have only limited\n");
++ sollyaFprintf(fd, " liability.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " In this respect, the user's attention is drawn to the risks associated\n");
++ sollyaFprintf(fd, " with loading, using, modifying and/or developing or reproducing the\n");
++ sollyaFprintf(fd, " software by the user in light of its specific status of free software,\n");
++ sollyaFprintf(fd, " that may mean that it is complicated to manipulate, and that also\n");
++ sollyaFprintf(fd, " therefore means that it is reserved for developers and experienced\n");
++ sollyaFprintf(fd, " professionals having in-depth computer knowledge. Users are therefore\n");
++ sollyaFprintf(fd, " encouraged to load and test the software's suitability as regards\n");
++ sollyaFprintf(fd, " their requirements in conditions enabling the security of their\n");
++ sollyaFprintf(fd, " systems and/or data to be ensured and, more generally, to use and\n");
++ sollyaFprintf(fd, " operate it in the same conditions as regards security.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " The fact that you are presently reading this means that you have had\n");
++ sollyaFprintf(fd, " knowledge of the CeCILL-C license and that you accept its terms.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " The Sollya program is distributed WITHOUT ANY WARRANTY; without even\n");
++ sollyaFprintf(fd, " the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR\n");
++ sollyaFprintf(fd, " PURPOSE.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " This generated program is distributed WITHOUT ANY WARRANTY; without\n");
++ sollyaFprintf(fd, " even the implied warranty of MERCHANTABILITY or FITNESS FOR A\n");
++ sollyaFprintf(fd, " PARTICULAR PURPOSE.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " As a special exception, you may create a larger work that contains\n");
++ sollyaFprintf(fd, " part or all of this software generated using Sollya and distribute\n");
++ sollyaFprintf(fd, " that work under terms of your choice, so long as that work isn't\n");
++ sollyaFprintf(fd, " itself a numerical code generator using the skeleton of this code or a\n");
++ sollyaFprintf(fd, " modified version thereof as a code skeleton. Alternatively, if you\n");
++ sollyaFprintf(fd, " modify or redistribute this generated code itself, or its skeleton,\n");
++ sollyaFprintf(fd, " you may (at your option) remove this special exception, which will\n");
++ sollyaFprintf(fd, " cause this generated code and its skeleton and the resulting Sollya\n");
++ sollyaFprintf(fd, " output files to be licensed under the CeCILL-C licence without this\n");
++ sollyaFprintf(fd, " special exception.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, " This special exception was added by the Sollya copyright holders in\n");
++ sollyaFprintf(fd, " version 4.1 of Sollya.\n");
++ sollyaFprintf(fd, " \n");
++ sollyaFprintf(fd, "*/\n");
++ sollyaFprintf(fd, "\n");
++ sollyaFprintf(fd, "\n");
+ }
+
+ int determinePowers(mpfr_t *coefficients, int degree, int *mulPrec, int *powPrec) {
+--- a/implement.h
++++ b/implement.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/implementconst.c
++++ b/implementconst.c
+@@ -19,7 +19,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/implementconst.h
++++ b/implementconst.h
+@@ -15,7 +15,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/infnorm.c
++++ b/infnorm.c
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/infnorm.h
++++ b/infnorm.h
+@@ -19,7 +19,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/integral.c
++++ b/integral.c
+@@ -21,7 +21,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/integral.h
++++ b/integral.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/internlexer.l
++++ b/internlexer.l
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/internparser.y
++++ b/internparser.y
+@@ -19,7 +19,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/lexer.l
++++ b/lexer.l
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/library.c
++++ b/library.c
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/library.h
++++ b/library.h
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/libsollyaexample.c
++++ b/libsollyaexample.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/main.c
++++ b/main.c
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/main.h
++++ b/main.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/match.c
++++ b/match.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/match.h
++++ b/match.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/minilexer.l
++++ b/minilexer.l
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/miniparser.y
++++ b/miniparser.y
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/mpfi-compat.c
++++ b/mpfi-compat.c
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/mpfi-compat.h
++++ b/mpfi-compat.h
+@@ -27,7 +27,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/parser.y
++++ b/parser.y
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularily targeted to the automatized implementation of
++particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/plot.c
++++ b/plot.c
+@@ -29,7 +29,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/plot.h
++++ b/plot.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/polynomials.c
++++ b/polynomials.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/polynomials.h
++++ b/polynomials.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/printf.c
++++ b/printf.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/printf.h
++++ b/printf.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/proof.c
++++ b/proof.c
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/proof.h
++++ b/proof.h
+@@ -16,7 +16,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/remez.c
++++ b/remez.c
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/remez.h
++++ b/remez.h
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/signalhandling.c
++++ b/signalhandling.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/signalhandling.h
++++ b/signalhandling.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-library-wrappers.c
++++ b/sollya-library-wrappers.c
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-library-wrappers.h
++++ b/sollya-library-wrappers.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-messages.h
++++ b/sollya-messages.h
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-messaging.c
++++ b/sollya-messaging.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-messaging.h
++++ b/sollya-messaging.h
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya.h
++++ b/sollya.h
+@@ -31,7 +31,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sturm.c
++++ b/sturm.c
+@@ -21,7 +21,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sturm.h
++++ b/sturm.h
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/supnorm.c
++++ b/supnorm.c
+@@ -27,7 +27,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/supnorm.h
++++ b/supnorm.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylor.c
++++ b/taylor.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylor.h
++++ b/taylor.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylorform.c
++++ b/taylorform.c
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylorform.h
++++ b/taylorform.h
+@@ -16,7 +16,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/tests-lib/timplementpoly.reference
++++ b/tests-lib/timplementpoly.reference
+@@ -45,7 +45,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -173,7 +173,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -314,7 +314,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/tests-lib/tv_implementpoly.reference
++++ b/tests-lib/tv_implementpoly.reference
+@@ -45,7 +45,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -173,7 +173,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -314,7 +314,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/worstcase.c
++++ b/worstcase.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/worstcase.h
++++ b/worstcase.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/xml.c
++++ b/xml.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/xml.h
++++ b/xml.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularily targeted to the automatized implementation of
++ particularly targeted to the automatized implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
diff --git a/debian/patches/upstream-02-lintian-spelling-error-silence--massive.patch b/debian/patches/upstream-02-lintian-spelling-error-silence--massive.patch
new file mode 100644
index 0000000..f8131bf
--- /dev/null
+++ b/debian/patches/upstream-02-lintian-spelling-error-silence--massive.patch
@@ -0,0 +1,1011 @@
+Description: source typo
+ Correct massively the spelling error `automatized' --> `automated'
+ as reported by lintian in some binraries; meant to silence lintian
+ and eventually to be submitted to the upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Comment: spelling-error-in-binary
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-18
+
+--- a/README
++++ b/README
+@@ -1,6 +1,6 @@
+ Sollya is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/assignment.c
++++ b/assignment.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/assignment.h
++++ b/assignment.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/autodiff.c
++++ b/autodiff.c
+@@ -29,7 +29,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/autodiff.h
++++ b/autodiff.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/bitfields.c
++++ b/bitfields.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/bitfields.h
++++ b/bitfields.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chain.c
++++ b/chain.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chain.h
++++ b/chain.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevform.c
++++ b/chebyshevform.c
+@@ -10,7 +10,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevform.h
++++ b/chebyshevform.h
+@@ -10,7 +10,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevformaux.c
++++ b/chebyshevformaux.c
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/chebyshevformaux.h
++++ b/chebyshevformaux.h
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/double.c
++++ b/double.c
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/double.h
++++ b/double.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/execute.c
++++ b/execute.c
+@@ -29,7 +29,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/execute.h
++++ b/execute.h
+@@ -24,7 +24,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/expression.c
++++ b/expression.c
+@@ -30,7 +30,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/expression.h
++++ b/expression.h
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/external.c
++++ b/external.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/external.h
++++ b/external.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/externalfun.c
++++ b/externalfun.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/externalproc.c
++++ b/externalproc.c
+@@ -16,7 +16,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/fpminimax.cpp
++++ b/fpminimax.cpp
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/fpminimax.h
++++ b/fpminimax.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/general.c
++++ b/general.c
+@@ -26,7 +26,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/general.h
++++ b/general.h
+@@ -26,7 +26,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hash.c
++++ b/hash.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hash.h
++++ b/hash.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/help.h
++++ b/help.h
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hooks.c
++++ b/hooks.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/hooks.h
++++ b/hooks.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/implement.c
++++ b/implement.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -114,7 +114,7 @@
+ sollyaFprintf(fd, " \n");
+ sollyaFprintf(fd, " The Sollya software is a computer program whose purpose is to provide\n");
+ sollyaFprintf(fd, " an environment for safe floating-point code development. It is\n");
+- sollyaFprintf(fd, " particularly targeted to the automatized implementation of\n");
++ sollyaFprintf(fd, " particularly targeted to the automated implementation of\n");
+ sollyaFprintf(fd, " mathematical floating-point libraries (libm). Amongst other features,\n");
+ sollyaFprintf(fd, " it offers a certified infinity norm, an automatic polynomial\n");
+ sollyaFprintf(fd, " implementer and a fast Remez algorithm.\n");
+--- a/implement.h
++++ b/implement.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/implementconst.c
++++ b/implementconst.c
+@@ -19,7 +19,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/implementconst.h
++++ b/implementconst.h
+@@ -15,7 +15,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/infnorm.c
++++ b/infnorm.c
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/infnorm.h
++++ b/infnorm.h
+@@ -19,7 +19,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/integral.c
++++ b/integral.c
+@@ -21,7 +21,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/integral.h
++++ b/integral.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/internlexer.l
++++ b/internlexer.l
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/internparser.y
++++ b/internparser.y
+@@ -19,7 +19,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/lexer.l
++++ b/lexer.l
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/library.c
++++ b/library.c
+@@ -25,7 +25,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/library.h
++++ b/library.h
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/libsollyaexample.c
++++ b/libsollyaexample.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/main.c
++++ b/main.c
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/main.h
++++ b/main.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/match.c
++++ b/match.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/match.h
++++ b/match.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/minilexer.l
++++ b/minilexer.l
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/miniparser.y
++++ b/miniparser.y
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/mpfi-compat.c
++++ b/mpfi-compat.c
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/mpfi-compat.h
++++ b/mpfi-compat.h
+@@ -27,7 +27,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/parser.y
++++ b/parser.y
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+-particularly targeted to the automatized implementation of
++particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/plot.c
++++ b/plot.c
+@@ -29,7 +29,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/plot.h
++++ b/plot.h
+@@ -12,7 +12,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/polynomials.c
++++ b/polynomials.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/polynomials.h
++++ b/polynomials.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/printf.c
++++ b/printf.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/printf.h
++++ b/printf.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/proof.c
++++ b/proof.c
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/proof.h
++++ b/proof.h
+@@ -16,7 +16,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/remez.c
++++ b/remez.c
+@@ -28,7 +28,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/remez.h
++++ b/remez.h
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/signalhandling.c
++++ b/signalhandling.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/signalhandling.h
++++ b/signalhandling.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-library-wrappers.c
++++ b/sollya-library-wrappers.c
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-library-wrappers.h
++++ b/sollya-library-wrappers.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-messages.h
++++ b/sollya-messages.h
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-messaging.c
++++ b/sollya-messaging.c
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya-messaging.h
++++ b/sollya-messaging.h
+@@ -23,7 +23,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sollya.h
++++ b/sollya.h
+@@ -31,7 +31,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sturm.c
++++ b/sturm.c
+@@ -21,7 +21,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/sturm.h
++++ b/sturm.h
+@@ -18,7 +18,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/supnorm.c
++++ b/supnorm.c
+@@ -27,7 +27,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/supnorm.h
++++ b/supnorm.h
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylor.c
++++ b/taylor.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylor.h
++++ b/taylor.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylorform.c
++++ b/taylorform.c
+@@ -20,7 +20,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/taylorform.h
++++ b/taylorform.h
+@@ -16,7 +16,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/tests-lib/timplementpoly.reference
++++ b/tests-lib/timplementpoly.reference
+@@ -45,7 +45,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -173,7 +173,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -314,7 +314,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/tests-lib/tv_implementpoly.reference
++++ b/tests-lib/tv_implementpoly.reference
+@@ -45,7 +45,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -173,7 +173,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+@@ -314,7 +314,7 @@
+
+ The Sollya software is a computer program whose purpose is to provide
+ an environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/worstcase.c
++++ b/worstcase.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/worstcase.h
++++ b/worstcase.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/xml.c
++++ b/xml.c
+@@ -17,7 +17,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
+--- a/xml.h
++++ b/xml.h
+@@ -11,7 +11,7 @@
+
+ This software is a computer program whose purpose is to provide an
+ environment for safe floating-point code development. It is
+- particularly targeted to the automatized implementation of
++ particularly targeted to the automated implementation of
+ mathematical floating-point libraries (libm). Amongst other features,
+ it offers a certified infinity norm, an automatic polynomial
+ implementer and a fast Remez algorithm.
diff --git a/debian/patches/upstream-03-source-version_h.patch b/debian/patches/upstream-03-source-version_h.patch
new file mode 100644
index 0000000..6936e0a
--- /dev/null
+++ b/debian/patches/upstream-03-source-version_h.patch
@@ -0,0 +1,209 @@
+Description: source: version.h header: introduce
+ Gather version information (as displayed through --version) in
+ a unique header file to ease maintenance as help materail is
+ gathered in the dedicated header file help.h ; minor spelling
+ and layout corrections have been performed. Meant to be submitted
+ to the upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- /dev/null
++++ b/version.h
+@@ -0,0 +1,132 @@
++/*
++
++ Copyright 2007-2016 by
++
++ Laboratoire de l'Informatique du Parallelisme,
++ UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668,
++
++ LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2),
++
++ Laboratoire d'Informatique de Paris 6 - Équipe PEQUAN
++ Sorbonne Universités
++ UPMC Univ Paris 06
++ UMR 7606, LIP6
++ Boîte Courrier 169
++ 4, place Jussieu
++ F-75252 Paris Cedex 05
++ France
++
++ and by
++
++ Centre de recherche INRIA Sophia-Antipolis Mediterranee, equipe APICS, Sophia Antipolis, France.
++
++ Contributors Ch. Lauter, S. Chevillard, M. Joldes
++
++ christoph.lauter at ens-lyon.org
++ sylvain.chevillard at ens-lyon.org
++ joldes at laas.fr
++
++ This software is a computer program whose purpose is to provide an
++ environment for safe floating-point code development. It is
++ particularly targeted to the automated implementation of
++ mathematical floating-point libraries (libm). Amongst other features,
++ it offers a certified infinity norm, an automatic polynomial
++ implementer and a fast Remez algorithm.
++
++ This software is governed by the CeCILL-C license under French law and
++ abiding by the rules of distribution of free software. You can use,
++ modify and/ or redistribute the software under the terms of the CeCILL-C
++ license as circulated by CEA, CNRS and INRIA at the following URL
++ "http://www.cecill.info".
++
++ As a counterpart to the access to the source code and rights to copy,
++ modify and redistribute granted by the license, users are provided only
++ with a limited warranty and the software's author, the holder of the
++ economic rights, and the successive licensors have only limited
++ liability.
++
++ In this respect, the user's attention is drawn to the risks associated
++ with loading, using, modifying and/or developing or reproducing the
++ software by the user in light of its specific status of free software,
++ that may mean that it is complicated to manipulate, and that also
++ therefore means that it is reserved for developers and experienced
++ professionals having in-depth computer knowledge. Users are therefore
++ encouraged to load and test the software's suitability as regards their
++ requirements in conditions enabling the security of their systems and/or
++ data to be ensured and, more generally, to use and operate it in the
++ same conditions as regards security.
++
++ The fact that you are presently reading this means that you have had
++ knowledge of the CeCILL-C license and that you accept its terms.
++
++ This program is distributed WITHOUT ANY WARRANTY; without even the
++ implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
++
++*/
++
++#ifndef VERSION_H
++#define VERSION_H
++#define VERSION_COPYRIGHT_YEARS "2006-2016"
++#define VERSION_COPYRIGHT_TEXT \
++ "Copyright " VERSION_COPYRIGHT_YEARS " by\n" \
++ "\n" \
++ " Laboratoire de l'Informatique du Parallelisme,\n" \
++ " UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668,\n" \
++ "\n" \
++ " LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2)\n" \
++ "\n" \
++ " Laboratoire d'Informatique de Paris 6 - Équipe PEQUAN\n" \
++ " Sorbonne Universités\n UPMC Univ Paris 06\n UMR 7606, LIP6\n" \
++ " Boîte Courrier 169\n" \
++ " 4, place Jussieu\n" \
++ " F-75252 Paris Cedex 05\n" \
++ " France\n" \
++ "\n" \
++ " CNRS, LIP6, UPMC\n" \
++ " Sorbonne Universités, UPMC Univ Paris 06,\n" \
++ " CNRS, LIP6 UMR 7606, 4 place Jussieu 75005 Paris\n" \
++ "\n" \
++ /* "and by\n" */ \
++ /* "\n" */ \
++ " INRIA Sophia-Antipolis Mediterranée, APICS Team,\n" \
++ " Sophia-Antipolis, France.\n" \
++ "\n" \
++ "All rights reserved.\n" \
++ "\n" \
++ "Contributors:\n" \
++ " Ch. Lauter\n" \
++ " S. Chevillard\n" \
++ " M. Joldes\n" \
++ " N. Jourdan\n" \
++ " M. Mezzarobba\n" \
++ "\n" \
++ "This software is governed by the CeCILL-C license under French law and\n" \
++ "abiding by the rules of distribution of free software. You can use,\n" \
++ "modify and/or redistribute the software under the terms of the CeCILL-C\n" \
++ "license as circulated by CEA, CNRS and INRIA at the following URL\n" \
++ "\"http://www.cecill.info\".\n" \
++ "\n" \
++ "As a counterpart to the access to the source code and rights to copy,\n" \
++ "modify and redistribute granted by the license, users are provided only\n" \
++ "with a limited warranty and the software's author, the holder of the\n" \
++ "economic rights, and the successive licensors have only limited\n" \
++ "liability.\n" \
++ "\n" \
++ "In this respect, the user's attention is drawn to the risks associated\n" \
++ "with loading, using, modifying and/or developing or reproducing the\n" \
++ "software by the user in light of its specific status of free software,\n" \
++ "that may mean that it is complicated to manipulate, and that also\n" \
++ "therefore means that it is reserved for developers and experienced\n" \
++ "professionals having in-depth computer knowledge. Users are therefore\n" \
++ "encouraged to load and test the software's suitability as regards their\n" \
++ "requirements in conditions enabling the security of their systems and/or\n" \
++ "data to be ensured and, more generally, to use and operate it in the\n" \
++ "same conditions as regards security.\n" \
++ "\n" \
++ "The fact that you are presently reading this means that you have had\n" \
++ "knowledge of the CeCILL-C license and that you accept its terms.\n" \
++ "\n" \
++ "This program is distributed WITHOUT ANY WARRANTY; without even the\n" \
++ "implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.\n" \
++ "\n"
++#endif /* ifdef VERSION_H*/
+--- a/general.c
++++ b/general.c
+@@ -112,6 +112,8 @@
+ #endif
+ #endif
+
++#include "version.h"
++
+ /* A constant for the global reused MPFI and MPFR variables */
+ #define GLOBAL_REUSED_VARS_MAX_ALLOC 2048
+
+@@ -2411,7 +2413,10 @@
+ sollyaPrintf("--warnonstderr : print warning messages on error output instead on the standard output\n");
+ sollyaPrintf("\nFor help on %s commands type \"help;\" on the %s prompt\n",PACKAGE_NAME,PACKAGE_NAME);
+ sollyaPrintf("More documentation on %s is available on the %s website http://sollya.gforge.inria.fr/.\nFor bug reports send an email to %s.\n",PACKAGE_NAME,PACKAGE_NAME,PACKAGE_BUGREPORT);
+- sollyaPrintf("\n%s is\n\nCopyright 2006-2016 by\n\n Laboratoire de l'Informatique du Parallelisme,\n UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668,\n\n LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2)\n\n Laboratoire d'Informatique de Paris 6 - Équipe PEQUAN\n Sorbonne Universités\n UPMC Univ Paris 06\n UMR 7606, LIP6\n Boîte Courrier 169\n 4, place Jussieu\n F-75252 Paris Cedex 05\n France\n\n CNRS, LIP6, UPMC\n Sorbonne Universités, UPMC Univ Paris 06,\n CNRS, LI [...]
++ sollyaPrintf(
++ "\n%s is\n\n"
++ VERSION_COPYRIGHT_TEXT
++ "\nThis build of %s is based on GMP %s, MPFR %s and MPFI %s.\n",PACKAGE_STRING,PACKAGE_STRING,gmp_version,mpfr_get_version(),sollya_mpfi_get_version());
+ #if defined(HAVE_FPLLL_VERSION_STRING)
+ sollyaPrintf("%s uses FPLLL as: \"%s\"\n",PACKAGE_STRING,HAVE_FPLLL_VERSION_STRING);
+ #endif
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -42,6 +42,7 @@
+ lexer.l \
+ minilexer.l \
+ help.h \
++version.h \
+ assignment.c \
+ assignment.h \
+ autodiff.c \
+@@ -130,6 +131,7 @@
+ lexer.l \
+ minilexer.l \
+ help.h \
++version.h \
+ assignment.c \
+ assignment.h \
+ autodiff.c \
+--- a/parser.y
++++ b/parser.y
+@@ -73,6 +73,7 @@
+ #include "parser.h"
+ #include "library.h"
+ #include "help.h"
++#include "version.h"
+
+ #ifdef HAVE_CONFIG_H
+ #include "config.h"
+@@ -488,7 +489,10 @@
+ | VERSIONTOKEN SEMICOLONTOKEN
+ {
+ outputMode();
+- sollyaPrintf("This is\n\n\t%s.\n\nCopyright 2006-2016 by\n\n Laboratoire de l'Informatique du Parallelisme,\n UMR CNRS - ENS Lyon - UCB Lyon 1 - INRIA 5668,\n\n LORIA (CNRS, INPL, INRIA, UHP, U-Nancy 2)\n\n Laboratoire d'Informatique de Paris 6 - Équipe PEQUAN\n Sorbonne Universités\n UPMC Univ Paris 06\n UMR 7606, LIP6\n Boîte Courrier 169\n 4, place Jussieu\n F-75252 Paris Cedex 05\n France\n\n CNRS, LIP6, UPMC\n Sorbonne Universités, UPMC Univ Paris 0 [...]
++ sollyaPrintf(
++ "This is\n\n\t%s.\n\n"
++ VERSION_COPYRIGHT_TEXT
++ "\nThis build of %s is based on GMP %s, MPFR %s and MPFI %s.\n",PACKAGE_STRING,PACKAGE_BUGREPORT,PACKAGE_STRING,gmp_version,mpfr_get_version(),sollya_mpfi_get_version());
+ #if defined(HAVE_FPLLL_VERSION_STRING)
+ sollyaPrintf("%s uses FPLLL as: \"%s\"\n",PACKAGE_STRING,HAVE_FPLLL_VERSION_STRING);
+ #endif
diff --git a/debian/patches/upstream-04-source-C2help2man.patch b/debian/patches/upstream-04-source-C2help2man.patch
new file mode 100644
index 0000000..cf4a74b
--- /dev/null
+++ b/debian/patches/upstream-04-source-C2help2man.patch
@@ -0,0 +1,104 @@
+Description: format usages, helps and version material.
+ Attempt to format and harmonize the help message and to introduce a
+ version message for the sollya interactive tool wrt UN*X customs in
+ view to employ help2man to generate a manpage. The `make' and `man'
+ GNU utilities were taken as example. Meant to be submitted to the
+ upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- a/general.c
++++ b/general.c
+@@ -2384,7 +2384,9 @@
+ argsArgv[argsArgc-1] = (char *) safeCalloc(strlen(argv[i])+1, sizeof(char));
+ strcpy(argsArgv[argsArgc-1], argv[i]);
+ } else {
+- if (strcmp(argv[i],"--help") == 0) {
++ if ((strcmp(argv[i],"--help") == 0) || (strcmp(argv[i],"--version") == 0)) {
++ const char *env_BANNER_OFF=getenv("SOLLYA_BANNER_OFF");
++ int printBanner = 1;
+ if ((!inputFileOpened) && (!eliminatePromptBackup)) {
+ if (tcgetattr(0,&termAttr) == -1) {
+ eliminatePromptBackup = 1;
+@@ -2393,35 +2395,44 @@
+ eliminatePromptBackup = 1;
+ }
+ }
+- }
+- sollyaPrintf("This is %s connected to ",PACKAGE_STRING);
+- if (eliminatePromptBackup)
+- sollyaPrintf("a regular file");
+- else
+- sollyaPrintf("a terminal");
+- sollyaPrintf(".\n\nUsage: %s [options]\n\nPossible options are:\n",PACKAGE_NAME);
+- sollyaPrintf("--args : Transmit the following arguments verbatim to the interpreter\n");
+- sollyaPrintf("--donotmodifystacksize : do not attempt to set the maximal stack size to the maximum size allowed on the system\n");
+- sollyaPrintf("--flush : flush standard output and standard error after each command\n");
+- sollyaPrintf("--help : print this help text\n");
+- sollyaPrintf("--nocolor : do not color the output using ANSI escape sequences\n");
+- sollyaPrintf("--noprompt : do not print a prompt symbol\n");
+- sollyaPrintf("--oldautoprint : print commas between autoprinted elements separated by commas\n");
+- sollyaPrintf("--oldexternalprocprint : print the signature of an external procedure when autoprinting\n");
+- sollyaPrintf("--oldrlwrapcompatible : acheive some compatibility with old rlwrap versions by emitting wrong ANSI sequences (deprecated)\n");
+- sollyaPrintf("--warninfile[append] <file> : print warning messages into a file instead on the standard output\n");
+- sollyaPrintf("--warnonstderr : print warning messages on error output instead on the standard output\n");
+- sollyaPrintf("\nFor help on %s commands type \"help;\" on the %s prompt\n",PACKAGE_NAME,PACKAGE_NAME);
+- sollyaPrintf("More documentation on %s is available on the %s website http://sollya.gforge.inria.fr/.\nFor bug reports send an email to %s.\n",PACKAGE_NAME,PACKAGE_NAME,PACKAGE_BUGREPORT);
+- sollyaPrintf(
+- "\n%s is\n\n"
+- VERSION_COPYRIGHT_TEXT
+- "\nThis build of %s is based on GMP %s, MPFR %s and MPFI %s.\n",PACKAGE_STRING,PACKAGE_STRING,gmp_version,mpfr_get_version(),sollya_mpfi_get_version());
++ }
++ if ((env_BANNER_OFF != NULL) && (strcmp(env_BANNER_OFF,"YES") == 0)) {
++ printBanner = 0;
++ }
++ if (printBanner) {
++ if (eliminatePromptBackup) {
++ sollyaPrintf("This is %s connected to a regular file.\n\n",PACKAGE_STRING);
++ }
++ }
++ if (strcmp(argv[i]+2,"help") == 0) {
++ sollyaPrintf("Usage: %s [options]\n\nOptions:\n",PACKAGE_NAME);
++ sollyaPrintf(" --args transmit the following arguments verbatim to the interpreter\n");
++ sollyaPrintf(" --donotmodifystacksize do not attempt to set the maximal stack size to the maximum size allowed on the system\n");
++ sollyaPrintf(" --flush flush standard output and standard error after each command\n");
++ sollyaPrintf(" --help print this help text\n");
++ sollyaPrintf(" --nocolor do not color the output using ANSI escape sequences\n");
++ sollyaPrintf(" --noprompt do not print a prompt symbol\n");
++ sollyaPrintf(" --oldautoprint print commas between autoprinted elements separated by commas\n");
++ sollyaPrintf(" --oldexternalprocprint print the signature of an external procedure when autoprinting\n");
++ sollyaPrintf(" --oldrlwrapcompatible acheive some compatibility with old rlwrap versions by emitting wrong ANSI sequences (deprecated)\n");
++ sollyaPrintf(" --version print the version of Sollya, plus the copyright, the list of authors and the no warranty notice\n");
++ sollyaPrintf(" --warninfile[append] <file> print warning messages into a file instead on the standard output\n");
++ sollyaPrintf(" --warnonstderr print warning messages on error output instead on the standard output\n");
++ sollyaPrintf("\nFor help on %s commands type \"help;\" on the %s prompt.\n",PACKAGE_NAME,PACKAGE_NAME);
++ sollyaPrintf("A complete documentation on %s is available on the %s website <http://sollya.gforge.inria.fr/>.\n",PACKAGE_NAME,PACKAGE_NAME);
++ sollyaPrintf("\nReport bugs to <%s>\n",PACKAGE_BUGREPORT);
++ }
++ else { /* (strcmp(argv[i]+2,"version") == 0) */
++ sollyaPrintf(
++ "%s\n\n"
++ VERSION_COPYRIGHT_TEXT
++ "\nThis build of %s is based on GMP %s, MPFR %s and MPFI %s.\n",PACKAGE_STRING,PACKAGE_STRING,gmp_version,mpfr_get_version(),sollya_mpfi_get_version());
+ #if defined(HAVE_FPLLL_VERSION_STRING)
+- sollyaPrintf("%s uses FPLLL as: \"%s\"\n",PACKAGE_STRING,HAVE_FPLLL_VERSION_STRING);
++ sollyaPrintf("%s uses FPLLL as: \"%s\"\n",PACKAGE_STRING,HAVE_FPLLL_VERSION_STRING);
+ #endif
+- sollyaPrintf("\n");
+- return 1;
++ sollyaPrintf("\n");
++ }
++ return 1;
+ } else
+ if (strcmp(argv[i],"--args") == 0) argsArgRead = 1; else
+ if (strcmp(argv[i],"--nocolor") == 0) noColor = 1; else
+@@ -2489,6 +2500,7 @@
+ (strcmp(argv[k], "--oldautoprint") == 0) ||
+ (strcmp(argv[k], "--oldexternalprocprint") == 0) ||
+ (strcmp(argv[k], "--oldrlwrapcompatible") == 0) ||
++ (strcmp(argv[k], "--version") == 0) ||
+ (strcmp(argv[k], "--warninfile") == 0) ||
+ (strcmp(argv[k], "--warninfileappend") == 0) ||
+ (strcmp(argv[k], "--warnonstderr") == 0)) {
diff --git a/debian/patches/upstream-05-autotools-revisit.patch b/debian/patches/upstream-05-autotools-revisit.patch
new file mode 100644
index 0000000..0268060
--- /dev/null
+++ b/debian/patches/upstream-05-autotools-revisit.patch
@@ -0,0 +1,154 @@
+Description: autotools machinery: revisit
+ Attempt to rationalize the autotools machinery to ease maintenance
+ and further modifications; meant to be submitted to the upstream
+ maintainer team.
+Origin: debian
+Forwarded: by email
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -1,5 +1,5 @@
+ SUBDIRS = doc tests-tool tests-lib
+-EXTRA_DIST = sollya.h libsollyaexample.c externalfun.c externalproc.c
++EXTRA_DIST = libsollyaexample.c externalfun.c externalproc.c
+
+ AM_YFLAGS = -d
+ AM_LFLAGS = -o$(LEX_OUTPUT_ROOT).c
+@@ -13,98 +13,21 @@
+ internparser.h \
+ lexer.c \
+ minilexer.c \
+-internlexer.c
++internlexer.c
+
+ bin_PROGRAMS = sollya
++
+ sollya_SOURCES = \
+-sollya.h \
+-mpfi-compat.c \
+-mpfi-compat.h \
+-hooks.c \
+-hooks.h \
+-hash.c \
+-hash.h \
+-polynomials.c \
+-polynomials.h \
+-sollya-messaging.h \
+-sollya-messages.h \
+-sollya-messaging.c \
+-bitfields.h \
+-bitfields.c \
+-sollya-library-wrappers.c \
+-sollya-library-wrappers.h \
+-printf.c \
+-printf.h \
+-internparser.y \
+-miniparser.y \
+-parser.y \
+-internlexer.l \
+-lexer.l \
+-minilexer.l \
+-help.h \
+-version.h \
+-assignment.c \
+-assignment.h \
+-autodiff.c \
+-autodiff.h \
+-chain.c \
+-chain.h \
+-double.c \
+-double.h \
+-execute.c \
+-execute.h \
+-expression.c \
+-expression.h \
+-external.c \
+-external.h \
+-general.c \
+-general.h \
+-signalhandling.c \
+-signalhandling.h \
+-implement.c \
+-implement.h \
+-implementconst.c \
+-implementconst.h \
+-infnorm.c \
+-infnorm.h \
+-integral.c \
+-integral.h \
+-library.c \
+-library.h \
++$(libsollya_la_SOURCES) \
+ main.c \
+-main.h \
+-plot.c \
+-plot.h \
+-proof.c \
+-proof.h \
+-fpminimax.cpp \
+-fpminimax.h \
+-remez.c \
+-remez.h \
+-match.c \
+-match.h \
+-taylor.c \
+-taylor.h \
+-taylorform.c \
+-taylorform.h \
+-chebyshevform.c \
+-chebyshevform.h \
+-chebyshevformaux.c \
+-chebyshevformaux.h \
+-supnorm.c \
+-supnorm.h \
+-sturm.c \
+-sturm.h \
+-worstcase.c \
+-worstcase.h \
+-xml.c \
+-xml.h
++main.h
++
+ sollya_CFLAGS = $(AM_CFLAGS)
+ sollya_CXXFLAGS = $(AM_CXXFLAGS)
+
+ include_HEADERS = sollya.h sollya-messages.h
+
+-lib_LTLIBRARIES = libsollya.la
++lib_LTLIBRARIES = libsollya.la
+ libsollya_la_SOURCES = \
+ sollya.h \
+ mpfi-compat.h \
+@@ -185,13 +108,14 @@
+ worstcase.c \
+ worstcase.h \
+ xml.c \
+-xml.h
++xml.h
+
+-libsollya_la_LDFLAGS = -version-info 5:0:0 $(AM_LDFLAGS)
++libsollya_la_LDFLAGS = \
++ -version-info 5:0:0
+
+-LIBTOOL_DEPS = @LIBTOOL_DEPS@
+-libtool: $(LIBTOOL_DEPS)
+- $(SHELL) ./config.status --recheck
++##LIBTOOL_DEPS = @LIBTOOL_DEPS@
++##libtool: $(LIBTOOL_DEPS)
++## $(SHELL) ./config.status --recheck
+
+ check-lib: $(BUILT_SOURCES)
+ @fail= failcom='exit 1'; \
+--- a/tests-lib/Makefile.am
++++ b/tests-lib/Makefile.am
+@@ -343,7 +343,7 @@
+
+ TESTS= $(TESTFILES:.c=.sh)
+
+-LDADD = $(top_builddir)/.libs/libsollya.la -lstdc++
++LDADD = $(top_builddir)/libsollya.la -lstdc++
+
+ MOSTLYCLEANFILES = $(TESTS) libraryexample.a
+
diff --git a/debian/patches/upstream-06-autotools-help2man.patch b/debian/patches/upstream-06-autotools-help2man.patch
new file mode 100644
index 0000000..0af7b1a
--- /dev/null
+++ b/debian/patches/upstream-06-autotools-help2man.patch
@@ -0,0 +1,66 @@
+Description: autotools machinery: help2man
+ Introduce autotools material to generate on the fly the manpage
+ for the interactive tool sallya; meant to be submitted to the
+ upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- a/configure.ac
++++ b/configure.ac
+@@ -41,6 +41,7 @@
+ AC_SUBST(LIBTOOL_DEPS)
+ AC_CONFIG_MACRO_DIR([m4]) # To please autoconf. See c8fd07aa1d2bd54f8c1b519052849aed1ec39663
+ AC_SUBST(AR_FLAGS, "cr") # To prevent a warning on some Ubuntu. See fbb8016beff7b45734e53ef8b80d2c306334c248
++AC_PATH_PROG([HELP2MAN],[help2man])
+
+
+
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -1,5 +1,5 @@
+ SUBDIRS = doc tests-tool tests-lib
+-EXTRA_DIST = libsollyaexample.c externalfun.c externalproc.c
++EXTRA_DIST = libsollyaexample.c externalfun.c externalproc.c sollya.h2m
+
+ AM_YFLAGS = -d
+ AM_LFLAGS = -o$(LEX_OUTPUT_ROOT).c
+@@ -144,3 +144,24 @@
+ || eval $$failcom; \
+ $(MAKE) $(AM_MAKEFLAGS) check-am || exit 1; \
+ test -z "$$fail"
++
++man_MANS = sollya.1
++
++AM_H2MFLAGS = \
++ --local=C.utf8 \
++ --libtool \
++ --no-info
++
++# Short descriptions for manpages
++sollya_DESCRIPTION = "tool environment for safe floting-point code development -- command-line interface"
++
++%.1: %
++ SOLLYA_BANNER_OFF=YES $(HELP2MAN) \
++ -s 1 \
++ $(AM_H2MFLAGS) \
++ -I $(top_srcdir)/$*.h2m \
++ -n $(if $($(subst -,_,$*)_DESCRIPTION), $($(subst -,_,$*)_DESCRIPTION), "manual page for $*") \
++ -o $@ \
++ $(top_builddir)/$<
++
++#EXTRA_DIST += $(man_MANS)
+--- /dev/null
++++ b/sollya.h2m
+@@ -0,0 +1,10 @@
++help2man include file for sollya man page
++
++[DESCRIPTION]
++.B sollya
++provides an environment for for safe floating-point code development.
++
++/This is sollya 5.0 connected to a regular file./
++
++[SEE ALSO]
++.BR rlwrap (1)
diff --git a/debian/patches/upstream-07-autotools-ld_version_script.patch b/debian/patches/upstream-07-autotools-ld_version_script.patch
new file mode 100644
index 0000000..b8c8c28
--- /dev/null
+++ b/debian/patches/upstream-07-autotools-ld_version_script.patch
@@ -0,0 +1,279 @@
+Description: autotools machinery: libtoolization: version script support
+ Provides version scripts [1] for the sollya library. Originally the map
+ (or version script) was basically generated from the package header sollya.h
+ with the help of cproto(1). Afterwards some functions were renamed in view to
+ used a wildcard in the version scrit in view to ease maintenance.
+ The version script was modified by hand to add some timing related functions
+ used in one of the tests; it is assumed that these functions are of usage interest.
+ Meant to be submitted to the upstream maintainer team.
+ [1] https://www.gnu.org/software/gnulib/manual/html_node/LD-Version-Scripts.html
+Origin: debian
+Forwarded: by email
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- a/configure.ac
++++ b/configure.ac
+@@ -542,6 +542,8 @@
+ ])
+ ])
+
++# Checks for linker script support:
++gl_LD_VERSION_SCRIPT
+
+ # Checks for header files.
+ AC_FUNC_ALLOCA
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -28,6 +28,15 @@
+ include_HEADERS = sollya.h sollya-messages.h
+
+ lib_LTLIBRARIES = libsollya.la
++
++libsollya_la_LT_INFO = -version-info 5:0:0
++
++libsollya_la_LD_VERSION_SCRIPT =
++if HAVE_LD_VERSION_SCRIPT
++ libsollya_la_LD_VERSION_SCRIPT += -Wl,--version-script=$(top_srcdir)/sollya.map
++endif
++
++
+ libsollya_la_SOURCES = \
+ sollya.h \
+ mpfi-compat.h \
+@@ -111,7 +120,8 @@
+ xml.h
+
+ libsollya_la_LDFLAGS = \
+- -version-info 5:0:0
++ $(libsollya_la_LT_INFO) \
++ $(libsollya_la_LD_VERSION_SCRIPT)
+
+ ##LIBTOOL_DEPS = @LIBTOOL_DEPS@
+ ##libtool: $(LIBTOOL_DEPS)
+--- /dev/null
++++ b/sollya.map
+@@ -0,0 +1,14 @@
++LIBSOLLYA_5.0.0 {
++global:
++sollya_lib_*;
++##
++## sublist added by hand:
++## - needed for tests-lib/tget_element_in_list.c
++## - might be wrapped as they might be of usage interest
++##
++sollya_gettime;
++sollya_timediff_ms;
++sollya_gettime_var;
++
++local: *;
++};
+--- a/sollya-library-wrappers.c
++++ b/sollya-library-wrappers.c
+@@ -129,13 +129,13 @@
+
+ */
+
+-void sollya_lib_internal_mpfr_zero_sign_normalize(mpfr_t op) {
++static void __sollya_lib_internal_mpfr_zero_sign_normalize(mpfr_t op) {
+ if (mpfr_zero_p(op)) {
+ mpfr_mul(op,op,op,GMP_RNDN); /* (+/- 0)^2 = +0 */
+ }
+ }
+
+-void sollya_lib_internal_double_zero_sign_normalize(double *op) {
++static void __sollya_lib_internal_double_zero_sign_normalize(double *op) {
+ if (*op == 0.0) {
+ *op = *op * *op; /* (+/- 0)^2 = +0 */
+ }
+@@ -2705,7 +2705,7 @@
+ return temp;
+ }
+
+-int sollya_lib_helper_mpfr_from_int64(mpfr_t rop, int64_t value, mp_rnd_t rnd) {
++static int __sollya_lib_helper_mpfr_from_int64(mpfr_t rop, int64_t value, mp_rnd_t rnd) {
+ double valueDoubleHi, valueDoubleLo;
+ int64_t valueHi, valueLo, tempInt64;
+ mpfr_t valueMpfr, tempMpfr;
+@@ -2744,7 +2744,7 @@
+ return res;
+ }
+
+-int sollya_lib_helper_mpfr_from_uint64(mpfr_t rop, uint64_t value, mp_rnd_t rnd) {
++static int __sollya_lib_helper_mpfr_from_uint64(mpfr_t rop, uint64_t value, mp_rnd_t rnd) {
+ double valueDoubleHi, valueDoubleLo;
+ uint64_t valueHi, valueLo, tempInt64;
+ mpfr_t valueMpfr, tempMpfr;
+@@ -2789,7 +2789,7 @@
+ mpfr_t valueMpfr;
+
+ mpfr_init2(valueMpfr, 64);
+- sollya_lib_helper_mpfr_from_int64(valueMpfr, value, GMP_RNDN); /* exact as 64 are enough */
++ __sollya_lib_helper_mpfr_from_int64(valueMpfr, value, GMP_RNDN); /* exact as 64 are enough */
+ temp = addMemRef(makeConstant(valueMpfr));
+ mpfr_clear(valueMpfr);
+
+@@ -2801,7 +2801,7 @@
+ mpfr_t valueMpfr;
+
+ mpfr_init2(valueMpfr, 64);
+- sollya_lib_helper_mpfr_from_uint64(valueMpfr, value, GMP_RNDN); /* exact as 64 are enough */
++ __sollya_lib_helper_mpfr_from_uint64(valueMpfr, value, GMP_RNDN); /* exact as 64 are enough */
+ temp = addMemRef(makeConstant(valueMpfr));
+ mpfr_clear(valueMpfr);
+
+@@ -2900,8 +2900,8 @@
+ sollya_mpfi_interv_fr(temp, a, b);
+ sollya_mpfi_get_left(left, temp);
+ sollya_mpfi_get_right(right, temp);
+- sollya_lib_internal_mpfr_zero_sign_normalize(left);
+- sollya_lib_internal_mpfr_zero_sign_normalize(right);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(left);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(right);
+ sollya_mpfi_clear(temp);
+ mpfr_clear(a);
+ mpfr_clear(b);
+@@ -3097,7 +3097,7 @@
+ printMessage(1,SOLLYA_MSG_ROUNDING_ON_CONSTANT_RETRIEVAL,"Warning: rounding occurred on retrieval of a constant.\n");
+ }
+ }
+- sollya_lib_internal_mpfr_zero_sign_normalize(value);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(value);
+ }
+ mpfr_clear(myValue);
+
+@@ -3148,7 +3148,7 @@
+ mpfr_init2(temp,53); /* sollya_lib_get_constant_inner may change the precision afterwards */
+ if (__sollya_lib_get_constant_inner(temp, obj1, roundOp, &warning)) {
+ val = sollya_mpfr_get_d(temp, GMP_RNDN);
+- sollya_lib_internal_double_zero_sign_normalize(&val);
++ __sollya_lib_internal_double_zero_sign_normalize(&val);
+ mpfr_init2(reconvert,64);
+ mpfr_set_d(reconvert, val, GMP_RNDN); /* Exact as precision enough for a double */
+ if ((mpfr_cmp(temp, reconvert) != 0) &&
+@@ -3465,7 +3465,7 @@
+ if (__sollya_lib_get_constant_inner(temp, obj1, roundOp, &warning)) {
+ val = __sollya_lib_helper_mpfr_to_int64(temp);
+ mpfr_init2(reconvert,8 * sizeof(int64_t) + 10);
+- sollya_lib_helper_mpfr_from_int64(reconvert, val, GMP_RNDN); /* Exact as precision enough for an int64 */
++ __sollya_lib_helper_mpfr_from_int64(reconvert, val, GMP_RNDN); /* Exact as precision enough for an int64 */
+ if ((mpfr_cmp(temp, reconvert) != 0) || mpfr_nan_p(temp) || mpfr_nan_p(reconvert)) {
+ if (mpfr_number_p(temp) || mpfr_inf_p(temp)) {
+ if ((!noRoundingWarnings) && warning) {
+@@ -3501,7 +3501,7 @@
+ if (__sollya_lib_get_constant_inner(temp, obj1, roundOp, &warning)) {
+ val = __sollya_lib_helper_mpfr_to_uint64(temp);
+ mpfr_init2(reconvert,8 * sizeof(uint64_t) + 10);
+- sollya_lib_helper_mpfr_from_uint64(reconvert, val, GMP_RNDN); /* Exact as precision enough for an uint64 */
++ __sollya_lib_helper_mpfr_from_uint64(reconvert, val, GMP_RNDN); /* Exact as precision enough for an uint64 */
+ if ((mpfr_cmp(temp, reconvert) != 0) || mpfr_nan_p(temp) || mpfr_nan_p(reconvert)) {
+ if (mpfr_number_p(temp) || mpfr_inf_p(temp)) {
+ if ((!noRoundingWarnings) && warning) {
+@@ -5158,7 +5158,7 @@
+
+ /* Try to perform faithful evaluation */
+ res = evaluateFaithfulWithCutOffFast(y, obj1, NULL, x, myCutOff, prec);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+
+ /* Free cutoff */
+ mpfr_clear(myCutOff);
+@@ -5188,7 +5188,7 @@
+ case 2:
+ /* Result was shown to be smaller than cutoff */
+ mpfr_set_ui(y,0,GMP_RNDN); /* Set to zero because we are below the cutoff */
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ return SOLLYA_FP_BELOW_CUTOFF;
+ break;
+ default:
+@@ -5248,7 +5248,7 @@
+ */
+ mpfr_add(yLeft, yLeft, yRight, GMP_RNDN);
+ mpfr_div_2ui(y, yLeft, 1, GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_INFINITY_CONTAINED;
+@@ -5278,7 +5278,7 @@
+
+ */
+ mpfr_set_ui(y,0,GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_ZERO_CONTAINED_BELOW_THRESHOLD;
+@@ -5292,7 +5292,7 @@
+ */
+ mpfr_add(yLeft, yLeft, yRight, GMP_RNDN);
+ mpfr_div_2ui(y, yLeft, 1, GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_ZERO_CONTAINED_NOT_BELOW_THRESHOLD;
+@@ -5305,7 +5305,7 @@
+
+ mpfr_add(yLeft, yLeft, yRight, GMP_RNDN);
+ mpfr_div_2ui(y, yLeft, 1, GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_ZERO_NOT_CONTAINED;
+@@ -5355,7 +5355,7 @@
+
+ /* Try to perform faithful evaluation */
+ res = evaluateFaithfulAtConstantExpression(y, obj1, NULL, x, myCutOff, prec);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+
+ /* Free cutoff */
+ mpfr_clear(myCutOff);
+@@ -5385,7 +5385,7 @@
+ case 2:
+ /* Result was shown to be smaller than cutoff */
+ mpfr_set_ui(y,0,GMP_RNDN); /* Set to zero because we are below the cutoff */
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ return SOLLYA_FP_BELOW_CUTOFF;
+ break;
+ default:
+@@ -5449,7 +5449,7 @@
+ */
+ mpfr_add(yLeft, yLeft, yRight, GMP_RNDN);
+ mpfr_div_2ui(y, yLeft, 1, GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_INFINITY_CONTAINED;
+@@ -5479,7 +5479,7 @@
+
+ */
+ mpfr_set_ui(y,0,GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_ZERO_CONTAINED_BELOW_THRESHOLD;
+@@ -5493,7 +5493,7 @@
+ */
+ mpfr_add(yLeft, yLeft, yRight, GMP_RNDN);
+ mpfr_div_2ui(y, yLeft, 1, GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_ZERO_CONTAINED_NOT_BELOW_THRESHOLD;
+@@ -5506,7 +5506,7 @@
+
+ mpfr_add(yLeft, yLeft, yRight, GMP_RNDN);
+ mpfr_div_2ui(y, yLeft, 1, GMP_RNDN);
+- sollya_lib_internal_mpfr_zero_sign_normalize(y);
++ __sollya_lib_internal_mpfr_zero_sign_normalize(y);
+ mpfr_clear(yLeft);
+ mpfr_clear(yRight);
+ return SOLLYA_FP_NOT_FAITHFUL_ZERO_NOT_CONTAINED;
diff --git a/debian/patches/upstream-08-autotools-advanced_strip.patch b/debian/patches/upstream-08-autotools-advanced_strip.patch
new file mode 100644
index 0000000..7ba050b
--- /dev/null
+++ b/debian/patches/upstream-08-autotools-advanced_strip.patch
@@ -0,0 +1,26 @@
+Description: autotools machinery: advanced strip
+ Add compilation and linking options to strip dead codes
+ within the sollya library; meant to be submitted to the
+ upstream maintainer team.
+Origin: debian
+Forwarded: by email
+Author: Jerome Benoit <calculus at rezozer.net>
+Last-Update: 2016-06-24
+
+--- a/Makefile.am
++++ b/Makefile.am
+@@ -119,9 +119,13 @@
+ xml.c \
+ xml.h
+
++libsollya_la_CFLAGS = \
++ -fdata-sections -ffunction-sections
++
+ libsollya_la_LDFLAGS = \
+ $(libsollya_la_LT_INFO) \
+- $(libsollya_la_LD_VERSION_SCRIPT)
++ $(libsollya_la_LD_VERSION_SCRIPT) \
++ -Wl,--gc-sections
+
+ ##LIBTOOL_DEPS = @LIBTOOL_DEPS@
+ ##libtool: $(LIBTOOL_DEPS)
diff --git a/debian/rules b/debian/rules
new file mode 100755
index 0000000..4711ef9
--- /dev/null
+++ b/debian/rules
@@ -0,0 +1,30 @@
+#!/usr/bin/make -f
+
+export DEB_BUILD_MAINT_OPTIONS=hardening=+all
+
+export ACLOCAL_PATH=/usr/share/gnulib/m4
+
+default:
+ @uscan --no-conf --dehs --report || true
+
+%:
+ dh $@ --with autoreconf --builddirectory=_build --parallel
+
+override_dh_auto_build-indep:
+
+override_dh_auto_build-arch:
+ dh_auto_build -a
+
+override_dh_auto_test-indep:
+
+override_dh_auto_install-indep:
+
+override_dh_installdocs-arch:
+ dh_installdocs -plibsollya-dev --link-doc=libsollya5
+ dh_installdocs --remaining-packages
+
+override_dh_compress-indep:
+ dh_compress -X.pdf -Xexamples
+
+get-orig-source:
+ uscan --no-conf --download-current-version --compression xz --verbose
diff --git a/debian/sollya-doc.doc-base b/debian/sollya-doc.doc-base
new file mode 100644
index 0000000..281d2e5
--- /dev/null
+++ b/debian/sollya-doc.doc-base
@@ -0,0 +1,22 @@
+Document: sollya
+Title: Users' manual for the Sollya tool
+Author:
+ Sylvain Chevillard
+ Christoph Lauter
+ Mioara Joldes
+Section: Science/Mathematics
+Abstract:
+ Sollya is both a tool environment and a library for safe floating-point code
+ development. It offers a convenient way to perform computations with multiple
+ precision interval arithmetic. It is particularly targeted to the automated
+ implementation of mathematical floating-point libraries.
+ .
+ Initially, Sollya was intended more specifically for people implementing
+ numerical functions in mathematical libraries (e.g., exp, arccos, tanh, etc.).
+ Since then, the tool has evolved and has now become interesting not only to
+ developers of mathematical libraries, but also to everyone who needs to
+ perform numerical experiments in an environment that is safe with respect to
+ round-off errors.
+
+Format: PDF
+Files: /usr/share/doc/sollya-doc/sollya.pdf
diff --git a/debian/sollya-doc.docs b/debian/sollya-doc.docs
new file mode 100644
index 0000000..b13b3b9
--- /dev/null
+++ b/debian/sollya-doc.docs
@@ -0,0 +1,4 @@
+AUTHORS
+NEWS
+README
+doc/sollya.pdf
diff --git a/debian/sollya-doc.examples b/debian/sollya-doc.examples
new file mode 100644
index 0000000..a99db72
--- /dev/null
+++ b/debian/sollya-doc.examples
@@ -0,0 +1,3 @@
+externalfun.c
+externalproc.c
+#libsollyaexample.c
diff --git a/debian/sollya.docs b/debian/sollya.docs
new file mode 100644
index 0000000..6f83607
--- /dev/null
+++ b/debian/sollya.docs
@@ -0,0 +1,3 @@
+AUTHORS
+NEWS
+README
diff --git a/debian/sollya.install b/debian/sollya.install
new file mode 100644
index 0000000..da1f338
--- /dev/null
+++ b/debian/sollya.install
@@ -0,0 +1 @@
+usr/bin/sollya
diff --git a/debian/sollya.manpages b/debian/sollya.manpages
new file mode 100644
index 0000000..2e1f4db
--- /dev/null
+++ b/debian/sollya.manpages
@@ -0,0 +1 @@
+debian/tmp/usr/share/man/man1/sollya.1
diff --git a/debian/source/format b/debian/source/format
new file mode 100644
index 0000000..163aaf8
--- /dev/null
+++ b/debian/source/format
@@ -0,0 +1 @@
+3.0 (quilt)
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides
new file mode 100644
index 0000000..21a7f96
--- /dev/null
+++ b/debian/source/lintian-overrides
@@ -0,0 +1,3 @@
+# Upstream source ball is not (yet) signed: request to the upstream team
+# was sent -- Jerome Benoit <calculus at rrezozer.net>
+debian-watch-may-check-gpg-signature
diff --git a/debian/watch b/debian/watch
new file mode 100644
index 0000000..948e4b0
--- /dev/null
+++ b/debian/watch
@@ -0,0 +1,4 @@
+version=4
+opts=repack,dversionmangle=s/\+ds$//,repacksuffix=+ds \
+https://gforge.inria.fr/frs/?group_id=1015 \
+ (?:|.*/)sollya(?:[_\-]v?|)(\d[^\s/]*)\.(?:tar\.xz|tar\.bz2|tar\.gz)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/sollya.git
More information about the debian-science-commits
mailing list