bindings: auto-generate all acb_* modules

Author: oscarbenjamin

bin/all_rst_to_pxd.sh

@@ -6,22 +6,22 @@ set -e
 
 modules=(
     "acb_calc"
-    #"acb_dft"
-    #"acb_dirichlet"
-    #"acb_elliptic"
-    #"acb_hypgeom"
+    "acb_dft"
+    "acb_dirichlet"
+    "acb_elliptic"
+    "acb_hypgeom"
     "acb_mat"
-    #"acb_modular"
+    "acb_modular"
     "acb_poly"
     "acb"
-    #"acb_theta"
-    #"arb_fmpz_poly"
-    #"arb_hypgeom"
+    "acb_theta"
+    "arb_fmpz_poly"
+    "arb_hypgeom"
     "arb_mat"
     "arb_poly"
     "arb"
     "arf"
-    #"arith"
+    "arith"
     #"bernoulli"
     #"dirichlet"
     #"fmpq_mat"

src/flint/flintlib/acb_dft.pxd

@@ -1,5 +1,47 @@
-from flint.flintlib.acb cimport acb_ptr, acb_srcptr
+from flint.flintlib.acb_types cimport acb_ptr, acb_srcptr
+from flint.flintlib.flint cimport slong
+
+# unknown type acb_dft_bluestein_t
+# unknown type acb_dft_crt_t
+# unknown type acb_dft_cyc_t
+# unknown type acb_dft_naive_t
+# unknown type acb_dft_pre_t
+# unknown type acb_dft_prod_t
+# unknown type acb_dft_rad2_t
+
 
 cdef extern from "flint/acb_dft.h":
-    void acb_dft(acb_ptr w, acb_srcptr v, long n, long prec)
-    void acb_dft_inverse(acb_ptr w, acb_srcptr v, long n, long prec)
+    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_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)
+    # void acb_dft_inverse_precomp(acb_ptr w, acb_srcptr v, const acb_dft_pre_t pre, slong prec)
+    void acb_dirichlet_dft_prod(acb_ptr w, acb_srcptr v, slong * cyc, slong num, slong prec)
+    # void acb_dft_prod_init(acb_dft_prod_t t, slong * cyc, slong num, slong prec)
+    # void acb_dft_prod_clear(acb_dft_prod_t t)
+    # void acb_dirichlet_dft_prod_precomp(acb_ptr w, acb_srcptr v, const acb_dft_prod_t prod, slong prec)
+    void acb_dft_convol_naive(acb_ptr w, acb_srcptr f, acb_srcptr g, slong len, slong prec)
+    void acb_dft_convol_rad2(acb_ptr w, acb_srcptr f, acb_srcptr g, slong len, slong prec)
+    void acb_dft_convol(acb_ptr w, acb_srcptr f, acb_srcptr g, slong len, slong prec)
+    void acb_dft_naive(acb_ptr w, acb_srcptr v, slong n, slong prec)
+    # void acb_dft_naive_init(acb_dft_naive_t t, slong len, slong prec)
+    # void acb_dft_naive_clear(acb_dft_naive_t t)
+    # void acb_dft_naive_precomp(acb_ptr w, acb_srcptr v, const acb_dft_naive_t t, slong prec)
+    void acb_dft_crt(acb_ptr w, acb_srcptr v, slong n, slong prec)
+    # void acb_dft_crt_init(acb_dft_crt_t t, slong len, slong prec)
+    # void acb_dft_crt_clear(acb_dft_crt_t t)
+    # void acb_dft_crt_precomp(acb_ptr w, acb_srcptr v, const acb_dft_crt_t t, slong prec)
+    void acb_dft_cyc(acb_ptr w, acb_srcptr v, slong n, slong prec)
+    # void acb_dft_cyc_init(acb_dft_cyc_t t, slong len, slong prec)
+    # void acb_dft_cyc_clear(acb_dft_cyc_t t)
+    # void acb_dft_cyc_precomp(acb_ptr w, acb_srcptr v, const acb_dft_cyc_t t, slong prec)
+    void acb_dft_rad2(acb_ptr w, acb_srcptr v, int e, slong prec)
+    void acb_dft_inverse_rad2(acb_ptr w, acb_srcptr v, int e, slong prec)
+    # void acb_dft_rad2_init(acb_dft_rad2_t t, int e, slong prec)
+    # void acb_dft_rad2_clear(acb_dft_rad2_t t)
+    # void acb_dft_rad2_precomp(acb_ptr w, acb_srcptr v, const acb_dft_rad2_t t, slong prec)
+    void acb_dft_bluestein(acb_ptr w, acb_srcptr v, slong n, slong prec)
+    # void acb_dft_bluestein_init(acb_dft_bluestein_t t, slong len, slong prec)
+    # void acb_dft_bluestein_clear(acb_dft_bluestein_t t)
+    # void acb_dft_bluestein_precomp(acb_ptr w, acb_srcptr v, const acb_dft_bluestein_t t, slong prec)

