passagemath-ntl 10.6.33__cp314-cp314t-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

sage/libs/ntl/all.py

@@ -0,0 +1,72 @@
+# sage_setup: distribution = sagemath-ntl
+r"""
+Victor Shoup's NTL C++ Library
+
+Sage provides an interface to Victor Shoup's C++ library NTL.
+Features of this library include *incredibly fast* arithmetic with
+polynomials and asymptotically fast factorization of polynomials.
+"""
+# ****************************************************************************
+#       Copyright (C) 2005 William Stein <wstein@gmail.com>
+#
+#  Distributed under the terms of the GNU General Public License (GPL)
+#
+#    This code is distributed in the hope that it will be useful,
+#    but WITHOUT ANY WARRANTY; without even the implied warranty of
+#    MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+#    General Public License for more details.
+#
+#  The full text of the GPL is available at:
+#
+#                  https://www.gnu.org/licenses/
+# ****************************************************************************
+
+from sage.libs.ntl.ntl_ZZ import (
+    ntl_setSeed,
+    ntl_ZZ as ZZ,
+    randomBnd as ZZ_random,
+    randomBits as ZZ_random_bits)
+
+from sage.libs.ntl.ntl_ZZ_pContext import ntl_ZZ_pContext as ZZ_pContext
+
+from sage.libs.ntl.ntl_ZZ_p import (
+    ntl_ZZ_p as ZZ_p,
+    ntl_ZZ_p_random_element as ZZ_p_random)
+
+from sage.libs.ntl.ntl_ZZX import (
+    ntl_ZZX as ZZX,
+    zero_ZZX, one_ZZX)
+
+from sage.libs.ntl.ntl_ZZ_pX import ntl_ZZ_pX as ZZ_pX
+
+from sage.libs.ntl.ntl_ZZ_pEContext import ntl_ZZ_pEContext as ZZ_pEContext
+
+from sage.libs.ntl.ntl_ZZ_pE import ntl_ZZ_pE as ZZ_pE
+
+from sage.libs.ntl.ntl_ZZ_pEX import ntl_ZZ_pEX as ZZ_pEX
+
+from sage.libs.ntl.ntl_lzz_pContext import ntl_zz_pContext as zz_pContext
+
+from sage.libs.ntl.ntl_lzz_p import ntl_zz_p as zz_p
+
+from sage.libs.ntl.ntl_lzz_pX import ntl_zz_pX as zz_pX
+
+from sage.libs.ntl.ntl_mat_ZZ import ntl_mat_ZZ as mat_ZZ
+
+from sage.libs.ntl.ntl_GF2 import ntl_GF2 as GF2
+
+from sage.libs.ntl.ntl_GF2X import (
+    ntl_GF2X as GF2X,
+    GF2XHexOutput)
+
+from sage.libs.ntl.ntl_GF2EContext import ntl_GF2EContext as GF2EContext
+
+from sage.libs.ntl.ntl_GF2E import (
+    ntl_GF2E as GF2E,
+    ntl_GF2E_random as GF2E_random)
+
+from sage.libs.ntl.ntl_GF2EX import ntl_GF2EX as GF2EX
+
+from sage.libs.ntl.ntl_mat_GF2E import ntl_mat_GF2E as mat_GF2E
+
+from sage.libs.ntl.ntl_mat_GF2 import ntl_mat_GF2 as mat_GF2

sage/libs/ntl/conversion.pxd

