passagemath-ntl 10.6.37__cp311-cp311-manylinux_2_24_aarch64.manylinux_2_28_aarch64.whl

sage/libs/ntl/GF2E.pxd

@@ -0,0 +1,28 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport GF2E_c, GF2X_c, GF2_c, GF2XModulus_c, ZZ_c
+
+
+cdef extern from "ntlwrap.h":
+    void GF2E_init "GF2E::init"(GF2X_c x)
+    long GF2E_degree "GF2E::degree"()
+    GF2XModulus_c GF2E_modulus "GF2E::modulus"()
+
+    int GF2E_IsOne "IsOne"(GF2E_c x)
+    int GF2E_IsZero "IsZero"(GF2E_c x)
+
+    void GF2E_add "add"( GF2E_c x, GF2E_c a, GF2E_c b)
+    void GF2E_sub "sub"( GF2E_c x, GF2E_c a, GF2E_c b)
+    void GF2E_mul "mul"( GF2E_c x, GF2E_c a, GF2E_c b)
+    void GF2E_div "div"( GF2E_c x, GF2E_c a, GF2E_c b)
+    void GF2E_power "NTL::power"(GF2E_c t, GF2E_c x, long e)
+    long GF2E_deg "deg"(GF2E_c x)
+
+    void GF2E_conv_GF2X "conv" (GF2E_c out, GF2X_c inp)
+    void GF2E_conv_long "conv" (GF2E_c out, long inp)
+    void GF2E_conv_ZZ "conv" (GF2E_c out, ZZ_c inp)
+    void GF2E_conv_GF2 "conv" (GF2E_c out, GF2_c inp)
+    GF2X_c GF2E_rep "rep"(GF2E_c x)
+
+    GF2E_c GF2E_random "random_GF2E"()
+
+    GF2_c GF2E_trace "trace"(GF2E_c x)

sage/libs/ntl/GF2EX.pxd

@@ -0,0 +1,12 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport GF2EX_c
+
+
+cdef extern from "ntlwrap.h":
+    void GF2EX_add "add"( GF2EX_c x, GF2EX_c a, GF2EX_c b)
+    void GF2EX_sub "sub"( GF2EX_c x, GF2EX_c a, GF2EX_c b)
+    void GF2EX_mul "mul"( GF2EX_c x, GF2EX_c a, GF2EX_c b)
+    void GF2EX_negate "NTL::negate"(GF2EX_c x, GF2EX_c a)
+    void GF2EX_power "NTL::power"(GF2EX_c t, GF2EX_c x, long e)
+    int GF2EX_IsOne "IsOne"(GF2EX_c x)
+    int GF2EX_IsZero "IsZero"(GF2EX_c x)

sage/libs/ntl/GF2X.pxd

