Regenerate Cython declarations for FLINT 3.4.0

Author: oscarbenjamin

src/flint/flintlib/functions/acb_dft.pxd

@@ -11,8 +11,8 @@ from flint.flintlib.types.flint cimport slong
 
 
 cdef extern from "flint/acb_dft.h":
-    void acb_dft(acb_ptr w, acb_srcptr v, slong n, slong prec)
-    void acb_dft_inverse(acb_ptr w, acb_srcptr v, slong n, slong prec)
+    void acb_dft(acb_ptr w, acb_srcptr v, slong len, slong prec)
+    void acb_dft_inverse(acb_ptr w, acb_srcptr v, slong len, slong prec)
     # void acb_dft_precomp_init(acb_dft_pre_t pre, slong len, slong prec)
     # void acb_dft_precomp_clear(acb_dft_pre_t pre)
     # void acb_dft_precomp(acb_ptr w, acb_srcptr v, const acb_dft_pre_t pre, slong prec)

src/flint/flintlib/functions/arb_mat.pxd

@@ -122,12 +122,10 @@ cdef extern from "flint/arb_mat.h":
     void arb_mat_trace(arb_t trace, const arb_mat_t mat, slong prec)
     void _arb_mat_diag_prod(arb_t res, const arb_mat_t mat, slong a, slong b, slong prec)
     void arb_mat_diag_prod(arb_t res, const arb_mat_t mat, slong prec)
-    void arb_mat_entrywise_is_zero(fmpz_mat_t dest, const arb_mat_t src)
-    void arb_mat_entrywise_not_is_zero(fmpz_mat_t dest, const arb_mat_t src)
     slong arb_mat_count_is_zero(const arb_mat_t mat)
     slong arb_mat_count_not_is_zero(const arb_mat_t mat)
     void arb_mat_get_mid(arb_mat_t B, const arb_mat_t A)
     void arb_mat_add_error_mag(arb_mat_t mat, const mag_t err)
     int arb_mat_spd_get_fmpz_mat(fmpz_mat_t B, const arb_mat_t A, slong prec)
-    void arb_mat_spd_lll_reduce(fmpz_mat_t U, const arb_mat_t A, slong prec)
-    int arb_mat_spd_is_lll_reduced(const arb_mat_t A, slong tol_exp, slong prec)
+    void arb_mat_spd_lll_reduce(fmpz_mat_t U, const arb_mat_t A, double delta, double eta, slong prec)
+    int arb_mat_spd_is_lll_reduced(const arb_mat_t A, double delta, double eta, slong prec)

src/flint/flintlib/functions/arf.pxd

@@ -146,6 +146,7 @@ cdef extern from "flint/arf.h":
     int arf_fma(arf_t res, const arf_t x, const arf_t y, const arf_t z, slong prec, arf_rnd_t rnd)
     int arf_sosq(arf_t res, const arf_t x, const arf_t y, slong prec, arf_rnd_t rnd)
     int arf_sum(arf_t res, arf_srcptr terms, slong len, slong prec, arf_rnd_t rnd)
+    int arf_dot(arf_t res, const arf_t initial, int subtract, arf_srcptr x, slong xstep, arf_srcptr y, slong ystep, slong len, slong prec, arf_rnd_t rnd)
     void arf_approx_dot(arf_t res, const arf_t initial, int subtract, arf_srcptr x, slong xstep, arf_srcptr y, slong ystep, slong len, slong prec, arf_rnd_t rnd)
     int arf_div(arf_t res, const arf_t x, const arf_t y, slong prec, arf_rnd_t rnd)
     int arf_div_ui(arf_t res, const arf_t x, ulong y, slong prec, arf_rnd_t rnd)

src/flint/flintlib/functions/fmpq_mat.pxd

@@ -69,6 +69,7 @@ cdef extern from "flint/fmpq_mat.h":
     void fmpq_mat_kronecker_product(fmpq_mat_t C, const fmpq_mat_t A, const fmpq_mat_t B)
     void fmpq_mat_trace(fmpq_t trace, const fmpq_mat_t mat)
     void fmpq_mat_det(fmpq_t det, const fmpq_mat_t mat)
+    int fmpq_mat_permanent(fmpq_t res, const fmpq_mat_t A)
     int fmpq_mat_solve_fraction_free(fmpq_mat_t X, const fmpq_mat_t A, const fmpq_mat_t B)
     int fmpq_mat_solve_dixon(fmpq_mat_t X, const fmpq_mat_t A, const fmpq_mat_t B)
     int fmpq_mat_solve_multi_mod(fmpq_mat_t X, const fmpq_mat_t A, const fmpq_mat_t B)