@@ -0,0 +1,106 @@
+# sage_setup: distribution = sagemath-ntl
+r"""
+Inline conversions between NTL and Sage
+
+Each NTL type has a corresponding Sage types and we use the following
+conventions for conversion functions
+
+- ``new_ntl_XXX`` : create a new ntl object
+- ``new_sage_XXX``   : create a new Sage object
+- ``set_ntl_XXX`` : set the entries of the ntl object
+- ``set_sage_XXX``   : set the entries of the Sage object
+"""
+#*****************************************************************************
+#       Copyright (C) 2007 Martin Albrecht
+#       Copyright (C) 2008 Clement Pernet
+#       Copyright (C) 2018 Vincent Delecroix
+#       Copyright (C) 2018 Alex J. Best
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  http://www.gnu.org/licenses/
+#*****************************************************************************
+
+from sage.libs.ntl.types cimport mat_ZZ_p_c
+from sage.libs.ntl.ntl_ZZ_pContext cimport ntl_ZZ_pContext_class
+from sage.libs.ntl.ntl_ZZ_p cimport ntl_ZZ_p
+
+from sage.matrix.matrix_modn_dense_float cimport Matrix_modn_dense_float
+from sage.matrix.matrix_modn_dense_double cimport Matrix_modn_dense_double
+from sage.matrix.matrix_generic_dense cimport Matrix_generic_dense
+
+
+################################################
+# matrix_modn_dense_float (dense matrix over Z/nZ) #
+################################################
+
+cdef inline void set_ntl_matrix_modn_dense_float(mat_ZZ_p_c& A, ntl_ZZ_pContext_class c, Matrix_modn_dense_float m) noexcept:
+    r"""
+    set the entries of a NTL matrix from a Sage matrix.
+
+    INPUT:
+
+    - ``A`` -- NTL matrix
+    - ``m`` -- Sage matrix
+    """
+    cdef size_t i, j
+    cdef ntl_ZZ_p tmp
+    A.SetDims(m._nrows, m._ncols)
+    for i in range(m._nrows):
+        for j in range(m._ncols):
+            tmp = ntl_ZZ_p(m[i,j], c)
+            A.put(i, j, tmp.x)
+
+cdef inline void set_ntl_matrix_modn_dense_double(mat_ZZ_p_c& A, ntl_ZZ_pContext_class c, Matrix_modn_dense_double m) noexcept:
+    r"""
+    set the entries of a NTL matrix from a Sage matrix.
+
+    INPUT:
+
+    - ``A`` -- NTL matrix
+    - ``m`` -- Sage matrix
+    """
+    cdef size_t i, j
+    cdef ntl_ZZ_p tmp
+    A.SetDims(m._nrows, m._ncols)
+    for i in range(m._nrows):
+        for j in range(m._ncols):
+            tmp = ntl_ZZ_p(m[i,j], c)
+            A.put(i, j, tmp.x)
+
+cdef inline void set_ntl_matrix_modn_generic_dense(mat_ZZ_p_c& A, ntl_ZZ_pContext_class c, Matrix_generic_dense m) noexcept:
+    r"""
+    set the entries of a NTL matrix from a Sage matrix.
+
+    INPUT:
+
+    - ``A`` -- NTL matrix
+    - ``m`` -- Sage matrix
+    """
+    cdef size_t i, j
+    cdef ntl_ZZ_p tmp
+    A.SetDims(m._nrows, m._ncols)
+    for i in range(m._nrows):
+        for j in range(m._ncols):
+            tmp = ntl_ZZ_p(m[i,j], c)
+            A.put(i, j, tmp.x)
+
+cdef inline void set_ntl_matrix_modn_dense(mat_ZZ_p_c& A, ntl_ZZ_pContext_class c, m) noexcept:
+    r"""
+    set the entries of a NTL matrix from a Sage matrix.
+
+    INPUT:
+
+    - ``A`` -- NTL matrix
+    - ``m`` -- Sage matrix
+    """
+    if isinstance(m, Matrix_modn_dense_float):
+        set_ntl_matrix_modn_dense_float(A, c, m)
+    elif isinstance(m, Matrix_modn_dense_double):
+        set_ntl_matrix_modn_dense_double(A, c, m)
+    elif isinstance(m, Matrix_generic_dense):
+        set_ntl_matrix_modn_generic_dense(A, c, m)
+    else:
+        raise NotImplementedError("Matrix type not yet implemented")

sage/libs/ntl/convert.pxd

@@ -0,0 +1,7 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport ZZ_c
+from sage.libs.gmp.types cimport mpz_t, mpz_srcptr
+
+cdef void ZZ_to_mpz(mpz_t output, ZZ_c* x) noexcept
+cdef void mpz_to_ZZ(ZZ_c *output, mpz_srcptr x) noexcept
+cdef void PyLong_to_ZZ(ZZ_c* z, value) noexcept

sage/libs/ntl/convert.pyx