src/flint/flintlib/acb_dirichlet.pxd

@@ -1,39 +1,14 @@
-from flint.flintlib.acb cimport acb_t, acb_ptr
-from flint.flintlib.dirichlet cimport dirichlet_group_t, dirichlet_char_t
-from flint.flintlib.flint cimport ulong, slong
-from flint.flintlib.acb_poly cimport acb_poly_t
-from flint.flintlib.fmpz cimport fmpz_t
-from flint.flintlib.arb_types cimport mag_t, mag_struct, arb_t, arb_ptr
-from flint.flintlib.acb_types cimport acb_struct, acb_srcptr
+from flint.flintlib.acb_types cimport acb_dirichlet_hurwitz_precomp_t, acb_dirichlet_roots_t, acb_poly_t, acb_ptr, acb_srcptr, acb_t
+from flint.flintlib.arb_types cimport arb_ptr, arb_srcptr, arb_t, mag_t
+from flint.flintlib.arf_types cimport arf_t
+from flint.flintlib.dirichlet cimport dirichlet_char_t, dirichlet_group_t
+from flint.flintlib.flint cimport slong, ulong
 from flint.flintlib.fmpq cimport fmpq_t
-from flint.flintlib.arf cimport arf_t
-from flint.flintlib.arb cimport arb_srcptr
+from flint.flintlib.fmpz_types cimport fmpz_t
 
-cdef extern from "flint/acb_dirichlet.h":
-    ctypedef struct acb_dirichlet_roots_struct:
-        ulong order
-        ulong reduced_order
-        acb_t z
-        slong size
-        slong depth
-        acb_ptr Z
-        int use_pow
-
-    ctypedef acb_dirichlet_roots_struct acb_dirichlet_roots_t[1]
-
-    ctypedef struct acb_dirichlet_hurwitz_precomp_struct:
-        acb_struct s
-        mag_struct err
-        acb_ptr coeffs
-        int deflate
-        slong A
-        slong N
-        slong K
 
-    ctypedef acb_dirichlet_hurwitz_precomp_struct acb_dirichlet_hurwitz_precomp_t[1]
 
-
-# from here on is parsed
+cdef extern from "flint/acb_dirichlet.h":
     void acb_dirichlet_roots_init(acb_dirichlet_roots_t roots, ulong n, slong num, slong prec)
     void acb_dirichlet_roots_clear(acb_dirichlet_roots_t roots)
     void acb_dirichlet_root(acb_t res, const acb_dirichlet_roots_t roots, ulong k, slong prec)
@@ -51,13 +26,13 @@ cdef extern from "flint/acb_dirichlet.h":
     void acb_dirichlet_zeta_rs_bound(mag_t err, const acb_t s, slong K)
     void acb_dirichlet_zeta_rs_r(acb_t res, const acb_t s, slong K, slong prec)
     void acb_dirichlet_zeta_rs(acb_t res, const acb_t s, slong K, slong prec)