@@ -0,0 +1,81 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.types cimport GF2X_c, GF2_c, GF2XModulus_c, vec_GF2_c, ZZ_c
+
+
+cdef extern from "ntlwrap.h":
+    long *GF2XHexOutput_c "(&GF2X::HexOutput)" # work-around for Cython bug
+
+    int GF2X_IsOne "IsOne"(GF2X_c x)
+    int GF2X_IsZero "IsZero"(GF2X_c x)
+    int GF2X_IsX "IsX"(GF2X_c x)
+
+    void GF2X_add "add"( GF2X_c x, GF2X_c a, GF2X_c b)
+    void GF2X_sub "sub"( GF2X_c x, GF2X_c a, GF2X_c b)
+    void GF2X_mul "mul"( GF2X_c x, GF2X_c a, GF2X_c b)
+    void GF2X_negate "NTL::negate"(GF2X_c x, GF2X_c a)
+    void GF2X_power "NTL::power"(GF2X_c t, GF2X_c x, long e)
+    long GF2X_deg "deg"(GF2X_c x)
+
+    void GF2X_conv_long "conv" (GF2X_c x, long a)
+    void GF2X_conv_GF2 "conv" (GF2X_c x, GF2_c a)
+
+    void GF2X_LeftShift "LeftShift"( GF2X_c r, GF2X_c a, long offset)
+    void GF2X_RightShift "RightShift"( GF2X_c r, GF2X_c a, long offset)
+
+    void GF2X_trunc "trunc"(GF2X_c r, GF2X_c a, long n)
+    void GF2X_DivRem "DivRem"(GF2X_c q, GF2X_c r, GF2X_c a, GF2X_c b)
+    void GF2X_div "div" (GF2X_c q, GF2X_c a, GF2X_c b)
+    void GF2X_rem "rem" (GF2X_c r, GF2X_c a, GF2X_c b)
+    long GF2X_divide "divide"(GF2X_c q, GF2X_c a, GF2X_c b)
+
+    void GF2X_GCD "GCD" (GF2X_c r, GF2X_c a, GF2X_c b)
+    void GF2X_XGCD "XGCD" (GF2X_c r, GF2X_c s, GF2X_c t, GF2X_c a, GF2X_c b)
+
+    void GF2XFromBytes(GF2X_c a, unsigned char *p, long n)
+    void BytesFromGF2X "BytesFromGF2X" (unsigned char *p, GF2X_c a, long n)
+
+    GF2_c GF2X_coeff "coeff"(GF2X_c a, long i)
+    GF2_c GF2X_LeadCoeff "LeadCoeff"(GF2X_c a)
+    GF2_c GF2X_ConstTerm "ConstTerm"(GF2X_c a)
+    void GF2X_SetCoeff "SetCoeff"(GF2X_c x, long i, GF2_c a)
+    void GF2X_SetCoeff_long "SetCoeff"(GF2X_c x, long i, long a)
+
+    GF2X_c GF2X_diff "diff"(GF2X_c a)
+    GF2X_c GF2X_reverse "reverse"(GF2X_c a, long hi)
+
+    long GF2X_weight "weight"(GF2X_c a)
+    long GF2X_NumBits "NumBits" (GF2X_c a)
+    long GF2X_NumBytes "NumBytes"(GF2X_c a)
+
+    void GF2X_MinPolySeq "MinPolySeq" (GF2X_c h, vec_GF2_c a, long m)
+
+    #### GF2XFactoring
+    long GF2X_IterIrredTest "IterIrredTest" (GF2X_c f)
+    void GF2X_BuildSparseIrred "BuildSparseIrred" (GF2X_c f, long n)
+    void GF2X_BuildRandomIrred "BuildRandomIrred" (GF2X_c f, GF2X_c g)
+    void GF2X_BuildIrred "BuildIrred" (GF2X_c f, long n)
+
+    #### GF2XModulus_c
+    void GF2XModulus_build "build"(GF2XModulus_c F, GF2X_c f) # MUST be called before using the modulus
+    long GF2XModulus_deg "deg"(GF2XModulus_c F)
+
+    GF2X_c GF2XModulus_GF2X "GF2X" (GF2XModulus_c m)
+
+    GF2X_c GF2X_IrredPolyMod "IrredPolyMod" (GF2X_c g, GF2XModulus_c F)
+
+    void GF2X_MulMod_pre "MulMod"(GF2X_c x, GF2X_c a, GF2X_c b, GF2XModulus_c F)
+    void GF2X_SqrMod_pre "SqrMod"(GF2X_c x, GF2X_c a, GF2XModulus_c F)
+    void GF2X_PowerMod_pre "PowerMod"(GF2X_c x, GF2X_c a, ZZ_c e, GF2XModulus_c F)
+    void GF2X_PowerMod_long_pre "PowerMod"(GF2X_c x, GF2X_c a, long e, GF2XModulus_c F)
+    void GF2X_PowerXMod_pre "PowerXMod"(GF2X_c x, ZZ_c e, GF2XModulus_c F)
+    void GF2X_PowerXMod_long_pre "PowerXMod"(GF2X_c x, long e, GF2XModulus_c F)
+    void GF2X_PowerXPlusAMod_pre "PowerXPlusAMod"(GF2X_c x, GF2_c a, GF2_c e, GF2XModulus_c F)
+    void GF2X_PowerXPlusAMod_long_pre "PowerXPlusAMod"(GF2X_c x, GF2_c a, long e, GF2XModulus_c F)
+
+    # x = g(h) mod f; deg(h) < n
+    void GF2X_CompMod "CompMod"(GF2X_c x, GF2X_c g, GF2X_c h, GF2XModulus_c F)
+    # xi = gi(h) mod f (i=1,2), deg(h) < n.
+    void GF2X_Comp2Mod "Comp2Mod"(GF2X_c x1, GF2X_c x2, GF2X_c g1, GF2X_c g2, GF2X_c h, GF2XModulus_c F)
+
+    # xi = gi(h) mod f (i=1,2,3), deg(h) < n.
+    void GF2X_CompMod3 "Comp2Mod"(GF2X_c x1, GF2X_c x2, GF2X_c x3, GF2X_c g1, GF2X_c g2, GF2X_c g3, GF2X_c h, GF2XModulus_c F)

sage/libs/ntl/ZZ.pxd