@@ -0,0 +1,38 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+# distutils: libraries = NTL_LIBRARIES gmp
+# distutils: extra_compile_args = NTL_CFLAGS
+# distutils: include_dirs = NTL_INCDIR
+# distutils: library_dirs = NTL_LIBDIR
+# distutils: extra_link_args = NTL_LIBEXTRA
+# distutils: language = c++
+"""
+Conversion between NTL's ``ZZ`` and various other types
+"""
+
+#*****************************************************************************
+#       Copyright (C) 2015 Jeroen Demeyer <jdemeyer@cage.ugent.be>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  http://www.gnu.org/licenses/
+#*****************************************************************************
+
+from sage.libs.gmp.mpz cimport mpz_init, mpz_clear
+from sage.libs.gmp.pylong cimport mpz_set_pylong
+
+cdef extern from "ntlwrap_impl.h":
+    void ZZ_to_mpz(mpz_t output, ZZ_c* x)
+    void mpz_to_ZZ(ZZ_c *output, mpz_srcptr x)
+
+cdef void PyLong_to_ZZ(ZZ_c* z, value) noexcept:
+    """
+    Convert ``value`` (which must be a Python ``long``) to NTL.
+    """
+    cdef mpz_t t
+    mpz_init(t)
+    mpz_set_pylong(t, value)
+    mpz_to_ZZ(z, t)
+    mpz_clear(t)

sage/libs/ntl/decl.pxi

@@ -0,0 +1,18 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport *
+from sage.libs.ntl.ZZ cimport *
+from sage.libs.ntl.ZZ_pX cimport *
+from sage.libs.ntl.ZZ_p cimport *
+from sage.libs.ntl.ZZX cimport *
+from sage.libs.ntl.ZZ_pE cimport *
+from sage.libs.ntl.ZZ_pEX cimport *
+from sage.libs.ntl.GF2 cimport *
+from sage.libs.ntl.GF2X cimport *
+from sage.libs.ntl.GF2E cimport *
+from sage.libs.ntl.GF2EX cimport *
+from sage.libs.ntl.vec_GF2 cimport *
+from sage.libs.ntl.vec_GF2E cimport *
+from sage.libs.ntl.mat_ZZ cimport *
+from sage.libs.ntl.mat_GF2 cimport *
+from sage.libs.ntl.mat_GF2E cimport *
+from sage.libs.ntl.convert cimport mpz_to_ZZ, ZZ_to_mpz

sage/libs/ntl/error.pyx

@@ -0,0 +1,63 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: libraries = ntl gmp
+# distutils: extra_compile_args = NTL_CFLAGS
+# distutils: include_dirs = NTL_INCDIR
+# distutils: libraries = NTL_LIBRARIES
+# distutils: library_dirs = NTL_LIBDIR
+# distutils: extra_link_args = NTL_LIBEXTRA
+# distutils: language = c++
+"""
+NTL error handler
+
+AUTHOR:
+
+- Jeroen Demeyer (2015-02-15): initial version, see :issue:`17784`
+
+- Jeroen Demeyer (2015-07-09): use standard NTL ``ErrorMsgCallback``,
+  see :issue:`18875`
+"""
+
+#*****************************************************************************
+#       Copyright (C) 2015 Jeroen Demeyer <jdemeyer@cage.ugent.be>
+#
+# This program is free software: you can redistribute it and/or modify
+# it under the terms of the GNU General Public License as published by
+# the Free Software Foundation, either version 2 of the License, or
+# (at your option) any later version.
+#                  http://www.gnu.org/licenses/
+#*****************************************************************************
+
+
+from sage.libs.ntl.ntl_tools cimport ErrorMsgCallback
+from sage.cpython.string cimport char_to_str
+
+
+class NTLError(RuntimeError):
+    """
+    Exceptions from the NTL library.
+
+    EXAMPLES::
+
+        sage: a = ntl.ZZX([0])
+        sage: a.quo_rem(a)
+        Traceback (most recent call last):
+        ...
+        NTLError: DivRem: division by zero
+    """
+
+
+cdef void NTL_error_callback(const char* s) except *:
+    raise NTLError(char_to_str(s))
+
+
+def setup_NTL_error_callback():
+    """
+    Setup the NTL error handler callback.
+
+    EXAMPLES::
+
+        sage: from sage.libs.ntl.error import setup_NTL_error_callback
+        sage: setup_NTL_error_callback()
+    """
+    global ErrorMsgCallback
+    ErrorMsgCallback = NTL_error_callback