src/flint/flintlib/functions/fmpq_poly.pxd

@@ -1,5 +1,5 @@
 from flint.flintlib.types.flint cimport flint_bitcnt_t, flint_rand_t, fmpz_struct, fmpz_t, slong, ulong
-from flint.flintlib.types.fmpq cimport fmpq_poly_struct, fmpq_poly_t, fmpq_t
+from flint.flintlib.types.fmpq cimport fmpq_poly_struct, fmpq_poly_t, fmpq_struct, fmpq_t
 from flint.flintlib.types.fmpz cimport fmpz_poly_t, fmpz_preinvn_t
 from flint.flintlib.types.nmod cimport nmod_poly_t
 
@@ -138,6 +138,8 @@ cdef extern from "flint/fmpq_poly.h":
     void _fmpq_poly_resultant(fmpz_t rnum, fmpz_t rden, const fmpz_struct * poly1, const fmpz_t den1, slong len1, const fmpz_struct * poly2, const fmpz_t den2, slong len2)
     void fmpq_poly_resultant(fmpq_t r, const fmpq_poly_t f, const fmpq_poly_t g)
     void fmpq_poly_resultant_div(fmpq_t r, const fmpq_poly_t f, const fmpq_poly_t g, const fmpz_t div, slong nbits)
+    void _fmpq_poly_discriminant(fmpq_t res, const fmpz_struct * poly, const fmpz_t den, slong len)
+    void fmpq_poly_discriminant(fmpq_t res, const fmpq_poly_t poly)
     void _fmpq_poly_derivative(fmpz_struct * rpoly, fmpz_t rden, const fmpz_struct * poly, const fmpz_t den, slong len)
     void fmpq_poly_derivative(fmpq_poly_t res, const fmpq_poly_t poly)
     void _fmpq_poly_nth_derivative(fmpz_struct * rpoly, fmpz_t rden, const fmpz_struct * poly, const fmpz_t den, ulong n, slong len)
@@ -193,8 +195,18 @@ cdef extern from "flint/fmpq_poly.h":
     void fmpq_poly_evaluate_fmpz(fmpq_t res, const fmpq_poly_t poly, const fmpz_t a)
     void _fmpq_poly_evaluate_fmpq(fmpz_t rnum, fmpz_t rden, const fmpz_struct * poly, const fmpz_t den, slong len, const fmpz_t anum, const fmpz_t aden)
     void fmpq_poly_evaluate_fmpq(fmpq_t res, const fmpq_poly_t poly, const fmpq_t a)
