[sollya] 03/03: Imported Debian patch 6.0+ds-1
Jerome Benoit
calculus-guest at moszumanska.debian.org
Wed Oct 19 19:21:21 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 d583c60eb23cbc5d32d46cccdb0f7c8a0d8bbe97
Author: Jerome Benoit <calculus at rezozer.net>
Date: Wed Oct 19 20:19:11 2016 +0100
Imported Debian patch 6.0+ds-1
---
debian/changelog | 10 +
debian/control | 7 +-
debian/copyright | 22 +-
debian/libsollya5.symbols | 444 --------
debian/{libsollya5.docs => libsollya6.docs} | 0
debian/{libsollya5.install => libsollya6.install} | 0
debian/libsollya6.symbols | 442 ++++++++
debian/patches/debianization-test.patch | 75 --
debian/patches/debianization.patch | 4 +-
debian/patches/series | 10 -
...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 | 3 +-
debian/sollya-doc.docs | 2 +-
21 files changed, 478 insertions(+), 4293 deletions(-)
diff --git a/debian/changelog b/debian/changelog
index 0f17931..97409dc 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,13 @@
+sollya (6.0+ds-1) unstable; urgency=medium
+
+ * New upstream release (Closes: #835506).
+ * Debianization:
+ - debian/patches/*:
+ - d/p/upstream-*.patch, integrated (thanks to the upstream team);
+ - refresh.
+
+ -- Jerome Benoit <calculus at rezozer.net> Wed, 19 Oct 2016 19:18:04 +0000
+
sollya (5.0+ds-3) unstable; urgency=medium
* Debianization:
diff --git a/debian/control b/debian/control
index efb041b..d94628c 100644
--- a/debian/control
+++ b/debian/control
@@ -7,8 +7,9 @@ Build-Depends:
debhelper (>= 9),
autotools-dev, gnulib, dh-autoreconf, libtool, help2man,
flex, bison,
- libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev
+ libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev (>= 5), libxml2-dev
Build-Depends-Indep:
+ texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, lmodern
Standards-Version: 3.9.8
Homepage: http://sollya.gforge.inria.fr/
Vcs-Git: https://anonscm.debian.org/git/debian-science/packages/sollya.git
@@ -36,7 +37,7 @@ Description: library for safe floating-point code development -- tool
.
This package provides the command-line tool sollya.
-Package: libsollya5
+Package: libsollya6
Provides: libsollya
Section: libs
Architecture: any
@@ -65,7 +66,7 @@ Architecture: any
Multi-Arch: same
Pre-Depends: ${misc:Pre-Depends}
Depends:
- libsollya5 (= ${binary:Version}),
+ libsollya6 (= ${binary:Version}),
libgmp-dev, libmpfr-dev, libmpfi-dev, libfplll-dev, libxml2-dev,
${misc:Depends}
Suggests: sollya-doc (= ${source:Version})
diff --git a/debian/copyright b/debian/copyright
index 60c6446..36e4d35 100644
--- a/debian/copyright
+++ b/debian/copyright
@@ -8,6 +8,8 @@ Comment:
weight and to allow clean git-buildpackage builds by mainly cleaning
up regenerated files (mainly autotools related material).
Files-Excluded:
+ doc/sollya.pdf
+ sollya.1
internlexer.c
minilexer.c
lexer.c
@@ -25,6 +27,21 @@ Files-Excluded:
m4/ltversion.m4
m4/ltsugar.m4
m4/libtool.m4
+ m4/ld-version-script.m4
+ build-aux/config.guess
+ build-aux/config.sub
+ build-aux/depcomp
+ build-aux/ylwrap
+ build-aux/compile
+ build-aux/install-sh
+ build-aux/missing
+ build-aux/ltmain.sh
+ build-aux/test-driver
+ INSTALL
+ Makefile.in
+ doc/Makefile.in
+ tests-tool/Makefile.in
+ tests-lib/Makefile.in
config.guess
config.sub
depcomp
@@ -33,11 +50,6 @@ Files-Excluded:
install-sh
missing
ltmain.sh
- INSTALL
- Makefile.in
- doc/Makefile.in
- tests-tool/Makefile.in
- tests-lib/Makefile.in
Files: *
Copyright:
diff --git a/debian/libsollya5.symbols b/debian/libsollya5.symbols
deleted file mode 100644
index b75b848..0000000
--- a/debian/libsollya5.symbols
+++ /dev/null
@@ -1,444 +0,0 @@
-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/libsollya5.docs b/debian/libsollya6.docs
similarity index 100%
rename from debian/libsollya5.docs
rename to debian/libsollya6.docs
diff --git a/debian/libsollya5.install b/debian/libsollya6.install
similarity index 100%
rename from debian/libsollya5.install
rename to debian/libsollya6.install
diff --git a/debian/libsollya6.symbols b/debian/libsollya6.symbols
new file mode 100644
index 0000000..eb2d8e8
--- /dev/null
+++ b/debian/libsollya6.symbols
@@ -0,0 +1,442 @@
+libsollya.so.6 libsollya6 #MINVER#
+ LIBSOLLYA_6.0.0 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_abs at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_absolute at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_acos at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_acosh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_add at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_and at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_annotatefunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_append at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_apply at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_approx at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_asciiplot at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_asin at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_asinh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_atan at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_atanh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_autodiff at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_autoprint at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_bashevaluate at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_bashexecute at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_binary at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_end_elliptic_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_abs at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_acos at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_acosh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_add at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_asin at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_asinh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_atan at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_atanh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_ceil at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_cos at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_cosh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_div at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_double_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_doubleextended at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_erf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_erfc at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_exp at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_expm1 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_floor at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_free_variable at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_halfprecision at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_libraryconstant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_libraryconstant_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_libraryfunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_libraryfunction_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_log10 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_log1p at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_log2 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_log at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_mul at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_nearestint at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_neg at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_pi at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_pow at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_procedurefunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_quad at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_sin at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_single at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_sinh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_sqrt at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_sub at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_tan at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_tanh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_function_triple_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_build_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_calloc at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_canonical at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_ceil at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_chebyshevform at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_checkinfnorm at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_boolean_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_constant_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_int_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_interval_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_object_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_clear_string_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_close at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_equal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_greater at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_greater_equal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_in at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_less at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_less_equal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_not_equal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cmp_objs_structurally at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_coeff at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_composepolynomials at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_concat at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant_from_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant_from_int64 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant_from_int at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant_from_mpq at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant_from_mpz at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_constant_from_uint64 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_boolean_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_constant_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_function at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_int_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_interval_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_object_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_construct_string_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_boolean_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_constant_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_int_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_interval_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_object_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_copy_string_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cos at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_cosh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_create_structure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decimal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_externalprocedure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_externalprocedure_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_function at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_libraryconstant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_libraryconstant_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_libraryfunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_libraryfunction_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_decompose_procedurefunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_default at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_degree at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_denominator at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_diff at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_dirtyfindzeros at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_dirtyinfnorm at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_dirtyintegral at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_dirtysimplify at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_div at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_double_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_double_double_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_double_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_doubleextended at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_doubleextended_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_dyadic at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_end_elliptic_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_erf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_erfc at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_error at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_evaluate at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_evaluate_function_at_constant_expression at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_evaluate_function_at_point at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_evaluate_function_over_interval at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_execute at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_execute_procedure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_exp at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_expand at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_expm1 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_exponent at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_externalplot at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_externalprocedure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_externalprocedure_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_false at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_file at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_findzeros at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_fixed at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_floating at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_floor at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_fpminimax at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_fprintf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_free at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_free_variable at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_autosimplify at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_boolean_list_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_boolean_list_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_bounds_from_range at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_canonical at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_as_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_as_int64 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_as_int at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_as_mpq at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_as_mpz at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_as_uint64 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_list_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_constant_list_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_diam at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_dieonerrormode at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_display at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_element_in_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_element_in_structure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_free_variable_name at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_fullparentheses at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_function_arity at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_head_function at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_hopitalrecursions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_int_list_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_int_list_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_interval_from_range at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_interval_list_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_interval_list_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_list_elements at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_midpointmode at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_msg_callback at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_msg_id at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_nth_subfunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_object_list_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_object_list_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_points at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_prec at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_prec_of_constant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_prec_of_range at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_rationalmode at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_roundingwarnings at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_showmessagenumbers at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_string at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_string_list_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_string_list_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_structure_elements at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_subfunctions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_taylorrecursions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_timing at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_get_verbosity at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_getbacktrace at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_getsuppressedmessages at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_guessdegree at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_halfprecision at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_halfprecision_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_hash at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_head at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_hexadecimal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_honorcoeffprec at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_horner at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_implementconstant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_implementpoly at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_inf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_infnorm at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_init at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_init_with_custom_memory_function_modifiers at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_init_with_custom_memory_functions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_init_with_custom_memory_functions_with_custom_memory_function_modifiers at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_install_msg_callback at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_integral at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_absolute at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_binary at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_decimal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_default at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_double_double_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_double_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_doubleextended_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_dyadic at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_empty_boolean_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_empty_constant_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_empty_int_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_empty_interval_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_empty_object_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_empty_string_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_false at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_file at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_fixed at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_floating at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_halfprecision_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_hexadecimal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_honorcoeffprec at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_off at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_on at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_perturb at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_pi at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_postscript at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_postscriptfile at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_powers at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_quad_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_relative at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_round_down at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_round_to_nearest at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_round_towards_zero at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_round_up at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_single_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_triple_double_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_true at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_is_void at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_length at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_libraryconstant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_libraryconstant_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_libraryfunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_libraryfunction_with_data at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_log10 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_log1p at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_log2 at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_log at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_malloc at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_mantissa at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_max at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_mid at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_min at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_msg_to_text at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_mul at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_name_free_variable at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_nearestint at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_neg at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_negate at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_numberroots at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_numerator at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_end_elliptic_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_error at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_externalprocedure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_function at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_procedure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_range at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_string at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_obj_is_structure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_objectname at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_off at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_on at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_or at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_parse at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_parse_string at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_perturb at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_pi at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_plot at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_postscript at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_postscriptfile at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_pow at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_powers at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_precision at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_prepend at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printdouble at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printexpansion at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printlibrarymessage at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printsingle at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printxml at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printxml_appendfile at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_printxml_newfile at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_procedurefunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_quad at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_quad_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_range at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_range_from_bounds at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_range_from_interval at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_rationalapprox at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_readxml at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_realloc at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_relative at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_remez at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_revert at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_round at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_round_down at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_round_to_nearest at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_round_towards_zero at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_round_up at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_roundcoefficients at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_roundcorrectly at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_searchgal at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_autosimplify at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_autosimplify_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_canonical at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_canonical_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_diam at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_diam_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_dieonerrormode at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_dieonerrormode_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_display at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_display_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_fullparentheses at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_fullparentheses_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_hopitalrecursions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_hopitalrecursions_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_midpointmode at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_midpointmode_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_points at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_points_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_prec at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_prec_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_rationalmode at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_rationalmode_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_roundingwarnings at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_roundingwarnings_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_showmessagenumbers at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_showmessagenumbers_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_taylorrecursions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_taylorrecursions_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_timing at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_timing_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_verbosity at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_set_verbosity_and_print at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_simplify at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sin at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_single at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_single_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sinh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_snprintf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sort at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sprintf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sqrt at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_string at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sub at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_subpoly at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_substitute at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_sup at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_supnorm at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_suppressmessage at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_tail at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_tan at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_tanh at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_taylor at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_taylorform at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_triple_double at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_triple_double_obj at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_true at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_uninstall_msg_callback at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_unsuppressmessage at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_annotatefunction at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_apply at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_autoprint at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_bashevaluate at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_build_end_elliptic_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_build_list at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_construct_function at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_decompose_function at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_execute_procedure at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_externalplot at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_fpminimax at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_fprintf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_get_subfunctions at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_guessdegree at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_implementconstant at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_implementpoly at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_infnorm at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_max at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_min at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_plot at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_printf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_remez at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_snprintf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_sprintf at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_suppressmessage at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_taylorform at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_unsuppressmessage at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_v_worstcase at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_void at LIBSOLLYA_6.0.0 6.0
+ sollya_lib_worstcase at LIBSOLLYA_6.0.0 6.0
+ sollya_tool_main at LIBSOLLYA_6.0.0 6.0
diff --git a/debian/patches/debianization-test.patch b/debian/patches/debianization-test.patch
deleted file mode 100644
index 3b52463..0000000
--- a/debian/patches/debianization-test.patch
+++ /dev/null
@@ -1,75 +0,0 @@
-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" >> $@
---- a/tests-lib/Makefile.am
-+++ b/tests-lib/Makefile.am
-@@ -143,7 +143,6 @@
- tget_diam.c \
- tget_dieonerrormode.c \
- tget_display.c \
--tget_element_in_list.c \
- tget_free_variable_name.c \
- tget_function_arity.c \
- tget_head_function.c \
-@@ -335,13 +334,16 @@
- tv_remez.c \
- tvoid.c
-
--EXTRA_DIST = check.proto $(TESTFILES) $(TESTFILES:.c=.reference)
-+XFAILTESTFILES = tget_element_in_list.c
-+
-+EXTRA_DIST = check.proto $(TESTFILES) $(TESTFILES:.c=.reference) $(XFAILTESTFILES) $(XFAILTESTFILES:.c=.reference)
-
- check_PROGRAMS = force_compilation $(TESTFILES:.c=)
- check_LIBRARIES = libraryexample.a # libraryexample.a will be a shared library actually,
- # but we do not know how to explain it to automake.
-
--TESTS= $(TESTFILES:.c=.sh)
-+TESTS = $(TESTFILES:.c=.sh)
-+XFAIL_TESTS = $(XFAILTESTFILES:.c=.sh)
-
- LDADD = $(top_builddir)/libsollya.la -lstdc++
-
-@@ -355,12 +357,12 @@
-
- .PHONY: force_compilation$(EXEEXT)
-
--force_compilation_SOURCES=
-+force_compilation_SOURCES =
-
- force_compilation$(EXEEXT):
- @echo "Recompiling sollya";cd $(top_builddir); $(MAKE) libsollya.la
-
--$(TESTS): check.proto
-+$(TESTS) $(XFAIL_TESTS): check.proto
- @echo "Building "$@
- @echo "#!/bin/sh" > $@
- @echo "TESTFILES=\""$(@:.sh=)"\"" >> $@
diff --git a/debian/patches/debianization.patch b/debian/patches/debianization.patch
index f756c78..485eeaf 100644
--- a/debian/patches/debianization.patch
+++ b/debian/patches/debianization.patch
@@ -2,11 +2,11 @@ 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
+Last-Update: 2016-10-17
--- a/configure.ac
+++ b/configure.ac
-@@ -312,8 +312,8 @@
+@@ -319,8 +319,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]))
diff --git a/debian/patches/series b/debian/patches/series
index 09b1dc8..bda6985 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,11 +1 @@
-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
deleted file mode 100644
index d72b05b..0000000
--- a/debian/patches/upstream-00-lintian-spelling-error-silence.patch
+++ /dev/null
@@ -1,718 +0,0 @@
-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
deleted file mode 100644
index 76ce7b9..0000000
--- a/debian/patches/upstream-01-lintian-spelling-error-silence--massive.patch
+++ /dev/null
@@ -1,1185 +0,0 @@
-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
deleted file mode 100644
index f8131bf..0000000
--- a/debian/patches/upstream-02-lintian-spelling-error-silence--massive.patch
+++ /dev/null
@@ -1,1011 +0,0 @@
-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
deleted file mode 100644
index 6936e0a..0000000
--- a/debian/patches/upstream-03-source-version_h.patch
+++ /dev/null
@@ -1,209 +0,0 @@
-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
deleted file mode 100644
index cf4a74b..0000000
--- a/debian/patches/upstream-04-source-C2help2man.patch
+++ /dev/null
@@ -1,104 +0,0 @@
-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
deleted file mode 100644
index 0268060..0000000
--- a/debian/patches/upstream-05-autotools-revisit.patch
+++ /dev/null
@@ -1,154 +0,0 @@
-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
deleted file mode 100644
index 1d19dfb..0000000
--- a/debian/patches/upstream-06-autotools-help2man.patch
+++ /dev/null
@@ -1,66 +0,0 @@
-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-07-31
-
---- 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 = \
-+ --locale=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
deleted file mode 100644
index b8c8c28..0000000
--- a/debian/patches/upstream-07-autotools-ld_version_script.patch
+++ /dev/null
@@ -1,279 +0,0 @@
-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
deleted file mode 100644
index 7ba050b..0000000
--- a/debian/patches/upstream-08-autotools-advanced_strip.patch
+++ /dev/null
@@ -1,26 +0,0 @@
-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
index 4711ef9..f0c4c86 100755
--- a/debian/rules
+++ b/debian/rules
@@ -18,9 +18,10 @@ override_dh_auto_build-arch:
override_dh_auto_test-indep:
override_dh_auto_install-indep:
+ $(MAKE) -C _build/doc install-data DESTDIR=$(CURDIR)/debian/tmp
override_dh_installdocs-arch:
- dh_installdocs -plibsollya-dev --link-doc=libsollya5
+ dh_installdocs -plibsollya-dev --link-doc=libsollya6
dh_installdocs --remaining-packages
override_dh_compress-indep:
diff --git a/debian/sollya-doc.docs b/debian/sollya-doc.docs
index b13b3b9..e06e9c3 100644
--- a/debian/sollya-doc.docs
+++ b/debian/sollya-doc.docs
@@ -1,4 +1,4 @@
AUTHORS
NEWS
README
-doc/sollya.pdf
+debian/tmp/usr/share/doc/sollya/sollya.pdf
--
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