sage/libs/ntl/lzz_p.pxd

@@ -0,0 +1,20 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.ntl.types cimport zz_p_c
+
+cdef extern from "ntlwrap.h":
+    long zz_p_rep "rep"(zz_p_c x)
+    long zz_p_isZero "IsZero"(zz_p_c x)
+    void zz_p_add "add"(zz_p_c x, zz_p_c a, zz_p_c b)
+    void zz_p_sub "sub"(zz_p_c x, zz_p_c a, zz_p_c b)
+    void zz_p_negate "NTL::negate"(zz_p_c x, zz_p_c a)
+    void zz_p_mul "mul"(zz_p_c x, zz_p_c a, zz_p_c b)
+    void zz_p_div "div"(zz_p_c x, zz_p_c a, zz_p_c b)
+    void zz_p_inv "inv"(zz_p_c x, zz_p_c a)
+    void zz_p_power "NTL::power"(zz_p_c x, zz_p_c a, long e)
+    void zz_p_sqr "sqr"(zz_p_c x, zz_p_c a)
+    void zz_p_clear "clear"(zz_p_c x)
+    void zz_p_set_zero "clear"(zz_p_c x)
+    void zz_p_set_one "set"(zz_p_c x)
+    void zz_p_swap "swap"(zz_p_c x, zz_p_c y)

sage/libs/ntl/lzz_pX.pxd