@@ -0,0 +1,93 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.ntl.types cimport ZZ_c
+
+
+cdef extern from "ntlwrap.h":
+    void ZZ_conv_from_int "conv"(ZZ_c x, int i)
+    void ZZ_conv_to_int "conv"(int i, ZZ_c x)
+    void ZZ_conv_from_long "conv"(ZZ_c x, long l)
+    void ZZ_conv_to_long "conv"(long l, ZZ_c x)
+
+    long ZZ_sign "sign"(ZZ_c a)
+    long ZZ_IsZero "IsZero"(ZZ_c a)
+    long ZZ_IsOne "IsOne"(ZZ_c a)
+    long ZZ_compare "compare"(ZZ_c a, ZZ_c b)
+    void ZZ_add "add"( ZZ_c x, ZZ_c a, ZZ_c b)
+    void ZZ_add_long "add"(ZZ_c x, ZZ_c a, long b)
+    void ZZ_sub "sub"( ZZ_c x, ZZ_c a, ZZ_c b)
+    void ZZ_sub_long "sub"(ZZ_c x, long a, ZZ_c b)
+    void ZZ_negate "NTL::negate"(ZZ_c x, ZZ_c a)
+    void ZZ_abs "abs"(ZZ_c x, ZZ_c a)
+
+    void ZZ_mul "mul"( ZZ_c x, ZZ_c a, ZZ_c b)
+    void ZZ_mul_long "mul"( ZZ_c x, ZZ_c a, long b)
+    void ZZ_sqr "sqr"(ZZ_c x, ZZ_c a)
+
+    void ZZ_DivRem "DivRem"(ZZ_c q, ZZ_c r, ZZ_c a, ZZ_c b)
+    void ZZ_div "div"( ZZ_c x, ZZ_c a, ZZ_c b)
+    void ZZ_rem "rem"( ZZ_c r, ZZ_c a, ZZ_c b)
+    long ZZ_DivRem_long "DivRem"(ZZ_c q, ZZ_c a, long b)
+    long ZZ_rem_long "rem"(ZZ_c a, long b)
+    long ZZ_divide "divide"(ZZ_c q, ZZ_c a, ZZ_c b)
+    long ZZ_divide_long "divide"(ZZ_c q, ZZ_c a, long b)
+    long ZZ_divide_test "divide"(ZZ_c a, ZZ_c b)
+    long ZZ_divide_test_long "divide"(ZZ_c a, long b)
+
+    void ZZ_GCD "GCD"(ZZ_c d, ZZ_c a, ZZ_c b)
+    void ZZ_XGCD "XGCD"(ZZ_c d, ZZ_c s, ZZ_c t, ZZ_c a, ZZ_c b)
+
+    void ZZ_AddMod "AddMod"(ZZ_c x, ZZ_c a, ZZ_c b, ZZ_c n)
+    void ZZ_SubMod "SubMod"(ZZ_c x, ZZ_c a, ZZ_c b, ZZ_c n)
+    void ZZ_NegateMod "NegateMod"(ZZ_c x, ZZ_c a, ZZ_c n)
+    void ZZ_MulMod "MulMod"(ZZ_c x, ZZ_c a, ZZ_c b, ZZ_c n)
+    void ZZ_SqrMod "SqrMod"(ZZ_c x, ZZ_c a, ZZ_c n)
+    void ZZ_InvMod "InvMod"(ZZ_c x, ZZ_c a, ZZ_c n)
+    long ZZ_InvModStatus "InvModStatus"(ZZ_c x, ZZ_c a, ZZ_c n)
+    void ZZ_PowerMod "PowerMod"(ZZ_c x, ZZ_c a, ZZ_c e, ZZ_c n)
+    void ZZ_PowerMod_long "PowerMod"(ZZ_c x, ZZ_c a, long e, ZZ_c n)
+
+    void ZZ_LeftShift "LeftShift"(ZZ_c x, ZZ_c a, long n)
+    void ZZ_RightShift "RightShift"(ZZ_c x, ZZ_c a, long n)
+
+    long ZZ_MakeOdd "MakeOdd"(ZZ_c x)
+    long ZZ_NumTwos "NumTwos"(ZZ_c x)
+    long ZZ_IsOdd "IsOdd"(ZZ_c a)
+    long ZZ_NumBits "NumBits"(ZZ_c a)
+    long ZZ_bit "bit"(ZZ_c a, long k)
+    void ZZ_trunc "trunc"(ZZ_c x, ZZ_c a, long k)
+    void ZZ_SetBit "SetBit"(ZZ_c x, long p)
+    void ZZ_SwitchBit "SwitchBit"(ZZ_c x, long p)
+    void ZZ_weight "weight"(ZZ_c a)
+    void ZZ_bit_and "bit_and"(ZZ_c x, ZZ_c a, ZZ_c b)
+    void ZZ_bit_or "bit_or"(ZZ_c x, ZZ_c a, ZZ_c b)
+    void ZZ_bit_xor "bit_xor"(ZZ_c x, ZZ_c a, ZZ_c b)
+
+    void ZZ_SetSeed "SetSeed"(ZZ_c s)
+    void ZZ_RandomBnd "RandomBnd"(ZZ_c x, ZZ_c n)
+    void ZZ_RandomBits "RandomBits"(ZZ_c x, long l)
+
+    long ZZ_CRT "CRT"(ZZ_c a, ZZ_c p, ZZ_c A, ZZ_c P)
+
+    long ZZ_ReconstructRational "ReconstructRational"(ZZ_c a, ZZ_c b, ZZ_c x, ZZ_c m, ZZ_c a_bound, ZZ_c b_bound)
+
+    void ZZ_GenPrime "GenPrime"(ZZ_c n, long l, long err)
+    void ZZ_GenGermainPrime "GenGermainPrime"(ZZ_c n, long l, long err)
+    long ZZ_ProbPrime "ProbPrime"(ZZ_c n, long NumTrials)
+    void ZZ_RandomPrime "RandomPrime"(ZZ_c n, long l, long NumTrials)
+    void ZZ_NextPrime "NextPrime"(ZZ_c n, ZZ_c m, long NumTrials)
+    long ZZ_MillerWitness "MillerWitness"(ZZ_c n, ZZ_c w)
+
+    void ZZ_power "NTL::power"(ZZ_c t, ZZ_c x, long e)
+    void ZZ_power2 "power2"(ZZ_c x, long e)
+
+    void ZZ_SqrRoot "SqrRoot"(ZZ_c x, ZZ_c a)
+
+    long ZZ_Jacobi "Jacobi"(ZZ_c a, ZZ_c n)
+    void ZZ_SqrRootMod "SqrRootMod"(ZZ_c x, ZZ_c a, ZZ_c n)
+
+
+cdef extern from "ntlwrap_impl.h":
+    cdef int ZZ_to_int(ZZ_c* x)
+    long ZZ_remove(ZZ_c x, ZZ_c a, ZZ_c p)  # like mpz_remove.

sage/libs/ntl/ZZX.pxd