-    void _fmpq_poly_interpolate_fmpz_vec(fmpz_struct * poly, fmpz_t den, const fmpz_struct * xs, const fmpz_struct * ys, slong n)
-    void fmpq_poly_interpolate_fmpz_vec(fmpq_poly_t poly, const fmpz_struct * xs, const fmpz_struct * ys, slong n)
+    void _fmpq_poly_interpolation_weights(fmpz_struct * w, fmpz_t wden, const fmpq_struct * xs, slong len)
+    void _fmpq_poly_interpolate_fast_precomp(fmpz_struct * poly, fmpz_t den, const fmpq_struct * ys, fmpz_struct * const * tree, const fmpz_struct * weights, slong len)
+    void _fmpq_poly_interpolate_fast(fmpz_struct * poly, fmpz_t den, const fmpq_struct * xs, const fmpq_struct * ys, slong len)
+    void fmpq_poly_interpolate_fast(fmpq_poly_t poly, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
+    void _fmpq_poly_interpolate_barycentric(fmpz_struct * poly, fmpz_t den, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
+    void fmpq_poly_interpolate_barycentric(fmpz_poly_t poly, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
+    void _fmpq_poly_interpolate_multi_mod(fmpz_struct * poly, fmpz_t den, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
+    void fmpq_poly_interpolate_multi_mod(fmpq_poly_t poly, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
+    int _fmpq_poly_interpolate_fmpq_vec(fmpz_struct * poly, fmpz_t den, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
+    int fmpq_poly_interpolate_fmpz_vec(fmpq_poly_t poly, const fmpz_struct * xs, const fmpz_struct * ys, slong n)
+    int fmpq_poly_interpolate_fmpz_fmpq_vec(fmpq_poly_t poly, const fmpz_struct * xs, const fmpq_struct * ys, slong n)
+    int fmpq_poly_interpolate_fmpq_vec(fmpq_poly_t poly, const fmpq_struct * xs, const fmpq_struct * ys, slong n)
     void _fmpq_poly_compose(fmpz_struct * res, fmpz_t den, const fmpz_struct * poly1, const fmpz_t den1, slong len1, const fmpz_struct * poly2, const fmpz_t den2, slong len2)
     void fmpq_poly_compose(fmpq_poly_t res, const fmpq_poly_t poly1, const fmpq_poly_t poly2)
     void _fmpq_poly_rescale(fmpz_struct * res, fmpz_t denr, const fmpz_struct * poly, const fmpz_t den, slong len, const fmpz_t anum, const fmpz_t aden)

src/flint/flintlib/functions/fmpq_vec.pxd

@@ -9,6 +9,9 @@ cdef extern from "flint/fmpq_vec.h":
     void _fmpq_vec_clear(fmpq_struct * vec, slong n)
     void _fmpq_vec_randtest(fmpq_struct * f, flint_rand_t state, slong len, flint_bitcnt_t bits)
     void _fmpq_vec_randtest_uniq_sorted(fmpq_struct * vec, flint_rand_t state, slong len, flint_bitcnt_t bits)
+    void _fmpq_vec_max_height(fmpz_t height, const fmpq_struct * vec, slong len);
+    flint_bitcnt_t _fmpq_vec_max_height_bits(const fmpq_struct * vec, slong len);
+    int _fmpq_vec_equal(const fmpq_struct * vec1, const fmpq_struct * vec2, slong len)
     void _fmpq_vec_sort(fmpq_struct * vec, slong len)
     void _fmpq_vec_set_fmpz_vec(fmpq_struct * res, const fmpz_struct * vec, slong len)
     void _fmpq_vec_get_fmpz_vec_fmpz(fmpz_struct * num, fmpz_t den, const fmpq_struct * a, slong len)

src/flint/flintlib/functions/fmpz_lll.pxd

@@ -1,11 +1,9 @@
 from flint.flintlib.types.flint cimport flint_bitcnt_t, flint_rand_t, fmpz_t, slong
 from flint.flintlib.types.fmpz cimport fmpz_lll_t, fmpz_mat_t, gram_type, rep_type
+from flint.flintlib.types.gr cimport gr_ctx_t, gr_mat_t, gr_ptr
 
 # unknown type d_mat_t
 # unknown type fmpz_gram_t
-# unknown type mpf
-# unknown type mpf_mat_t
-# unknown type mpf_t
 
 
 cdef extern from "flint/fmpz_lll.h":
@@ -15,7 +13,7 @@ cdef extern from "flint/fmpz_lll.h":
     double fmpz_lll_heuristic_dot(const double * vec1, const double * vec2, slong len2, const fmpz_mat_t B, slong k, slong j, slong exp_adj)
     # int fmpz_lll_check_babai(int kappa, fmpz_mat_t B, fmpz_mat_t U, d_mat_t mu, d_mat_t r, double * s, d_mat_t appB, int * expo, fmpz_gram_t A, int a, int zeros, int kappamax, int n, const fmpz_lll_t fl)
     # int fmpz_lll_check_babai_heuristic_d(int kappa, fmpz_mat_t B, fmpz_mat_t U, d_mat_t mu, d_mat_t r, double * s, d_mat_t appB, int * expo, fmpz_gram_t A, int a, int zeros, int kappamax, int n, const fmpz_lll_t fl)
-    # int fmpz_lll_check_babai_heuristic(int kappa, fmpz_mat_t B, fmpz_mat_t U, mpf_mat_t mu, mpf_mat_t r, mpf * s, mpf_mat_t appB, fmpz_gram_t A, int a, int zeros, int kappamax, int n, mpf_t tmp, mpf_t rtmp, flint_bitcnt_t prec, const fmpz_lll_t fl)
+    # int fmpz_lll_check_babai_heuristic(int kappa, fmpz_mat_t B, fmpz_mat_t U, gr_mat_t mu, gr_mat_t r, gr_ptr s, gr_mat_t appB, fmpz_gram_t A, int a, int zeros, int kappamax, int n, gr_ptr tmp, gr_ptr rtmp, gr_ctx_t ctx, const fmpz_lll_t fl)
     # int fmpz_lll_advance_check_babai(int cur_kappa, int kappa, fmpz_mat_t B, fmpz_mat_t U, d_mat_t mu, d_mat_t r, double * s, d_mat_t appB, int * expo, fmpz_gram_t A, int a, int zeros, int kappamax, int n, const fmpz_lll_t fl)
     # int fmpz_lll_advance_check_babai_heuristic_d(int cur_kappa, int kappa, fmpz_mat_t B, fmpz_mat_t U, d_mat_t mu, d_mat_t r, double * s, d_mat_t appB, int * expo, fmpz_gram_t A, int a, int zeros, int kappamax, int n, const fmpz_lll_t fl)
     int fmpz_lll_shift(const fmpz_mat_t B)

src/flint/flintlib/functions/fmpz_mat.pxd

@@ -113,6 +113,7 @@ cdef extern from "flint/fmpz_mat.h":
     void fmpz_mat_det_bound(fmpz_t bound, const fmpz_mat_t A)
     void fmpz_mat_det_bound_nonzero(fmpz_t bound, const fmpz_mat_t A)
     void fmpz_mat_det_divisor(fmpz_t d, const fmpz_mat_t A)
+    int fmpz_mat_permanent(fmpz_t res, const fmpz_mat_t A)
     void fmpz_mat_similarity(fmpz_mat_t A, slong r, fmpz_t d)
     void _fmpz_mat_charpoly_berkowitz(fmpz_struct * cp, const fmpz_mat_t mat)
     void fmpz_mat_charpoly_berkowitz(fmpz_poly_t cp, const fmpz_mat_t mat)

src/flint/flintlib/functions/fmpz_mod_mat.pxd

@@ -23,11 +23,14 @@ cdef extern from "flint/fmpz_mod_mat.h":
     int fmpz_mod_mat_is_square(const fmpz_mod_mat_t mat, const fmpz_mod_ctx_t ctx)
     void _fmpz_mod_mat_reduce(fmpz_mod_mat_t mat, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_randtest(fmpz_mod_mat_t mat, flint_rand_t state, const fmpz_mod_ctx_t ctx)
+    void fmpz_mod_mat_randfull(fmpz_mod_mat_t mat, flint_rand_t state, const fmpz_mod_ctx_t ctx)
+    void fmpz_mod_mat_rand(fmpz_mod_mat_t mat, flint_rand_t state, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_window_init(fmpz_mod_mat_t window, const fmpz_mod_mat_t mat, slong r1, slong c1, slong r2, slong c2, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_window_clear(fmpz_mod_mat_t window, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_concat_horizontal(fmpz_mod_mat_t res, const fmpz_mod_mat_t mat1, const fmpz_mod_mat_t mat2, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_concat_vertical(fmpz_mod_mat_t res, const fmpz_mod_mat_t mat1, const fmpz_mod_mat_t mat2, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_print_pretty(const fmpz_mod_mat_t mat, const fmpz_mod_ctx_t ctx)
+    int fmpz_mod_mat_equal(const fmpz_mod_mat_t mat1, const fmpz_mod_mat_t mat2, const fmpz_mod_ctx_t ctx)
     int fmpz_mod_mat_is_zero(const fmpz_mod_mat_t mat, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_set(fmpz_mod_mat_t B, const fmpz_mod_mat_t A, const fmpz_mod_ctx_t ctx)
     void fmpz_mod_mat_transpose(fmpz_mod_mat_t B, const fmpz_mod_mat_t A, const fmpz_mod_ctx_t ctx)

src/flint/flintlib/functions/fmpz_mod_mpoly.pxd

@@ -1,11 +1,13 @@
 from flint.flintlib.types.flint cimport flint_bitcnt_t, flint_rand_t, fmpz_struct, fmpz_t, slong, ulong
-from flint.flintlib.types.fmpz cimport fmpz_poly_struct, fmpz_poly_t
+from flint.flintlib.types.fmpz cimport fmpz_mpoly_ctx_t, fmpz_mpoly_t, fmpz_poly_struct, fmpz_poly_t
 from flint.flintlib.types.fmpz_mod cimport fmpz_mod_mpoly_ctx_t, fmpz_mod_mpoly_struct, fmpz_mod_mpoly_t
 from flint.flintlib.types.mpoly cimport ordering_t
 
 # unknown type FILE
 # unknown type fmpz_mod_mpoly_univar_t
+# unknown type fmpz_mod_mpoly_vec_t
 
+# .. macro:: fmpz_mod_mpoly_vec_entry(vec, i)
 
 cdef extern from "flint/fmpz_mod_mpoly.h":
     void fmpz_mod_mpoly_ctx_init(fmpz_mod_mpoly_ctx_t ctx, slong nvars, const ordering_t ord, const fmpz_t p)
@@ -150,6 +152,26 @@ cdef extern from "flint/fmpz_mod_mpoly.h":
     # void fmpz_mod_mpoly_univar_set_coeff_ui(fmpz_mod_mpoly_univar_t Ax, ulong e, const fmpz_mod_mpoly_t c, const fmpz_mod_mpoly_ctx_t ctx)
     # int fmpz_mod_mpoly_univar_resultant(fmpz_mod_mpoly_t R, const fmpz_mod_mpoly_univar_t Ax, const fmpz_mod_mpoly_univar_t Bx, const fmpz_mod_mpoly_ctx_t ctx)
     # int fmpz_mod_mpoly_univar_discriminant(fmpz_mod_mpoly_t D, const fmpz_mod_mpoly_univar_t Ax, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_init(fmpz_mod_mpoly_vec_t vec, slong len, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_clear(fmpz_mod_mpoly_vec_t vec, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_print(const fmpz_mod_mpoly_vec_t vec, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_swap(fmpz_mod_mpoly_vec_t x, fmpz_mod_mpoly_vec_t y, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_fit_length(fmpz_mod_mpoly_vec_t vec, slong len, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_set(fmpz_mod_mpoly_vec_t dest, const fmpz_mod_mpoly_vec_t src, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_append(fmpz_mod_mpoly_vec_t vec, const fmpz_mod_mpoly_t f, const fmpz_mod_mpoly_ctx_t ctx)
+    # slong fmpz_mod_mpoly_vec_insert_unique(fmpz_mod_mpoly_vec_t vec, const fmpz_mod_mpoly_t f, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_set_length(fmpz_mod_mpoly_vec_t vec, slong len, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_randtest_not_zero(fmpz_mod_mpoly_vec_t vec, flint_rand_t state, slong len, slong poly_len, ulong exp_bound, fmpz_mod_mpoly_ctx_t ctx)
+    void fmpz_mod_mpoly_spoly(fmpz_mod_mpoly_t res, const fmpz_mod_mpoly_t f, const fmpz_mod_mpoly_t g, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_reduction_monic_part(fmpz_mod_mpoly_t res, const fmpz_mod_mpoly_t f, const fmpz_mod_mpoly_vec_t vec, const fmpz_mod_mpoly_ctx_t ctx)
+    # int fmpz_mod_mpoly_vec_is_groebner(const fmpz_mod_mpoly_vec_t G, const fmpz_mod_mpoly_vec_t F, const fmpz_mod_mpoly_ctx_t ctx)
+    # int fmpz_mod_mpoly_vec_is_autoreduced(const fmpz_mod_mpoly_vec_t F, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_autoreduction(fmpz_mod_mpoly_vec_t H, const fmpz_mod_mpoly_vec_t F, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_vec_autoreduction_groebner(fmpz_mod_mpoly_vec_t H, const fmpz_mod_mpoly_vec_t G, const fmpz_mod_mpoly_ctx_t ctx)
+    # void fmpz_mod_mpoly_buchberger_naive(fmpz_mod_mpoly_vec_t G, const fmpz_mod_mpoly_vec_t F, const fmpz_mod_mpoly_ctx_t ctx)
+    # int fmpz_mod_mpoly_buchberger_naive_with_limits(fmpz_mod_mpoly_vec_t G, const fmpz_mod_mpoly_vec_t F, slong ideal_len_limit, slong poly_len_limit, const fmpz_mod_mpoly_ctx_t ctx)
+    void fmpz_mod_mpoly_set_fmpz_mpoly(fmpz_mod_mpoly_t A, const fmpz_mpoly_t B, const fmpz_mod_mpoly_ctx_t ctxm, const fmpz_mpoly_ctx_t ctx)
+    void fmpz_mod_mpoly_get_fmpz_mpoly(fmpz_mpoly_t A, const fmpz_mod_mpoly_t B, const fmpz_mpoly_ctx_t ctx)
     void fmpz_mod_mpoly_inflate(fmpz_mod_mpoly_t A, const fmpz_mod_mpoly_t B, const fmpz_struct * shift, const fmpz_struct * stride, const fmpz_mod_mpoly_ctx_t ctx)
     void fmpz_mod_mpoly_deflate(fmpz_mod_mpoly_t A, const fmpz_mod_mpoly_t B, const fmpz_struct * shift, const fmpz_struct * stride, const fmpz_mod_mpoly_ctx_t ctx)
     void fmpz_mod_mpoly_deflation(fmpz_struct * shift, fmpz_struct * stride, const fmpz_mod_mpoly_t A, const fmpz_mod_mpoly_ctx_t ctx)