@@ -0,0 +1,59 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.ntl.types cimport ZZ_c, zz_p_c, zz_pX_c, zz_pX_Modulus_c
+
+
+cdef extern from "ntlwrap.h":
+    char* zz_pX_repr(zz_pX_c* x)
+    void zz_pX_SetCoeff_long "SetCoeff"(zz_pX_c x, long i, long a)
+    zz_p_c zz_pX_GetCoeff "coeff"(zz_pX_c x, long i)
+    void zz_pX_add "add"(zz_pX_c x, zz_pX_c a, zz_pX_c b)
+    void zz_pX_sub "sub"(zz_pX_c x, zz_pX_c a, zz_pX_c b)
+    void zz_pX_mul "mul"(zz_pX_c x, zz_pX_c a, zz_pX_c b)
+    void zz_pX_rmul "mul"(zz_pX_c x, zz_pX_c a, long b)
+    void zz_pX_lmul "mul"(zz_pX_c x, long a, zz_pX_c b)
+    long zz_pX_div "div"(zz_pX_c x, zz_pX_c a, zz_pX_c b)
+    long zz_pX_divide "divide"(zz_pX_c x, zz_pX_c a, zz_pX_c b)
+    void zz_pX_mod "rem"(zz_pX_c x, zz_pX_c a, zz_pX_c b)
+    void zz_pX_divrem "DivRem"(zz_pX_c q, zz_pX_c r, zz_pX_c a, zz_pX_c b)
+    void zz_pX_LeftShift "LeftShift"(zz_pX_c x, zz_pX_c a, long b)
+    void zz_pX_RightShift "RightShift"(zz_pX_c x, zz_pX_c a, long b)
+    void zz_pX_negate "NTL::negate"(zz_pX_c x, zz_pX_c a)
+    zz_p_c zz_pX_LeadCoeff "LeadCoeff"(zz_pX_c x)
+    zz_p_c zz_pX_ConstTerm "ConstTerm" (zz_pX_c x)
+    void zz_pX_negate "NTL::negate"(zz_pX_c x, zz_pX_c a)
+    void zz_pX_trunc "trunc"(zz_pX_c x, zz_pX_c a, long n) ## x = a % X^n
+    void zz_pX_MulTrunc "MulTrunc"(zz_pX_c x, zz_pX_c a, zz_pX_c b, long n)
+    void zz_pX_SqrTrunc "SqrTrunc"(zz_pX_c x, zz_pX_c a, long n)
+    void zz_pX_InvTrunc "InvTrunc"(zz_pX_c x, zz_pX_c a, long n)
+    void zz_pX_sqr "sqr"(zz_pX_c x, zz_pX_c a)
+    void zz_pX_power "NTL::power"(zz_pX_c x, zz_pX_c a, long e)
+    void zz_pX_clear "clear"(zz_pX_c x)
+    void zz_pX_SetX "SetX"(zz_pX_c x)
+    bint zz_pX_IsX "IsX"(zz_pX_c x)
+    bint zz_pX_IsZero "IsZero"(zz_pX_c x)
+    bint zz_pX_IsOne "IsOne"(zz_pX_c x)
+    long zz_pX_deg "deg"(zz_pX_c x)
+    zz_pX_c zz_pX_zero "zz_pX::zero"()
+    void zz_pX_diff "diff"(zz_pX_c x, zz_pX_c a)
+    void zz_pX_reverse "reverse"(zz_pX_c x, zz_pX_c a)
+    void zz_pX_reverse_hi "reverse"(zz_pX_c x, zz_pX_c a, long hi)
+    void zz_pX_eval "eval" (zz_p_c fa, zz_pX_c f, zz_p_c a)
+    void zz_pX_MakeMonic "MakeMonic"(zz_pX_c x)
+
+    void zz_pX_Modulus_build "build"(zz_pX_Modulus_c F, zz_pX_c f) # MUST be called before using the modulus
+    long zz_pX_Modulus_deg "deg"(zz_pX_Modulus_c F)
+
+    void zz_pX_MulMod_pre "MulMod"(zz_pX_c x, zz_pX_c a, zz_pX_c b, zz_pX_Modulus_c F)
+    void zz_pX_SqrMod_pre "SqrMod"(zz_pX_c x, zz_pX_c a, zz_pX_Modulus_c F)
+    void zz_pX_PowerMod_pre "PowerMod"(zz_pX_c x, zz_pX_c a, ZZ_c e, zz_pX_Modulus_c F)
+    void zz_pX_PowerMod_long_pre "PowerMod"(zz_pX_c x, zz_pX_c a, long e, zz_pX_Modulus_c F)
+    void zz_pX_PowerXMod_pre "PowerXMod"(zz_pX_c x, ZZ_c e, zz_pX_Modulus_c F)
+    void zz_pX_PowerXMod_long_pre "PowerXMod"(zz_pX_c x, long e, zz_pX_Modulus_c F)
+    void zz_pX_PowerXPlusAMod_pre "PowerXPlusAMod"(zz_pX_c x, zz_p_c a, ZZ_c e, zz_pX_Modulus_c F)
+    void zz_pX_PowerXPlusAMod_long_pre "PowerXPlusAMod"(zz_pX_c x, zz_p_c a, long e, zz_pX_Modulus_c F)
+    void zz_pX_rem_pre "rem"(zz_pX_c x, zz_pX_c a, zz_pX_Modulus_c F)
+    void zz_pX_DivRem_pre "DivRem"(zz_pX_c q, zz_pX_c r, zz_pX_c a, zz_pX_Modulus_c F)
+    void zz_pX_div_pre "div"(zz_pX_c q, zz_pX_c a, zz_pX_Modulus_c F)
+    void zz_pX_InvMod_pre "InvMod"(zz_pX_c x, zz_pX_c a, zz_pX_Modulus_c F)

sage/libs/ntl/mat_GF2.pxd