-    void acb_dirichlet_zeta_jet_rs(acb_t res, const acb_t s, slong len, slong prec)
+    void acb_dirichlet_zeta_jet_rs(acb_ptr res, const acb_t s, slong len, slong prec)
     void acb_dirichlet_hurwitz(acb_t res, const acb_t s, const acb_t a, slong prec)
-    void acb_dirichlet_hurwitz_precomp_init(acb_dirichlet_hurwitz_precomp_t pre, const acb_t s, int deflate, ulong A, ulong K, ulong N, slong prec)
+    void acb_dirichlet_hurwitz_precomp_init(acb_dirichlet_hurwitz_precomp_t pre, const acb_t s, int deflate, slong A, slong K, slong N, slong prec)
     void acb_dirichlet_hurwitz_precomp_init_num(acb_dirichlet_hurwitz_precomp_t pre, const acb_t s, int deflate, double num_eval, slong prec)
     void acb_dirichlet_hurwitz_precomp_clear(acb_dirichlet_hurwitz_precomp_t pre)
     void acb_dirichlet_hurwitz_precomp_choose_param(ulong * A, ulong * K, ulong * N, const acb_t s, double num_eval, slong prec)
-    void acb_dirichlet_hurwitz_precomp_bound(mag_t res, const acb_t s, ulong A, ulong K, ulong N)
+    void acb_dirichlet_hurwitz_precomp_bound(mag_t res, const acb_t s, slong A, slong K, slong N)
     void acb_dirichlet_hurwitz_precomp_eval(acb_t res, const acb_dirichlet_hurwitz_precomp_t pre, ulong p, ulong q, slong prec)
     void acb_dirichlet_lerch_phi_integral(acb_t res, const acb_t z, const acb_t s, const acb_t a, slong prec)
     void acb_dirichlet_lerch_phi_direct(acb_t res, const acb_t z, const acb_t s, const acb_t a, slong prec)
@@ -69,10 +44,9 @@ cdef extern from "flint/acb_dirichlet.h":
     void acb_dirichlet_pairing_char(acb_t res, const dirichlet_group_t G, const dirichlet_char_t a, const dirichlet_char_t b, slong prec)
     void acb_dirichlet_gauss_sum_naive(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, slong prec)
     void acb_dirichlet_gauss_sum_factor(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, slong prec)
-    void acb_dirichlet_gauss_sum_order2(acb_t res, const dirichlet_char_t chi, slong prec)
+    void acb_dirichlet_gauss_sum_order2(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, slong prec)
     void acb_dirichlet_gauss_sum_theta(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, slong prec)
     void acb_dirichlet_gauss_sum(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, slong prec)
-    void acb_dirichlet_gauss_sum_ui(acb_t res, const dirichlet_group_t G, ulong a, slong prec)
     void acb_dirichlet_jacobi_sum_naive(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi1, const dirichlet_char_t chi2, slong prec)
     void acb_dirichlet_jacobi_sum_factor(acb_t res,  const dirichlet_group_t G, const dirichlet_char_t chi1, const dirichlet_char_t chi2, slong prec)
     void acb_dirichlet_jacobi_sum_gauss(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi1, const dirichlet_char_t chi2, slong prec)
@@ -81,8 +55,8 @@ cdef extern from "flint/acb_dirichlet.h":
     void acb_dirichlet_chi_theta_arb(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, const arb_t t, slong prec)
     void acb_dirichlet_ui_theta_arb(acb_t res, const dirichlet_group_t G, ulong a, const arb_t t, slong prec)
     ulong acb_dirichlet_theta_length(ulong q, const arb_t t, slong prec)
