sage.rings.integer, integer_ring: Remove dependencies on sage.libs.ntl

[mkoeppe]

The two Cython modules depend on NTL in a very minor way that could be eliminated:

• sage.rings.integer.Integer depends on sage.libs.ntl to provide method _to_ZZ.

• sage.rings.integer_ring._coerce_ZZ depends on sage.libs.ntl to provide the method _coerce_ZZ.

These methods are only used in sage.libs.ntl and in sage.rings.number_field.number_field_element and rings.polynomial.polynomial_zz_pex.

In this ticket, we remove these two methods and replace all uses by their definition (= 1 or 2 lines).

CC: @videlec @fchapoton @alexjbest @mezzarobba @kliem @mwageringel @tscrim

Component: refactoring

Author: Matthias Koeppe

Branch/Commit: 62e2aa9

Reviewer: Travis Scrimshaw

Issue created by migration from https://trac.sagemath.org/ticket/29911

[kiwifb]

comment:1

Hum, sage.rings.integer.integer and sage.rings.integer_ring don't link to ntl directly at least.

readelf -d /usr/lib/python3.7/site-packages/sage/rings/integer_ring.cpython-37m-x86_64-linux-gnu.so 

Dynamic section at offset 0x35ca0 contains 26 entries:
  Tag        Type                         Name/Value
 0x0000000000000001 (NEEDED)             Shared library: [libgmp.so.10]
 0x0000000000000001 (NEEDED)             Shared library: [libpython3.7m.so.1.0]
 0x0000000000000001 (NEEDED)             Shared library: [libc.so.6]
 0x000000000000000c (INIT)               0x7000

and

readelf -d /usr/lib/python3.7/site-packages/sage/rings/finite_rings/element_givaro.cpython-37m-x86_64-linux-gnu.so 

Dynamic section at offset 0x4db78 contains 30 entries:
  Tag        Type                         Name/Value
 0x0000000000000001 (NEEDED)             Shared library: [libgivaro.so.9]
 0x0000000000000001 (NEEDED)             Shared library: [libpari-gmp.so.6]
 0x0000000000000001 (NEEDED)             Shared library: [libgmp.so.10]
 0x0000000000000001 (NEEDED)             Shared library: [libstdc++.so.6]
 0x0000000000000001 (NEEDED)             Shared library: [libpython3.7m.so.1.0]
 0x0000000000000001 (NEEDED)             Shared library: [libgcc_s.so.1]
 0x0000000000000001 (NEEDED)             Shared library: [libc.so.6]
 0x000000000000000c (INIT)               0xd000

on Gentoo compiled with --as-needed. Some headers may still be used though.

[mkoeppe]

comment:2

It's a compile time dependency. It's possible that it is all macros or inlined functions.

[mkoeppe]

Description changed:

--- 
+++ 
@@ -7,3 +7,6 @@
 These methods are only used in `sage.libs.ntl` and in `sage.rings.number_field.number_field_element` and `rings.polynomial.polynomial_zz_pex`.
 
 
+In this ticket, we change these two methods to ordinary functions somewhere in `sage.libs.ntl`, which already imports `sage.rings.integer*` (and a lot more from `sage.rings`).
+
+

[mkoeppe]

comment:5

Would it make sense to make these two methods functions in sage.libs.ntl.conversion?

[mkoeppe]

Branch: u/mkoeppe/sage_rings_integer__integer_ring__remove_dependencies_on_sage_libs_ntl

[mkoeppe]

Commit: cef2208

[mkoeppe]

New commits:

cef2208

sage.rings.integer.Integer._to_ZZ: Remove, replace uses by calls to mpz_to_ZZ

[mkoeppe]

Description changed:

--- 
+++ 
@@ -7,6 +7,6 @@
 These methods are only used in `sage.libs.ntl` and in `sage.rings.number_field.number_field_element` and `rings.polynomial.polynomial_zz_pex`.
 
 
-In this ticket, we change these two methods to ordinary functions somewhere in `sage.libs.ntl`, which already imports `sage.rings.integer*` (and a lot more from `sage.rings`).
+In this ticket, we remove these two methods and replace all uses by their definition (= 1 or 2 lines).
 
 

[sagetrac-git]

Changed commit from cef2208 to 15c4ccf

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

15c4ccf

sage.rings.integer_ring.IntegerRing_class._coerce_ZZ: Remove, replaces uses by calls to ZZ_to_mpz

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Dependencies: #29786

[sagetrac-git]

Changed commit from 15c4ccf to 5e9f00c

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

aa75810	src/module_list.py: Move options for most Extensions in sage.rings to distutils directives
43a9b16	src/sage/misc/sageinspect.py: Fix up doctest that depends on a modified source file
a5bc828	src/sage/misc/sageinspect.py: Fixup fixup
1baaa68	src/sage/misc/sageinspect.py: Remove unused import
6734969	Merge branch 't/29786/move_extension_options_from_src_module_list_py_to__distutils___directives_in_the_individual_files__part_4__sage_rings_' into t/29911/sage_rings_integer__integer_ring__remove_dependencies_on_sage_libs_ntl
5e9f00c	src/sage/rings/integer*.pyx: Remove 'libraries = ntl'

[mkoeppe]

Changed dependencies from #29786 to none