@@ -0,0 +1,30 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport mat_GF2_c, vec_GF2_c, GF2_c
+
+
+cdef extern from "ntlwrap.h":
+    void mat_GF2_add "add"( mat_GF2_c x, mat_GF2_c a, mat_GF2_c b)
+    void mat_GF2_sub "sub"( mat_GF2_c x, mat_GF2_c a, mat_GF2_c b)
+    void mat_GF2_mul "mul"( mat_GF2_c x, mat_GF2_c a, mat_GF2_c b)
+    void mat_GF2_negate "NTL::negate"(mat_GF2_c x, mat_GF2_c a)
+    void mat_GF2_power "NTL::power"(mat_GF2_c t, mat_GF2_c x, long e)
+    GF2_c mat_GF2_determinant "determinant"(mat_GF2_c m)
+    void mat_GF2_transpose "transpose"(mat_GF2_c r, mat_GF2_c m)
+    long mat_GF2_IsZero "IsZero"(mat_GF2_c x)
+
+    long mat_GF2_gauss "gauss"(mat_GF2_c A, long w)
+    void mat_GF2_solve "solve"(GF2_c d, vec_GF2_c X, mat_GF2_c A, vec_GF2_c b)
+    void mat_GF2_inv "inv" (mat_GF2_c X, mat_GF2_c A)
+
+    long mat_GF2_IsIdent "IsIdent"(mat_GF2_c A, long n)
+    long mat_GF2_IsDiag "IsDiag"(mat_GF2_c A, long n, GF2_c d)
+
+    void mat_GF2_image "image"(mat_GF2_c X, mat_GF2_c A)
+    void mat_GF2_kernel "kernel" (mat_GF2_c X, mat_GF2_c A)
+
+    void vec_GF2_conv_mat_GF2 "conv" (vec_GF2_c out, mat_GF2_c inp)
+    void mat_GF2_conv_vec_GF2(mat_GF2_c out, vec_GF2_c inp)
+
+
+cdef extern from "ntlwrap_impl.h":
+    void mat_GF2_setitem(mat_GF2_c* x, int i, int j, GF2_c* z)

sage/libs/ntl/mat_GF2E.pxd

@@ -0,0 +1,30 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport mat_GF2E_c, vec_GF2E_c, GF2E_c
+
+
+cdef extern from "ntlwrap.h":
+    void mat_GF2E_add "add"( mat_GF2E_c x, mat_GF2E_c a, mat_GF2E_c b)
+    void mat_GF2E_sub "sub"( mat_GF2E_c x, mat_GF2E_c a, mat_GF2E_c b)
+    void mat_GF2E_mul "mul"( mat_GF2E_c x, mat_GF2E_c a, mat_GF2E_c b)
+    void mat_GF2E_negate "NTL::negate"(mat_GF2E_c x, mat_GF2E_c a)
+    void mat_GF2E_power "NTL::power"(mat_GF2E_c t, mat_GF2E_c x, long e)
+    GF2E_c mat_GF2E_determinant "determinant"(mat_GF2E_c m)
+    void mat_GF2E_transpose "transpose"(mat_GF2E_c r, mat_GF2E_c m)
+    long mat_GF2E_IsZero "IsZero"(mat_GF2E_c x)
+
+    long mat_GF2E_gauss "gauss"(mat_GF2E_c A, long w)
+    void mat_GF2E_solve "solve"(GF2E_c d, vec_GF2E_c X, mat_GF2E_c A, vec_GF2E_c b)
+    void mat_GF2E_inv "inv" (mat_GF2E_c X, mat_GF2E_c A)
+
+    long mat_GF2E_IsIdent "IsIdent"(mat_GF2E_c A, long n)
+    long mat_GF2E_IsDiag "IsDiag"(mat_GF2E_c A, long n, GF2E_c d)
+
+    void mat_GF2E_image "image"(mat_GF2E_c X, mat_GF2E_c A)
+    void mat_GF2E_kernel "kernel" (mat_GF2E_c X, mat_GF2E_c A)
+
+    void vec_GF2E_conv_mat_GF2E "conv" (vec_GF2E_c out, mat_GF2E_c inp)
+    void mat_GF2E_conv_vec_GF2E(mat_GF2E_c out, vec_GF2E_c inp)
+
+
+cdef extern from "ntlwrap_impl.h":
+    void mat_GF2E_setitem(mat_GF2E_c* x, int i, int j, GF2E_c* z)

sage/libs/ntl/mat_ZZ.pxd