-    void acb_dirichlet_qseries_powers_naive(acb_t res, const arb_t x, int p, const ulong * a, const acb_dirichlet_roots_t z, slong len, slong prec)
-    void acb_dirichlet_qseries_powers_smallorder(acb_t res, const arb_t x, int p, const ulong * a, const acb_dirichlet_roots_t z, slong len, slong prec)
+    void acb_dirichlet_qseries_arb_powers_naive(acb_t res, const arb_t x, int p, const ulong * a, const acb_dirichlet_roots_t z, slong len, slong prec)
+    void acb_dirichlet_qseries_arb_powers_smallorder(acb_t res, const arb_t x, int p, const ulong * a, const acb_dirichlet_roots_t z, slong len, slong prec)
     void acb_dirichlet_dft_conrey(acb_ptr w, acb_srcptr v, const dirichlet_group_t G, slong prec)
     void acb_dirichlet_dft(acb_ptr w, acb_srcptr v, const dirichlet_group_t G, slong prec)
     void acb_dirichlet_root_number_theta(acb_t res, const dirichlet_group_t G, const dirichlet_char_t chi, slong prec)
@@ -98,7 +72,7 @@ cdef extern from "flint/acb_dirichlet.h":
     void _acb_dirichlet_l_series(acb_ptr res, acb_srcptr s, slong slen, const dirichlet_group_t G, const dirichlet_char_t chi, int deflate, slong len, slong prec)
     void acb_dirichlet_l_series(acb_poly_t res, const acb_poly_t s, const dirichlet_group_t G, const dirichlet_char_t chi, int deflate, slong len, slong prec)
     void acb_dirichlet_hardy_theta(acb_ptr res, const acb_t t, const dirichlet_group_t G, const dirichlet_char_t chi, slong len, slong prec)
-    void acb_dirichlet_hardy_z(acb_t res, const acb_t t, const dirichlet_group_t G, const dirichlet_char_t chi, slong len, slong prec)
+    void acb_dirichlet_hardy_z(acb_ptr res, const acb_t t, const dirichlet_group_t G, const dirichlet_char_t chi, slong len, slong prec)
     void _acb_dirichlet_hardy_theta_series(acb_ptr res, acb_srcptr t, slong tlen, const dirichlet_group_t G, const dirichlet_char_t chi, slong len, slong prec)
     void acb_dirichlet_hardy_theta_series(acb_poly_t res, const acb_poly_t t, const dirichlet_group_t G, const dirichlet_char_t chi, slong len, slong prec)
     void _acb_dirichlet_hardy_z_series(acb_ptr res, acb_srcptr t, slong tlen, const dirichlet_group_t G, const dirichlet_char_t chi, slong len, slong prec)

src/flint/flintlib/acb_elliptic.pxd

@@ -1,9 +1,9 @@
-from flint.flintlib.acb cimport acb_t, acb_ptr, acb_srcptr
-from flint.flintlib.acb_poly cimport acb_poly_t
+from flint.flintlib.acb_types cimport acb_poly_t, acb_ptr, acb_srcptr, acb_t
 from flint.flintlib.flint cimport slong
 
+
+
 cdef extern from "flint/acb_elliptic.h":
-# from here on is parsed
     void acb_elliptic_k(acb_t res, const acb_t m, slong prec)
     void acb_elliptic_k_jet(acb_ptr res, const acb_t m, slong len, slong prec)
     void _acb_elliptic_k_series(acb_ptr res, acb_srcptr m, slong mlen, slong len, slong prec)

src/flint/flintlib/acb_hypgeom.pxd

@@ -1,15 +1,10 @@
-from flint.flintlib.flint cimport ulong, slong
-from flint.flintlib.acb_types cimport (
-    acb_t,
-    acb_srcptr,
-    acb_ptr,
-    acb_poly_t,
-    acb_poly_struct,
-)
+from flint.flintlib.acb_types cimport acb_poly_struct, acb_poly_t, acb_ptr, acb_srcptr, acb_t
 from flint.flintlib.arb_types cimport mag_t