@@ -0,0 +1,85 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.gmp.types cimport mpz_t
+from sage.libs.ntl.types cimport ZZ_c, vec_ZZ_c, ZZX_c
+
+
+cdef extern from *:
+    ## for cleaning up after ZZX_repr:
+    void cpp_delete_array "delete[]"(char*)
+
+
+cdef extern from "ntlwrap.h":
+    void ZZX_swap "swap"(ZZX_c& x, ZZX_c& y)
+
+    ctypedef struct pair_ZZX_long_c "pair_ZZX_long":
+        ZZX_c a
+        long b
+
+    ctypedef struct vec_pair_ZZX_long_c "vec_pair_ZZX_long":
+        pair_ZZX_long_c RawGet(long i)
+        long length()
+
+    void ZZX_PseudoRem "PseudoRem"(ZZX_c x, ZZX_c a, ZZX_c b)
+    ZZ_c ZZX_LeadCoeff "LeadCoeff"(ZZX_c x)
+    ZZ_c ZZX_ConstTerm "ConstTerm"(ZZX_c x)
+    ZZ_c ZZX_coeff "coeff"(ZZX_c a, long i)
+    void ZZX_SetCoeff "SetCoeff"(ZZX_c x, long i, ZZ_c a)
+    void ZZX_SetCoeff_long "SetCoeff"(ZZX_c x, long i, long a)
+    long IsZero_ZZX "IsZero"(ZZX_c a)
+    # f must be monic!
+    void ZZX_MulMod "MulMod"(ZZX_c x, ZZX_c a, ZZX_c b, ZZX_c f)
+    void ZZX_mul_long "mul"( ZZX_c x, ZZX_c a, long b)
+    void ZZX_mul_ZZ "mul"( ZZX_c x, ZZX_c a, ZZ_c b)
+    void ZZX_mul "mul"( ZZX_c x, ZZX_c a, ZZX_c b)
+    void ZZX_add "add"( ZZX_c x, ZZX_c a, ZZX_c b)
+    void ZZX_sub "sub"( ZZX_c x, ZZX_c a, ZZX_c b)
+    void ZZX_negate "NTL::negate"( ZZX_c x, ZZX_c a)
+    void ZZX_div_ZZ "div"( ZZX_c x, ZZX_c a, ZZ_c b)
+    long ZZX_deg "deg"( ZZX_c x )
+    void ZZX_rem "rem"(ZZX_c r, ZZX_c a, ZZX_c b)
+    void ZZX_XGCD "XGCD"(ZZ_c r, ZZX_c s, ZZX_c t, ZZX_c a, ZZX_c b, long deterministic)
+    void ZZX_content "content"(ZZ_c d, ZZX_c f)
+    void ZZX_factor "factor"(ZZ_c c, vec_pair_ZZX_long_c factors, ZZX_c f, long verbose, long bnd)
+
+    int ZZX_IsZero "IsZero"(ZZX_c x)
+    int ZZX_IsOne "IsOne"(ZZX_c x)
+
+
+cdef extern from "ntlwrap_impl.h":
+    char* ZZX_repr(ZZX_c* x)
+    ZZX_c* ZZX_copy(ZZX_c* x)
+    cdef void ZZX_setitem_from_int(ZZX_c* x, long i, int value)
+    cdef int ZZX_getitem_as_int(ZZX_c* x, long i)
+    void ZZX_getitem_as_mpz(mpz_t output, ZZX_c* x, long i)
+    ZZX_c* ZZX_div(ZZX_c* x, ZZX_c* y, int* divisible)
+    void ZZX_quo_rem(ZZX_c* x, ZZX_c* other, ZZX_c** r, ZZX_c** q)
+    ZZX_c* ZZX_square(ZZX_c* x)
+    ZZX_c* ZZX_neg(ZZX_c* x)
+    ZZX_c* ZZX_left_shift(ZZX_c* x, long n)
+    ZZX_c* ZZX_right_shift(ZZX_c* x, long n)
+    ZZX_c* ZZX_primitive_part(ZZX_c* x)
+    void ZZX_pseudo_quo_rem(ZZX_c* x, ZZX_c* y, ZZX_c** r, ZZX_c** q)
+    ZZX_c* ZZX_gcd(ZZX_c* x, ZZX_c* y)
+    ZZX_c* ZZX_xgcd(ZZX_c* x, ZZX_c* y, ZZ_c** r, ZZX_c** s, ZZX_c** t, int proof)
+    void ZZX_set_x(ZZX_c* x)
+    bint ZZX_is_x(ZZX_c* x)
+    ZZX_c* ZZX_derivative(ZZX_c* x)
+    ZZX_c* ZZX_reverse(ZZX_c* x)
+    ZZX_c* ZZX_reverse_hi(ZZX_c* x, long hi)
+    ZZX_c* ZZX_truncate(ZZX_c* x, long m)
+    ZZX_c* ZZX_multiply_and_truncate(ZZX_c* x, ZZX_c* y, long m)
+    ZZX_c* ZZX_square_and_truncate(ZZX_c* x, long m)
+    ZZX_c* ZZX_invert_and_truncate(ZZX_c* x, long m)
+    ZZX_c* ZZX_multiply_mod(ZZX_c* x, ZZX_c* y,  ZZX_c* modulus)
+    ZZ_c* ZZX_trace_mod(ZZX_c* x, ZZX_c* y)
+    char* ZZX_trace_list(ZZX_c* x)
+    ZZ_c* ZZX_resultant(ZZX_c* x, ZZX_c* y, int proof)
+    ZZ_c* ZZX_norm_mod(ZZX_c* x, ZZX_c* y, int proof)
+    ZZ_c* ZZX_discriminant(ZZX_c* x, int proof)
+    ZZX_c* ZZX_charpoly_mod(ZZX_c* x, ZZX_c* y, int proof)
+    ZZX_c* ZZX_minpoly_mod(ZZX_c* x, ZZX_c* y)
+    void ZZX_clear(ZZX_c* x)
+    void ZZX_preallocate_space(ZZX_c* x, long n)
+    void ZZX_squarefree_decomposition(ZZX_c*** v, long** e, long* n, ZZX_c* x)

sage/libs/ntl/ZZ_p.pxd