@@ -0,0 +1,59 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport mat_ZZ_c, ZZ_c, ZZX_c
+
+
+cdef extern from "ntlwrap.h":
+    void mat_ZZ_mul "mul"( mat_ZZ_c x, mat_ZZ_c a, mat_ZZ_c b)
+    void mat_ZZ_add "add"( mat_ZZ_c x, mat_ZZ_c a, mat_ZZ_c b)
+    void mat_ZZ_sub "sub"( mat_ZZ_c x, mat_ZZ_c a, mat_ZZ_c b)
+    void mat_ZZ_power "NTL::power"( mat_ZZ_c x, mat_ZZ_c a, long e)
+    void mat_ZZ_CharPoly "CharPoly"(ZZX_c r, mat_ZZ_c m)
+
+    cdef long mat_ZZ_LLL_FP   "LLL_FP"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_FP_U "LLL_FP"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_QP   "LLL_QP"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_QP_U "LLL_QP"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_XD   "LLL_XD"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_XD_U "LLL_XD"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_RR   "LLL_RR"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_LLL_RR_U "LLL_RR"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+
+    cdef long mat_ZZ_G_LLL_FP   "G_LLL_FP"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_FP_U "G_LLL_FP"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_QP   "G_LLL_QP"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_QP_U "G_LLL_QP"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_XD   "G_LLL_XD"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_XD_U "G_LLL_XD"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_RR   "G_LLL_RR"(mat_ZZ_c B, double delta, int deep, int check , int verbose)
+    cdef long mat_ZZ_G_LLL_RR_U "G_LLL_RR"(mat_ZZ_c B, mat_ZZ_c U, double delta, int deep, int check , int verbose)
+
+    cdef long mat_ZZ_BKZ_FP     "BKZ_FP"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_FP_U   "BKZ_FP"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_XD     "BKZ_XD"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_XD_U   "BKZ_XD"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_QP     "BKZ_QP"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_QP_U   "BKZ_QP"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_QP1    "BKZ_QP1"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_QP1_U  "BKZ_QP1"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_RR     "BKZ_RR"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_BKZ_RR_U   "BKZ_RR"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+
+    cdef long mat_ZZ_G_BKZ_FP     "G_BKZ_FP"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_FP_U   "G_BKZ_FP"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_XD     "G_BKZ_XD"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_XD_U   "G_BKZ_XD"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_QP     "G_BKZ_QP"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_QP_U   "G_BKZ_QP"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_QP1    "G_BKZ_QP1"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_QP1_U  "G_BKZ_QP1"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_RR     "G_BKZ_RR"(mat_ZZ_c B, double delta, long BlockSize, long prune, int check, long verbose)
+    cdef long mat_ZZ_G_BKZ_RR_U   "G_BKZ_RR"(mat_ZZ_c B, mat_ZZ_c U, double delta, long BlockSize, long prune, int check, long verbose)
+
+
+cdef extern from "ntlwrap_impl.h":
+    void mat_ZZ_setitem(mat_ZZ_c* x, int i, int j, ZZ_c* z)
+    ZZ_c* mat_ZZ_getitem(mat_ZZ_c* x, int i, int j)
+    ZZ_c* mat_ZZ_determinant(mat_ZZ_c* x, long deterministic)
+    mat_ZZ_c* mat_ZZ_HNF(mat_ZZ_c* A, ZZ_c* D)
+    cdef long mat_ZZ_LLL(ZZ_c **det, mat_ZZ_c *x, long a, long b, long verbose)
+    cdef long mat_ZZ_LLL_U(ZZ_c **det, mat_ZZ_c *x, mat_ZZ_c *U, long a, long b, long verbose)

sage/libs/ntl/misc.pxi

@@ -0,0 +1,33 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from cysignals.memory cimport sig_free
+from cysignals.signals cimport sig_off
+
+# Unset the signal handler and create a string from the buffer,
+# then free the memory in the buffer.
+cdef extern from *:
+    void del_charstar "delete[]"(char*)
+
+cdef object string(char* s):
+    """
+    Take a char* allocated using malloc, and converts it to a Python
+    string, then deletes the allocated memory.  Also unsets the signal
+    handler, so you *must* call sig_on() right before calling this!
+    """
+    sig_off()
+    # Makes a python string and deletes what is pointed to by s.
+    t = str(s)
+    sig_free(s)
+    return t
+
+cdef object string_delete(char* s):
+    """
+    Take a char* allocated using C++ new, and converts it to a Python
+    string, then deletes the allocated memory.  Also unsets the signal
+    handler, so you *must* call sig_on() right before calling this!
+    """
+    sig_off()
+    t = str(s)
+    del_charstar(s)
+    return t

sage/libs/ntl/ntl_GF2.pxd

@@ -0,0 +1,5 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport GF2_c
+
+cdef class ntl_GF2():
+    cdef GF2_c x