+from flint.flintlib.flint cimport slong, ulong
+
+
 
 cdef extern from "flint/acb_hypgeom.h":
-# from here on is parsed
     void acb_hypgeom_rising_ui_forward(acb_t res, const acb_t x, ulong n, slong prec)
     void acb_hypgeom_rising_ui_bs(acb_t res, const acb_t x, ulong n, slong prec)
     void acb_hypgeom_rising_ui_rs(acb_t res, const acb_t x, ulong n, ulong m, slong prec)

src/flint/flintlib/acb_modular.pxd

@@ -1,19 +1,55 @@
-from flint.flintlib.acb cimport acb_t, acb_ptr
-from flint.flintlib.acb_poly cimport acb_poly_t
-from flint.flintlib.fmpz_poly cimport fmpz_poly_t
+from flint.flintlib.acb_types cimport acb_poly_t, acb_ptr, acb_srcptr, acb_t
+from flint.flintlib.arf_types cimport arf_t
+from flint.flintlib.flint cimport flint_rand_t, slong
+from flint.flintlib.fmpz_types cimport fmpz_poly_t
+
+# unknown type FILE
+# unknown type psl2z_t
+
 
 cdef extern from "flint/acb_modular.h":
-    void acb_modular_theta(acb_t theta1, acb_t theta2, acb_t theta3, acb_t theta4, const acb_t z, const acb_t tau, long prec)
-    void acb_modular_theta_jet(acb_ptr theta1, acb_ptr theta2, acb_ptr theta3, acb_ptr theta4, const acb_t z, const acb_t tau, long len, long prec)
-    void acb_modular_theta_series(acb_poly_t theta1, acb_poly_t theta2, acb_poly_t theta3, acb_poly_t theta4, const acb_poly_t z, const acb_t tau, long len, long prec)
-    void acb_modular_eta(acb_t r, const acb_t tau, long prec)
-    void acb_modular_j(acb_t r, const acb_t tau, long prec)
-    void acb_modular_lambda(acb_t r, const acb_t tau, long prec)
-    void acb_modular_delta(acb_t r, const acb_t tau, long prec)
-    void acb_modular_eisenstein(acb_ptr r, const acb_t tau, long len, long prec)
-    void acb_modular_elliptic_p(acb_t wp, const acb_t z, const acb_t tau, long prec)
-    void acb_modular_elliptic_p_zpx(acb_ptr wp, const acb_t z, const acb_t tau, long len, long prec)
-    void acb_modular_elliptic_k(acb_t w, const acb_t m, long prec)
-    void acb_modular_elliptic_k_cpx(acb_ptr w, const acb_t m, long len, long prec)
-    void acb_modular_elliptic_e(acb_t w, const acb_t m, long prec)
-    void acb_modular_hilbert_class_poly(fmpz_poly_t res, long D)
+    # void psl2z_init(psl2z_t g)
+    # void psl2z_clear(psl2z_t g)
+    # void psl2z_swap(psl2z_t f, psl2z_t g)
+    # void psl2z_set(psl2z_t f, const psl2z_t g)
+    # void psl2z_one(psl2z_t g)
+    # int psl2z_is_one(const psl2z_t g)
+    # void psl2z_print(const psl2z_t g)
+    # void psl2z_fprint(FILE * file, const psl2z_t g)
+    # int psl2z_equal(const psl2z_t f, const psl2z_t g)
+    # void psl2z_mul(psl2z_t h, const psl2z_t f, const psl2z_t g)
+    # void psl2z_inv(psl2z_t h, const psl2z_t g)
+    # int psl2z_is_correct(const psl2z_t g)
+    # void psl2z_randtest(psl2z_t g, flint_rand_t state, slong bits)
+    # void acb_modular_transform(acb_t w, const psl2z_t g, const acb_t z, slong prec)
+    # void acb_modular_fundamental_domain_approx_d(psl2z_t g, double x, double y, double one_minus_eps)
+    # void acb_modular_fundamental_domain_approx_arf(psl2z_t g, const arf_t x, const arf_t y, const arf_t one_minus_eps, slong prec)
+    # void acb_modular_fundamental_domain_approx(acb_t w, psl2z_t g, const acb_t z, const arf_t one_minus_eps, slong prec)
+    int acb_modular_is_in_fundamental_domain(const acb_t z, const arf_t tol, slong prec)
+    void acb_modular_fill_addseq(slong * tab, slong len)
+    # void acb_modular_theta_transform(int * R, int * S, int * C, const psl2z_t g)
+    void acb_modular_addseq_theta(slong * exponents, slong * aindex, slong * bindex, slong num)
+    void acb_modular_theta_sum(acb_ptr theta1, acb_ptr theta2, acb_ptr theta3, acb_ptr theta4, const acb_t w, int w_is_unit, const acb_t q, slong len, slong prec)
+    void acb_modular_theta_const_sum_basecase(acb_t theta2, acb_t theta3, acb_t theta4, const acb_t q, slong N, slong prec)
+    void acb_modular_theta_const_sum_rs(acb_t theta2, acb_t theta3, acb_t theta4, const acb_t q, slong N, slong prec)
+    void acb_modular_theta_const_sum(acb_t theta2, acb_t theta3, acb_t theta4, const acb_t q, slong prec)
+    void acb_modular_theta_notransform(acb_t theta1, acb_t theta2, acb_t theta3, acb_t theta4, const acb_t z, const acb_t tau, slong prec)
+    void acb_modular_theta(acb_t theta1, acb_t theta2, acb_t theta3, acb_t theta4, const acb_t z, const acb_t tau, slong prec)
+    void acb_modular_theta_jet_notransform(acb_ptr theta1, acb_ptr theta2, acb_ptr theta3, acb_ptr theta4, const acb_t z, const acb_t tau, slong len, slong prec)
+    void acb_modular_theta_jet(acb_ptr theta1, acb_ptr theta2, acb_ptr theta3, acb_ptr theta4, const acb_t z, const acb_t tau, slong len, slong prec)
+    void _acb_modular_theta_series(acb_ptr theta1, acb_ptr theta2, acb_ptr theta3, acb_ptr theta4, acb_srcptr z, slong zlen, const acb_t tau, slong len, slong prec)
+    void acb_modular_theta_series(acb_poly_t theta1, acb_poly_t theta2, acb_poly_t theta3, acb_poly_t theta4, const acb_poly_t z, const acb_t tau, slong len, slong prec)
+    void acb_modular_addseq_eta(slong * exponents, slong * aindex, slong * bindex, slong num)
+    void acb_modular_eta_sum(acb_t eta, const acb_t q, slong prec)
+    # int acb_modular_epsilon_arg(const psl2z_t g)
+    void acb_modular_eta(acb_t r, const acb_t tau, slong prec)
+    void acb_modular_j(acb_t r, const acb_t tau, slong prec)
+    void acb_modular_lambda(acb_t r, const acb_t tau, slong prec)
+    void acb_modular_delta(acb_t r, const acb_t tau, slong prec)
+    void acb_modular_eisenstein(acb_ptr r, const acb_t tau, slong len, slong prec)
+    void acb_modular_elliptic_k(acb_t w, const acb_t m, slong prec)
+    void acb_modular_elliptic_k_cpx(acb_ptr w, const acb_t m, slong len, slong prec)
+    void acb_modular_elliptic_e(acb_t w, const acb_t m, slong prec)
+    void acb_modular_elliptic_p(acb_t wp, const acb_t z, const acb_t tau, slong prec)
+    void acb_modular_elliptic_p_zpx(acb_ptr wp, const acb_t z, const acb_t tau, slong len, slong prec)
+    void acb_modular_hilbert_class_poly(fmpz_poly_t res, slong D)