@@ -0,0 +1,28 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.ntl.types cimport ZZ_c, ZZ_p_c
+
+
+cdef extern from "ntlwrap.h":
+    ZZ_p_c int_to_ZZ_p "NTL::ZZ_p"(int i)
+    char* ZZ_p_to_str(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_mul "mul"( ZZ_p_c x, ZZ_p_c a, ZZ_p_c b)
+    void ZZ_p_mul_long "mul"( ZZ_p_c x, ZZ_p_c a, long b)
+    void ZZ_p_div "div"( 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_power "NTL::power"(ZZ_p_c t, ZZ_p_c x, long e)
+    int ZZ_p_IsOne "IsOne"(ZZ_p_c x)
+    int ZZ_p_IsZero "IsZero"(ZZ_p_c x)
+    ZZ_c ZZ_p_rep "rep"(ZZ_p_c z)
+    void ZZ_p_inv "inv"(ZZ_p_c r, ZZ_p_c x)
+    void ZZ_p_random "random"(ZZ_p_c r)
+    ZZ_p_c long_to_ZZ_p "to_ZZ_p"(long i)
+    ZZ_p_c ZZ_to_ZZ_p "to_ZZ_p"(ZZ_c i)
+
+
+cdef extern from "ntlwrap_impl.h":
+    int ZZ_p_to_int(ZZ_p_c x)
+    void ZZ_p_modulus(ZZ_c* mod, ZZ_p_c* x)

sage/libs/ntl/ZZ_pE.pxd

@@ -0,0 +1,37 @@
+# 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_pE_c
+
+
+cdef extern from "ntlwrap.h":
+    void ZZ_pE_add "add"( ZZ_pE_c x, ZZ_pE_c a, ZZ_pE_c b)
+    void ZZ_pE_add_long "add"( ZZ_pE_c x, ZZ_pE_c a, long b)
+    void ZZ_pE_add_ZZ_p "add"( ZZ_pE_c x, ZZ_pE_c a, ZZ_p_c b)
+    void ZZ_pE_sub "sub"( ZZ_pE_c x, ZZ_pE_c a, ZZ_pE_c b)
+    void ZZ_pE_sub_long "add"( ZZ_pE_c x, ZZ_pE_c a, long b)
+    void ZZ_pE_sub_ZZ_p "sub"( ZZ_pE_c x, ZZ_pE_c a, ZZ_p_c b)
+    void ZZ_pE_mul "mul"( ZZ_pE_c x, ZZ_pE_c a, ZZ_pE_c b)
+    void ZZ_pE_mul_long "mul"( ZZ_pE_c x, ZZ_pE_c a, long b)
+    void ZZ_pE_mul_ZZ_p "mul"( ZZ_pE_c x, ZZ_pE_c a, ZZ_p_c b)
+    void ZZ_pE_negate "NTL::negate"(ZZ_pE_c x, ZZ_pE_c a)
+    void ZZ_pE_power "NTL::power"(ZZ_pE_c t, ZZ_pE_c x, long e)
+    int ZZ_pE_IsOne "IsOne"(ZZ_pE_c x)
+    int ZZ_pE_IsZero "IsZero"(ZZ_pE_c x)
+    ZZ_pX_c ZZ_pE_rep "rep"(ZZ_pE_c z)
+    void ZZ_pE_inv "inv"( ZZ_pE_c x, ZZ_pE_c a) # raises an error if a not invertible
+    void ZZ_pE_div "div"( ZZ_pE_c x, ZZ_pE_c a, ZZ_pE_c b) # raises an error if b not invertible
+    void ZZ_pE_div_ZZ_p "div"( ZZ_pE_c x, ZZ_pE_c a, ZZ_p_c b) # raises an error if b not invertible
+    void ZZ_pE_ZZ_p_div "div"( ZZ_pE_c x, ZZ_p_c a, ZZ_pE_c b) # raises an error if b not invertible
+    void ZZ_pE_random "random"( ZZ_pE_c x)
+    void ZZ_pE_trace "trace"( ZZ_p_c x, ZZ_pE_c a)
+    void ZZ_pE_norm "norm"( ZZ_p_c x, ZZ_pE_c a)
+
+    ZZ_pE_c long_to_ZZ_pE "to_ZZ_pE"(long i)
+    ZZ_pE_c ZZ_to_ZZ_pE "to_ZZ_pE"(ZZ_c i)
+    ZZ_pE_c ZZ_p_to_ZZ_pE "to_ZZ_pE"(ZZ_p_c i)
+    ZZ_pE_c ZZ_pX_to_ZZ_pE "to_ZZ_pE"(ZZ_pX_c i)
+
+
+cdef extern from "ntlwrap_impl.h":
+    ZZ_pX_c ZZ_pE_to_ZZ_pX(ZZ_pE_c x)

sage/libs/ntl/ZZ_pEX.pxd

@@ -0,0 +1,106 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.ntl.types cimport (ZZ_c, ZZ_p_c, ZZ_pContext_c, ZZ_pE_c, vec_ZZ_p_c,
+        vec_ZZ_pE_c, ZZ_pEX_c, ZZ_pEX_Modulus_c)
+
+
+cdef extern from "ntlwrap.h":
+    long ZZ_pEX_IsZero "IsZero"(ZZ_pEX_c a)
+    long ZZ_pEX_IsOne "IsOne"(ZZ_pEX_c a)
+
+    void ZZ_pEX_add "add"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b)
+    void ZZ_pEX_add_ZZ_p "add"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_p_c b)
+    void ZZ_pEX_add_ZZ_pE "add"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pE_c b)
+    void ZZ_pEX_sub "sub"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b)
+    void ZZ_pEX_sub_ZZ_p "sub"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_p_c b)
+    void ZZ_pEX_sub_ZZ_pE "sub"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pE_c b)
+    void ZZ_pEX_negate "NTL::negate"(ZZ_pEX_c x, ZZ_pEX_c a)
+
+    void ZZ_pEX_mul "mul"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b)
+    void ZZ_pEX_mul_long "mul"( ZZ_pEX_c x, ZZ_pEX_c a, long b)
+    void ZZ_pEX_mul_ZZ_p "mul"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_p_c b)
+    void ZZ_pEX_mul_ZZ_pE "mul"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pE_c b)
+    void ZZ_pEX_sqr "sqr"( ZZ_pEX_c x, ZZ_pEX_c a)
+    void ZZ_pEX_power "NTL::power"( ZZ_pEX_c x, ZZ_pEX_c a, long e)
+
+    void ZZ_pEX_LeftShift "LeftShift"(ZZ_pEX_c x, ZZ_pEX_c a, long n)
+    void ZZ_pEX_RightShift "RightShift"(ZZ_pEX_c x, ZZ_pEX_c a, long n)
+
+    void ZZ_pEX_DivRem "DivRem"(ZZ_pEX_c q, ZZ_pEX_c r, ZZ_pEX_c a, ZZ_pEX_c b)
+    void ZZ_pEX_div_ZZ_pEX "div"(ZZ_pEX_c q, ZZ_pEX_c a, ZZ_pEX_c b)
+    void ZZ_pEX_div_ZZ_pE "div"(ZZ_pEX_c q, ZZ_pEX_c a, ZZ_pE_c b)
+    void ZZ_pEX_div_ZZ_p "div"(ZZ_pEX_c q, ZZ_pEX_c a, ZZ_p_c b)
+    void ZZ_pEX_div_long "div"( ZZ_pEX_c x, ZZ_pEX_c a, long b)
+    void ZZ_pEX_rem "rem"(ZZ_pEX_c r, ZZ_pEX_c a, ZZ_pEX_c b)
+    long ZZ_pEX_divide "divide"( ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b)
+
+    void ZZ_pEX_GCD "GCD"(ZZ_pEX_c r, ZZ_pEX_c a, ZZ_pEX_c b)
+    void ZZ_pEX_XGCD "XGCD"(ZZ_pEX_c d, ZZ_pEX_c s, ZZ_pEX_c t, ZZ_pEX_c a, ZZ_pEX_c b)
+
+    long ZZ_pEX_deg "deg"( ZZ_pEX_c x )
+    ZZ_pE_c ZZ_pEX_coeff "coeff"(ZZ_pEX_c a, long i)
+    ZZ_pE_c ZZ_pEX_LeadCoeff "LeadCoeff"(ZZ_pEX_c a)
+    void ZZ_pEX_SetCoeff "SetCoeff"(ZZ_pEX_c x, long i, ZZ_pE_c a)
+    void ZZ_pEX_SetCoeff_ZZ_p "SetCoeff"(ZZ_pEX_c x, long i, ZZ_p_c a)
+    void ZZ_pEX_SetCoeff_long "SetCoeff"(ZZ_pEX_c x, long i, long a)
+    void ZZ_pEX_SetCoeff_one "SetCoeff"(ZZ_pEX_c x, long i)
+    void ZZ_pEX_SetX "SetX"(ZZ_pEX_c x)
+    long ZZ_pEX_IsX "IsX"(ZZ_pEX_c x)
+    void ZZ_pEX_diff "diff"(ZZ_pEX_c x, ZZ_pEX_c a)
+    void ZZ_pEX_MakeMonic "MakeMonic"(ZZ_pEX_c x)
+    void ZZ_pEX_reverse_hi "reverse"(ZZ_pEX_c x, ZZ_pEX_c a, long hi)
+    void ZZ_pEX_reverse "reverse"(ZZ_pEX_c x, ZZ_pEX_c a)
+
+    void ZZ_pEX_random "random"(ZZ_pEX_c x, long n)
+
+    void ZZ_pEX_BuildFromRoots "BuildFromRoots"(ZZ_pEX_c x, vec_ZZ_pE_c a)
+    void ZZ_pEX_eval "eval"(ZZ_pE_c b, ZZ_pEX_c f, ZZ_pE_c a)
+    void ZZ_pEX_eval_vec "eval"(vec_ZZ_pE_c b, ZZ_pEX_c f, vec_ZZ_pE_c a)
+    void ZZ_pEX_interpolate "interpolate"(ZZ_pEX_c f, vec_ZZ_pE_c a, vec_ZZ_pE_c b)
+
+    void ZZ_pEX_trunc "trunc"(ZZ_pEX_c x, ZZ_pEX_c a, long n)
+    void ZZ_pEX_MulTrunc "MulTrunc"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b, long n)
+    void ZZ_pEX_SqrTrunc "SqrTrunc"(ZZ_pEX_c x, ZZ_pEX_c a, long n)
+    void ZZ_pEX_InvTrunc "InvTrunc"(ZZ_pEX_c x, ZZ_pEX_c a, long n)
+
+    void ZZ_pEX_MulMod "MulMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b, ZZ_pEX_c f)
+    void ZZ_pEX_SqrMod "SqrMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c f)
+    void ZZ_pEX_MulByXMod "MulByXMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c f)
+    void ZZ_pEX_InvMod "InvMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c f)
+    long ZZ_pEX_InvModStatus "InvModStatus"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c f)
+
+    void ZZ_pEX_Modulus_build "build"(ZZ_pEX_Modulus_c F, ZZ_pEX_c f)
+    long ZZ_pEX_Modulus_deg "deg"(ZZ_pEX_Modulus_c F)
+
+    void ZZ_pEX_MulMod_pre "MulMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_c b, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_SqrMod_pre "SqrMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_PowerMod_pre "PowerMod"(ZZ_pEX_c x, ZZ_pEX_c a, long e, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_PowerMod_ZZ_pre "PowerMod"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_c e, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_PowerXMod_pre "PowerXMod"(ZZ_pEX_c x, long e, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_PowerXMod_ZZ_pre "PowerXMod"(ZZ_pEX_c x, ZZ_c e, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_rem_pre "rem"(ZZ_pEX_c x, ZZ_pEX_c a, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_DivRem_pre "DivRem"(ZZ_pEX_c q, ZZ_pEX_c r, ZZ_pEX_c a, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_div_pre "div"(ZZ_pEX_c q, ZZ_pEX_c a, ZZ_pEX_Modulus_c F)
+
+    void ZZ_pEX_CompMod "CompMod"(ZZ_pEX_c x, ZZ_pEX_c f, ZZ_pEX_c g, ZZ_pEX_Modulus_c F)
+
+    void ZZ_pEX_MinPolyMod "MinPolyMod"(ZZ_pEX_c h, ZZ_pEX_c g, ZZ_pEX_c f)
+    void ZZ_pEX_MinPolyMod_pre "MinPolyMod"(ZZ_pEX_c h, ZZ_pEX_c g, ZZ_pEX_Modulus_c F)
+
+    void ZZ_pEX_TraceMod "TraceMod"(ZZ_pE_c x, ZZ_pEX_c a, ZZ_pEX_c f)
+    void ZZ_pEX_TraceMod_pre "TraceMod"(ZZ_pE_c x, ZZ_pEX_c a, ZZ_pEX_Modulus_c F)
+    void ZZ_pEX_TraceVec "TraceVec"(vec_ZZ_pE_c x, ZZ_pEX_c f)
+    void ZZ_pEX_NormMod "NormMod"(ZZ_pE_c x, ZZ_pEX_c a, ZZ_pEX_c f)
+    void ZZ_pEX_resultant "resultant"(ZZ_pE_c x, ZZ_pEX_c a, ZZ_pEX_c b)
+
+    void ZZ_pEX_clear "clear"(ZZ_pEX_c x)
+    void ZZ_pEX_set "set"(ZZ_pEX_c x)
+
+    long ZZ_pEX_IterIrredTest "IterIrredTest"(ZZ_pEX_c x)
+    long ZZ_pEX_DetIrredTest "DetIrredTest"(ZZ_pEX_c x)
+    long ZZ_pEX_ProbIrredTest "ProbIrredTest"(ZZ_pEX_c x, long iter)
+
+
+cdef extern from "ntlwrap_impl.h":
+    void ZZ_pEX_conv_modulus(ZZ_pEX_c fout, ZZ_pEX_c fin, ZZ_pContext_c c)

sage/libs/ntl/ZZ_pX.pxd

@@ -0,0 +1,122 @@
+# sage_setup: distribution = sagemath-ntl
+# distutils: depends = NTL/ZZ.h
+
+from sage.libs.ntl.types cimport (ZZ_c, ZZX_c, ZZ_p_c, vec_ZZ_p_c, ZZ_pContext_c,
+        ZZ_pX_c, ZZ_pX_Modulus_c, ZZ_pX_Multiplier_c)
+
+
+cdef extern from "ntlwrap.h":
+    long ZZ_pX_IsZero "IsZero"(ZZ_pX_c a)
+    long ZZ_pX_IsOne "IsOne"(ZZ_pX_c a)
+
+    void ZZ_pX_add "add"( ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_add_long "add"(ZZ_pX_c x, ZZ_pX_c a, long b)
+    void ZZ_pX_sub "sub"( ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_sub_long "sub"(ZZ_pX_c x, long a, ZZ_pX_c b)
+    void ZZ_pX_negate "NTL::negate"(ZZ_pX_c x, ZZ_pX_c a)
+
+    void ZZ_pX_mul "mul"( ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_mul_long "mul"( ZZ_pX_c x, ZZ_pX_c a, long b)
+    void ZZ_pX_mul_ZZ_p "mul"( ZZ_pX_c x, ZZ_pX_c a, ZZ_p_c b)
+    void ZZ_pX_rmul "mul"( ZZ_pX_c x, ZZ_pX_c a, ZZ_p_c b)
+    void ZZ_pX_sqr "sqr"( ZZ_pX_c x, ZZ_pX_c a)
+    long ZZ_pX_power "NTL::power"( ZZ_pX_c x, ZZ_pX_c a, long e)
+
+    void ZZ_pX_LeftShift "LeftShift"(ZZ_pX_c x, ZZ_pX_c a, long n)
+    void ZZ_pX_RightShift "RightShift"(ZZ_pX_c x, ZZ_pX_c a, long n)
+
+    void ZZ_pX_DivRem "DivRem"(ZZ_pX_c q, ZZ_pX_c r, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_div_ZZ "div"( ZZ_pX_c q, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_div "div"( ZZ_pX_c q, ZZ_pX_c a, ZZ_pX_c b)
+    long ZZ_pX_divide "divide"( ZZ_pX_c q, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_rem "rem"(ZZ_pX_c r, ZZ_pX_c a, ZZ_pX_c b)
+
+    void ZZ_pX_GCD "GCD"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_PlainXGCD "PlainXGCD"(ZZ_pX_c d, ZZ_pX_c s, ZZ_pX_c t, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_XGCD "XGCD"(ZZ_pX_c d, ZZ_pX_c s, ZZ_pX_c t, ZZ_pX_c a, ZZ_pX_c b)
+
+    long ZZ_pX_deg "deg"( ZZ_pX_c x )
+    ZZ_p_c ZZ_pX_coeff "coeff"(ZZ_pX_c a, long i)
+    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_SetCoeff "SetCoeff"(ZZ_pX_c x, long i, ZZ_p_c a)
+    void ZZ_pX_SetCoeff_long "SetCoeff"(ZZ_pX_c x, long i, long a)
+    void ZZ_pX_SetX "SetX"(ZZ_pX_c x)
+    long ZZ_pX_IsX "IsX"(ZZ_pX_c a)
+    void ZZ_pX_diff "diff"(ZZ_pX_c x, ZZ_pX_c a)
+    void ZZ_pX_MakeMonic "MakeMonic"(ZZ_pX_c x)
+    void ZZ_pX_reverse_hi "reverse"(ZZ_pX_c x, ZZ_pX_c a, long hi)
+    void ZZ_pX_reverse "reverse"(ZZ_pX_c x, ZZ_pX_c a)
+    void ZZ_pX_VectorCopy "VectorCopy"(vec_ZZ_p_c x, ZZ_pX_c a, long n)
+
+    void ZZ_pX_random "random"(ZZ_pX_c x, long n)
+
+    void ZZ_pX_BuildFromRoots "BuildFromRoots"(ZZ_pX_c x, vec_ZZ_p_c a)
+    void ZZ_pX_eval "eval"(ZZ_p_c fa, ZZ_pX_c f, ZZ_p_c a)
+    void ZZ_pX_eval_vec "eval"(vec_ZZ_p_c fa, ZZ_pX_c f, vec_ZZ_p_c a)
+    void ZZ_pX_interpolate "interpolate"(ZZ_pX_c f, vec_ZZ_p_c a, vec_ZZ_p_c b)
+
+    void ZZ_pX_trunc "trunc"(ZZ_pX_c x, ZZ_pX_c a, long 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_MulMod "MulMod"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c b, ZZ_pX_c f)
+    void ZZ_pX_SqrMod "SqrMod"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c f)
+    void ZZ_pX_MulByXMod "MulByXMod"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c f)
+    void ZZ_pX_InvMod "InvMod"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c f)
+    long ZZ_pX_InvModStatus "InvModStatus"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_c f)
+
+    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)
+
+    void ZZ_pX_Multiplier_build "build"(ZZ_pX_Multiplier_c F, ZZ_pX_c b, ZZ_pX_Modulus_c F) # MUST be called before using the multiplier
+    void ZZ_pX_MulMod_premul "MulMod"(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_Multiplier_c B, ZZ_pX_Modulus_c F)
+
+    void ZZ_pX_CompMod "CompMod"(ZZ_pX_c x, ZZ_pX_c g, ZZ_pX_c h, ZZ_pX_Modulus_c F)
+    # Add other composition functions here
+    # Add power projection routines
+    # Add minimum polynomials of recurrence sequences
+    void ZZ_pX_MinPolyMod "MinPolyMod"(ZZ_pX_c h, ZZ_pX_c g, ZZ_pX_c f)
+    void ZZ_pX_MinPolyMod_pre "MinPolyMod"(ZZ_pX_c h, ZZ_pX_c g, ZZ_pX_Modulus_c F)
+
+    void ZZ_pX_TraceMod "TraceMod"(ZZ_p_c x, ZZ_pX_c a, ZZ_pX_c f)
+    void ZZ_pX_TraceMod_pre "TraceMod"(ZZ_p_c x, ZZ_pX_c a, ZZ_pX_Modulus_c F)
+    void ZZ_pX_TraceVec "TraceVec"(vec_ZZ_p_c S, ZZ_pX_c f)
+    void ZZ_pX_NormMod "NormMod"(ZZ_p_c x, ZZ_pX_c a, ZZ_pX_c f)
+    void ZZ_pX_resultant "resultant"(ZZ_p_c x, ZZ_pX_c a, ZZ_pX_c b)
+    void ZZ_pX_CharPolyMod "CharPolyMod"(ZZ_pX_c g, ZZ_pX_c a, ZZ_pX_c f)
+
+    void ZZ_pX_clear "clear"(ZZ_pX_c x)
+    void ZZ_pX_set "set"(ZZ_pX_c x)
+
+    void ZZ_pX_to_ZZX "conv"(ZZX_c x, ZZ_pX_c a)
+    void ZZX_to_ZZ_pX "conv"(ZZ_pX_c x, ZZX_c a)
+
+
+cdef extern from "ntlwrap_impl.h":
+    char* ZZ_pX_trace_list(ZZ_pX_c* x)
+    void ZZ_pX_factor(ZZ_pX_c*** v, long** e, long* n, ZZ_pX_c* x, long verbose)
+    void ZZ_pX_linear_roots(ZZ_p_c*** v, long* n, ZZ_pX_c* x)
+
+    # The following are all used for padics.
+    void ZZ_pX_conv_modulus(ZZ_pX_c fout, ZZ_pX_c fin, ZZ_pContext_c c)
+    void ZZ_pX_min_val_coeff(long valuation, long index, ZZ_pX_c f, ZZ_c p)
+    long ZZ_pX_get_val_coeff(ZZ_pX_c f, ZZ_c p, long i)
+    void ZZ_pX_left_pshift(ZZ_pX_c x, ZZ_pX_c a, ZZ_c pn, ZZ_pContext_c c)
+    void ZZ_pX_right_pshift(ZZ_pX_c x, ZZ_pX_c a, ZZ_c pn, ZZ_pContext_c c)
+    void ZZ_pX_InvMod_newton_unram(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_Modulus_c F, ZZ_pContext_c cpn, ZZ_pContext_c cp)
+    void ZZ_pX_InvMod_newton_ram(ZZ_pX_c x, ZZ_pX_c a, ZZ_pX_Modulus_c F, ZZ_pContext_c cpn)

sage/libs/ntl/__init__.py

@@ -0,0 +1,4 @@
+# sage_setup: distribution = sagemath-ntl
+from sage.libs.ntl.error import setup_NTL_error_callback
+
+setup_NTL_error_callback()