passagemath-flint 10.6.1rc10__cp310-cp310-manylinux_2_27_x86_64.manylinux_2_28_x86_64.whl

sage/libs/flint/arith_sage.pyx

@@ -0,0 +1,308 @@
+# sage_setup: distribution = sagemath-flint
+# distutils: extra_compile_args = -D_XPG6
+"""
+FLINT Arithmetic Functions
+"""
+
+#*****************************************************************************
+#       Copyright (C) 2013 Fredrik Johansson <fredrik.johansson@gmail.com>
+#
+# 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 cysignals.signals cimport sig_on, sig_off
+
+from sage.libs.flint.types cimport *
+from sage.libs.flint.fmpz cimport *
+from sage.libs.flint.fmpq cimport *
+from sage.libs.flint.arith cimport *
+
+
+from sage.rings.integer cimport Integer
+from sage.rings.rational cimport Rational
+
+
+def bell_number(unsigned long n):
+    """
+    Return the `n`-th Bell number.
+
+    See :wikipedia:`Bell_number`.
+
+    ALGORITHM:
+
+    Uses :c:func:`arith_bell_number`.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import bell_number
+        sage: [bell_number(i) for i in range(10)]
+        [1, 1, 2, 5, 15, 52, 203, 877, 4140, 21147]
+        sage: bell_number(10)
+        115975
+        sage: bell_number(40)
+        157450588391204931289324344702531067
+        sage: bell_number(100)
+        47585391276764833658790768841387207826363669686825611466616334637559114497892442622672724044217756306953557882560751
+    """
+    cdef fmpz_t ans_fmpz
+    cdef Integer ans = Integer(0)
+
+    fmpz_init(ans_fmpz)
+
+    if n > 1000:
+        sig_on()
+    arith_bell_number(ans_fmpz, n)
+    fmpz_get_mpz(ans.value, ans_fmpz)
+    fmpz_clear(ans_fmpz)
+    if n > 1000:
+        sig_off()
+
+    return ans
+
+
+def bernoulli_number(unsigned long n):
+    """
+    Return the `n`-th Bernoulli number.
+
+    See :wikipedia:`Bernoulli_number`.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import bernoulli_number
+        sage: [bernoulli_number(i) for i in range(10)]
+        [1, -1/2, 1/6, 0, -1/30, 0, 1/42, 0, -1/30, 0]
+        sage: bernoulli_number(10)
+        5/66
+        sage: bernoulli_number(40)
+        -261082718496449122051/13530
+        sage: bernoulli_number(100)
+        -94598037819122125295227433069493721872702841533066936133385696204311395415197247711/33330
+    """
+    cdef fmpq_t ans_fmpq
+    cdef Rational ans = <Rational>Rational.__new__(Rational)
+
+    fmpq_init(ans_fmpq)
+    sig_on()
+    arith_bernoulli_number(ans_fmpq, n)
+    sig_off()
+    fmpq_get_mpq(ans.value, ans_fmpq)
+    fmpq_clear(ans_fmpq)
+
+    return ans
+
+
+def euler_number(unsigned long n):
+    """
+    Return the Euler number of index `n`.
+
+    See :wikipedia:`Euler_number`.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import euler_number
+        sage: [euler_number(i) for i in range(8)]
+        [1, 0, -1, 0, 5, 0, -61, 0]
+    """
+    cdef fmpz_t ans_fmpz
+    cdef Integer ans = Integer(0)
+
+    fmpz_init(ans_fmpz)
+
+    if n > 1000:
+        sig_on()
+    arith_euler_number(ans_fmpz, n)
+    fmpz_get_mpz(ans.value, ans_fmpz)
+    fmpz_clear(ans_fmpz)
+    if n > 1000:
+        sig_off()
+
+    return ans
+
+
+def stirling_number_1(long n, long k):
+    """
+    Return the unsigned Stirling number of the first kind.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import stirling_number_1
+        sage: [stirling_number_1(8,i) for i in range(9)]
+        [0, 5040, 13068, 13132, 6769, 1960, 322, 28, 1]
+    """
+    cdef fmpz_t ans_fmpz
+    cdef Integer ans = Integer(0)
+
+    fmpz_init(ans_fmpz)
+
+    if n > 1000:
+        sig_on()
+    arith_stirling_number_1u(ans_fmpz, n, k)
+    fmpz_get_mpz(ans.value, ans_fmpz)
+    fmpz_clear(ans_fmpz)
+    if n > 1000:
+        sig_off()
+    return ans
+
+
+def stirling_number_2(long n, long k):
+    """
+    Return the Stirling number of the second kind.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import stirling_number_2
+        sage: [stirling_number_2(8,i) for i in range(9)]
+        [0, 1, 127, 966, 1701, 1050, 266, 28, 1]
+    """
+    cdef fmpz_t ans_fmpz
+    cdef Integer ans = Integer(0)
+
+    fmpz_init(ans_fmpz)
+
+    if n > 1000:
+        sig_on()
+    arith_stirling_number_2(ans_fmpz, n, k)
+    fmpz_get_mpz(ans.value, ans_fmpz)
+    fmpz_clear(ans_fmpz)
+    if n > 1000:
+        sig_off()
+    return ans
+
+
+def number_of_partitions(unsigned long n):
+    """
+    Return the number of partitions of the integer `n`.
+
+    See :wikipedia:`Partition_(number_theory)`.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import number_of_partitions
+        sage: number_of_partitions(3)
+        3
+        sage: number_of_partitions(10)
+        42
+        sage: number_of_partitions(40)
+        37338
+        sage: number_of_partitions(100)
+        190569292
+        sage: number_of_partitions(100000)
+        27493510569775696512677516320986352688173429315980054758203125984302147328114964173055050741660736621590157844774296248940493063070200461792764493033510116079342457190155718943509725312466108452006369558934464248716828789832182345009262853831404597021307130674510624419227311238999702284408609370935531629697851569569892196108480158600569421098519
+
+    TESTS::
+
+        sage: n = 500 + randint(0,500)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1500 + randint(0,1500)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1000000 + randint(0,1000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1000000 + randint(0,1000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1000000 + randint(0,1000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1000000 + randint(0,1000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1000000 + randint(0,1000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 1000000 + randint(0,1000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0
+        True
+        sage: n = 100000000 + randint(0,100000000)
+        sage: number_of_partitions( n - (n % 385) + 369) % 385 == 0  # long time
+        True
+    """
+    cdef fmpz_t ans_fmpz
+    cdef Integer ans
+
+    fmpz_init(ans_fmpz)
+
+    if n > 1000:
+        sig_on()
+
+    arith_number_of_partitions(ans_fmpz, n)
+
+    if n > 1000:
+        sig_off()
+
+    ans = Integer(0)
+    fmpz_get_mpz(ans.value, ans_fmpz)
+    fmpz_clear(ans_fmpz)
+    return ans
+
+
+def dedekind_sum(p, q):
+    """
+    Return the Dedekind sum `s(p, q)` where `p` and `q` are arbitrary integers.
+
+    See :wikipedia:`Dedekind_sum`.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import dedekind_sum
+        sage: dedekind_sum(4, 5)
+        -1/5
+    """
+    p = Integer(p)
+    q = Integer(q)
+    s = Rational(0)
+
+    cdef fmpz_t p_fmpz, q_fmpz
+    cdef fmpq_t s_fmpq
+
+    fmpz_init(p_fmpz)
+    fmpz_init(q_fmpz)
+    fmpq_init(s_fmpq)
+
+    fmpz_set_mpz(p_fmpz, (<Integer>p).value)
+    fmpz_set_mpz(q_fmpz, (<Integer>q).value)
+
+    arith_dedekind_sum(s_fmpq, p_fmpz, q_fmpz)
+
+    fmpq_get_mpq((<Rational>s).value, s_fmpq)
+
+    fmpz_clear(p_fmpz)
+    fmpz_clear(q_fmpz)
+    fmpq_clear(s_fmpq)
+
+    return s
+
+
+def harmonic_number(unsigned long n):
+    """
+    Return the harmonic number `H_n`.
+
+    See :wikipedia:`Harmonic_number`.
+
+    EXAMPLES::
+
+        sage: from sage.libs.flint.arith_sage import harmonic_number
+        sage: n = 500 + randint(0,500)
+        sage: bool( sum(1/k for k in range(1,n+1)) == harmonic_number(n) )
+        True
+    """
+    s = Rational(0)
+    cdef fmpq_t s_fmpq
+
+    fmpq_init(s_fmpq)
+
+    sig_on()
+    arith_harmonic_number(s_fmpq, n)
+
+    fmpq_get_mpq((<Rational>s).value, s_fmpq)
+    sig_off()
+
+    fmpq_clear(s_fmpq)
+
+    return s

sage/libs/flint/bernoulli.pxd

@@ -0,0 +1,28 @@
+# sage_setup: distribution = sagemath-flint
+# distutils: libraries = flint
+# distutils: depends = flint/bernoulli.h
+
+################################################################################
+# This file is auto-generated by the script
+#   SAGE_ROOT/src/sage_setup/autogen/flint_autogen.py.
+# From the commit 3e2c3a3e091106a25ca9c6fba28e02f2cbcd654a
+# Do not modify by hand! Fix and rerun the script instead.
+################################################################################
+
+from libc.stdio cimport FILE
+from sage.libs.gmp.types cimport *
+from sage.libs.mpfr.types cimport *
+from sage.libs.flint.types cimport *
+
+cdef extern from "flint_wrap.h":
+    void bernoulli_rev_init(bernoulli_rev_t it, ulong n) noexcept
+    void bernoulli_rev_next(fmpz_t numer, fmpz_t denom, bernoulli_rev_t it) noexcept
+    void bernoulli_rev_clear(bernoulli_rev_t it) noexcept
+    void bernoulli_fmpq_vec_no_cache(fmpq * res, ulong a, slong num) noexcept
+    void bernoulli_cache_compute(slong n) noexcept
+    slong bernoulli_bound_2exp_si(ulong n) noexcept
+    ulong bernoulli_mod_p_harvey(ulong n, ulong p) noexcept
+    void _bernoulli_fmpq_ui_zeta(fmpz_t num, fmpz_t den, ulong n) noexcept
+    void _bernoulli_fmpq_ui_multi_mod(fmpz_t num, fmpz_t den, ulong n, double alpha) noexcept
+    void _bernoulli_fmpq_ui(fmpz_t num, fmpz_t den, ulong n) noexcept
+    void bernoulli_fmpq_ui(fmpq_t b, ulong n) noexcept

sage/libs/flint/bool_mat.pxd

@@ -0,0 +1,52 @@
+# sage_setup: distribution = sagemath-flint
+# distutils: libraries = flint
+# distutils: depends = flint/bool_mat.h
+
+################################################################################
+# This file is auto-generated by the script
+#   SAGE_ROOT/src/sage_setup/autogen/flint_autogen.py.
+# From the commit 3e2c3a3e091106a25ca9c6fba28e02f2cbcd654a
+# Do not modify by hand! Fix and rerun the script instead.
+################################################################################
+
+from libc.stdio cimport FILE
+from sage.libs.gmp.types cimport *
+from sage.libs.mpfr.types cimport *
+from sage.libs.flint.types cimport *
+
+cdef extern from "flint_wrap.h":
+    int bool_mat_get_entry(const bool_mat_t mat, slong i, slong j) noexcept
+    void bool_mat_set_entry(bool_mat_t mat, slong i, slong j, int x) noexcept
+    void bool_mat_init(bool_mat_t mat, slong r, slong c) noexcept
+    void bool_mat_clear(bool_mat_t mat) noexcept
+    bint bool_mat_is_empty(const bool_mat_t mat) noexcept
+    bint bool_mat_is_square(const bool_mat_t mat) noexcept
+    void bool_mat_set(bool_mat_t dest, const bool_mat_t src) noexcept
+    void bool_mat_print(const bool_mat_t mat) noexcept
+    void bool_mat_fprint(FILE * file, const bool_mat_t mat) noexcept
+    bint bool_mat_equal(const bool_mat_t mat1, const bool_mat_t mat2) noexcept
+    int bool_mat_any(const bool_mat_t mat) noexcept
+    int bool_mat_all(const bool_mat_t mat) noexcept
+    bint bool_mat_is_diagonal(const bool_mat_t A) noexcept
+    bint bool_mat_is_lower_triangular(const bool_mat_t A) noexcept
+    bint bool_mat_is_transitive(const bool_mat_t mat) noexcept
+    bint bool_mat_is_nilpotent(const bool_mat_t A) noexcept
+    void bool_mat_randtest(bool_mat_t mat, flint_rand_t state) noexcept
+    void bool_mat_randtest_diagonal(bool_mat_t mat, flint_rand_t state) noexcept
+    void bool_mat_randtest_nilpotent(bool_mat_t mat, flint_rand_t state) noexcept
+    void bool_mat_zero(bool_mat_t mat) noexcept
+    void bool_mat_one(bool_mat_t mat) noexcept
+    void bool_mat_directed_path(bool_mat_t A) noexcept
+    void bool_mat_directed_cycle(bool_mat_t A) noexcept
+    void bool_mat_transpose(bool_mat_t dest, const bool_mat_t src) noexcept
+    void bool_mat_complement(bool_mat_t B, const bool_mat_t A) noexcept
+    void bool_mat_add(bool_mat_t res, const bool_mat_t mat1, const bool_mat_t mat2) noexcept
+    void bool_mat_mul(bool_mat_t res, const bool_mat_t mat1, const bool_mat_t mat2) noexcept
+    void bool_mat_mul_entrywise(bool_mat_t res, const bool_mat_t mat1, const bool_mat_t mat2) noexcept
+    void bool_mat_sqr(bool_mat_t B, const bool_mat_t A) noexcept
+    void bool_mat_pow_ui(bool_mat_t B, const bool_mat_t A, ulong exp) noexcept
+    int bool_mat_trace(const bool_mat_t mat) noexcept
+    slong bool_mat_nilpotency_degree(const bool_mat_t A) noexcept
+    void bool_mat_transitive_closure(bool_mat_t B, const bool_mat_t A) noexcept
+    slong bool_mat_get_strongly_connected_components(slong * p, const bool_mat_t A) noexcept
+    slong bool_mat_all_pairs_longest_walk(fmpz_mat_t B, const bool_mat_t A) noexcept

sage/libs/flint/ca.pxd

@@ -0,0 +1,203 @@
+# sage_setup: distribution = sagemath-flint
+# distutils: libraries = flint
+# distutils: depends = flint/ca.h
+
+################################################################################
+# This file is auto-generated by the script
+#   SAGE_ROOT/src/sage_setup/autogen/flint_autogen.py.
+# From the commit 3e2c3a3e091106a25ca9c6fba28e02f2cbcd654a
+# Do not modify by hand! Fix and rerun the script instead.
+################################################################################
+
+from libc.stdio cimport FILE
+from sage.libs.gmp.types cimport *
+from sage.libs.mpfr.types cimport *
+from sage.libs.flint.types cimport *
+
+cdef extern from "flint_wrap.h":
+    void ca_ctx_init(ca_ctx_t ctx) noexcept
+    void ca_ctx_clear(ca_ctx_t ctx) noexcept
+    void ca_ctx_print(ca_ctx_t ctx) noexcept
+    void ca_init(ca_t x, ca_ctx_t ctx) noexcept
+    void ca_clear(ca_t x, ca_ctx_t ctx) noexcept
+    void ca_swap(ca_t x, ca_t y, ca_ctx_t ctx) noexcept
+    void ca_get_fexpr(fexpr_t res, const ca_t x, ulong flags, ca_ctx_t ctx) noexcept
+    int ca_set_fexpr(ca_t res, const fexpr_t expr, ca_ctx_t ctx) noexcept
+    void ca_print(const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_fprint(FILE * fp, const ca_t x, ca_ctx_t ctx) noexcept
+    char * ca_get_str(const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_printn(const ca_t x, slong n, ca_ctx_t ctx) noexcept
+    void ca_zero(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_one(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_neg_one(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_i(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_neg_i(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_pi(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_pi_i(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_euler(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_unknown(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_undefined(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_uinf(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_pos_inf(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_neg_inf(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_pos_i_inf(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_neg_i_inf(ca_t res, ca_ctx_t ctx) noexcept
+    void ca_set(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_set_si(ca_t res, slong v, ca_ctx_t ctx) noexcept
+    void ca_set_ui(ca_t res, ulong v, ca_ctx_t ctx) noexcept
+    void ca_set_fmpz(ca_t res, const fmpz_t v, ca_ctx_t ctx) noexcept
+    void ca_set_fmpq(ca_t res, const fmpq_t v, ca_ctx_t ctx) noexcept
+    void ca_set_d(ca_t res, double x, ca_ctx_t ctx) noexcept
+    void ca_set_d_d(ca_t res, double x, double y, ca_ctx_t ctx) noexcept
+    void ca_transfer(ca_t res, ca_ctx_t res_ctx, const ca_t src, ca_ctx_t src_ctx) noexcept
+    void ca_set_qqbar(ca_t res, const qqbar_t x, ca_ctx_t ctx) noexcept
+    int ca_get_fmpz(fmpz_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    int ca_get_fmpq(fmpq_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    int ca_get_qqbar(qqbar_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    int ca_can_evaluate_qqbar(const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_randtest_rational(ca_t res, flint_rand_t state, slong bits, ca_ctx_t ctx) noexcept
+    void ca_randtest(ca_t res, flint_rand_t state, slong depth, slong bits, ca_ctx_t ctx) noexcept
+    void ca_randtest_special(ca_t res, flint_rand_t state, slong depth, slong bits, ca_ctx_t ctx) noexcept
+    void ca_randtest_same_nf(ca_t res, flint_rand_t state, const ca_t x, slong bits, slong den_bits, ca_ctx_t ctx) noexcept
+    bint ca_equal_repr(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    int ca_cmp_repr(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    ulong ca_hash_repr(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_unknown(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_special(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_qq_elem(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_qq_elem_zero(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_qq_elem_one(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_qq_elem_integer(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_nf_elem(const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_cyclotomic_nf_elem(slong * p, ulong * q, const ca_t x, ca_ctx_t ctx) noexcept
+    bint ca_is_generic_elem(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_number(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_zero(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_one(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_neg_one(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_i(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_neg_i(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_algebraic(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_rational(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_integer(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_real(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_negative_real(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_imaginary(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_undefined(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_infinity(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_uinf(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_signed_inf(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_pos_inf(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_neg_inf(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_pos_i_inf(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_is_neg_i_inf(const ca_t x, ca_ctx_t ctx) noexcept
+    truth_t ca_check_equal(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    truth_t ca_check_lt(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    truth_t ca_check_le(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    truth_t ca_check_gt(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    truth_t ca_check_ge(const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_merge_fields(ca_t resx, ca_t resy, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_condense_field(ca_t res, ca_ctx_t ctx) noexcept
+    ca_ext_ptr ca_is_gen_as_ext(const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_neg(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_add_fmpq(ca_t res, const ca_t x, const fmpq_t y, ca_ctx_t ctx) noexcept
+    void ca_add_fmpz(ca_t res, const ca_t x, const fmpz_t y, ca_ctx_t ctx) noexcept
+    void ca_add_ui(ca_t res, const ca_t x, ulong y, ca_ctx_t ctx) noexcept
+    void ca_add_si(ca_t res, const ca_t x, slong y, ca_ctx_t ctx) noexcept
+    void ca_add(ca_t res, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_sub_fmpq(ca_t res, const ca_t x, const fmpq_t y, ca_ctx_t ctx) noexcept
+    void ca_sub_fmpz(ca_t res, const ca_t x, const fmpz_t y, ca_ctx_t ctx) noexcept
+    void ca_sub_ui(ca_t res, const ca_t x, ulong y, ca_ctx_t ctx) noexcept
+    void ca_sub_si(ca_t res, const ca_t x, slong y, ca_ctx_t ctx) noexcept
+    void ca_fmpq_sub(ca_t res, const fmpq_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_fmpz_sub(ca_t res, const fmpz_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_ui_sub(ca_t res, ulong x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_si_sub(ca_t res, slong x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_sub(ca_t res, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_mul_fmpq(ca_t res, const ca_t x, const fmpq_t y, ca_ctx_t ctx) noexcept
+    void ca_mul_fmpz(ca_t res, const ca_t x, const fmpz_t y, ca_ctx_t ctx) noexcept
+    void ca_mul_ui(ca_t res, const ca_t x, ulong y, ca_ctx_t ctx) noexcept
+    void ca_mul_si(ca_t res, const ca_t x, slong y, ca_ctx_t ctx) noexcept
+    void ca_mul(ca_t res, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_inv(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_fmpq_div(ca_t res, const fmpq_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_fmpz_div(ca_t res, const fmpz_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_ui_div(ca_t res, ulong x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_si_div(ca_t res, slong x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_div_fmpq(ca_t res, const ca_t x, const fmpq_t y, ca_ctx_t ctx) noexcept
+    void ca_div_fmpz(ca_t res, const ca_t x, const fmpz_t y, ca_ctx_t ctx) noexcept
+    void ca_div_ui(ca_t res, const ca_t x, ulong y, ca_ctx_t ctx) noexcept
+    void ca_div_si(ca_t res, const ca_t x, slong y, ca_ctx_t ctx) noexcept
+    void ca_div(ca_t res, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_dot(ca_t res, const ca_t initial, int subtract, ca_srcptr x, slong xstep, ca_srcptr y, slong ystep, slong len, ca_ctx_t ctx) noexcept
+    void ca_fmpz_poly_evaluate(ca_t res, const fmpz_poly_t poly, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_fmpq_poly_evaluate(ca_t res, const fmpq_poly_t poly, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_fmpz_mpoly_evaluate_horner(ca_t res, const fmpz_mpoly_t f, ca_srcptr x, const fmpz_mpoly_ctx_t mctx, ca_ctx_t ctx) noexcept
+    void ca_fmpz_mpoly_evaluate_iter(ca_t res, const fmpz_mpoly_t f, ca_srcptr x, const fmpz_mpoly_ctx_t mctx, ca_ctx_t ctx) noexcept
+    void ca_fmpz_mpoly_evaluate(ca_t res, const fmpz_mpoly_t f, ca_srcptr x, const fmpz_mpoly_ctx_t mctx, ca_ctx_t ctx) noexcept
+    void ca_fmpz_mpoly_q_evaluate(ca_t res, const fmpz_mpoly_q_t f, ca_srcptr x, const fmpz_mpoly_ctx_t mctx, ca_ctx_t ctx) noexcept
+    void ca_fmpz_mpoly_q_evaluate_no_division_by_zero(ca_t res, const fmpz_mpoly_q_t f, ca_srcptr x, const fmpz_mpoly_ctx_t mctx, ca_ctx_t ctx) noexcept
+    void ca_inv_no_division_by_zero(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sqr(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_pow_fmpq(ca_t res, const ca_t x, const fmpq_t y, ca_ctx_t ctx) noexcept
+    void ca_pow_fmpz(ca_t res, const ca_t x, const fmpz_t y, ca_ctx_t ctx) noexcept
+    void ca_pow_ui(ca_t res, const ca_t x, ulong y, ca_ctx_t ctx) noexcept
+    void ca_pow_si(ca_t res, const ca_t x, slong y, ca_ctx_t ctx) noexcept
+    void ca_pow(ca_t res, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_pow_si_arithmetic(ca_t res, const ca_t x, slong n, ca_ctx_t ctx) noexcept
+    void ca_sqrt_inert(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sqrt_nofactor(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sqrt_factor(ca_t res, const ca_t x, ulong flags, ca_ctx_t ctx) noexcept
+    void ca_sqrt(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sqrt_ui(ca_t res, ulong n, ca_ctx_t ctx) noexcept
+    void ca_abs(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sgn(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_csgn(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_arg(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_re(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_im(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_conj_deep(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_conj_shallow(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_conj(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_floor(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_ceil(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_exp(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_log(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sin_cos_exponential(ca_t res1, ca_t res2, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sin_cos_direct(ca_t res1, ca_t res2, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sin_cos_tangent(ca_t res1, ca_t res2, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sin_cos(ca_t res1, ca_t res2, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_sin(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_cos(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_tan_sine_cosine(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_tan_exponential(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_tan_direct(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_tan(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_cot(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_atan_logarithm(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_atan_direct(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_atan(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_asin_logarithm(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_acos_logarithm(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_asin_direct(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_acos_direct(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_asin(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_acos(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_gamma(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_erf(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_erfc(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_erfi(ca_t res, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_get_acb_raw(acb_t res, const ca_t x, slong prec, ca_ctx_t ctx) noexcept
+    void ca_get_acb(acb_t res, const ca_t x, slong prec, ca_ctx_t ctx) noexcept
+    void ca_get_acb_accurate_parts(acb_t res, const ca_t x, slong prec, ca_ctx_t ctx) noexcept
+    char * ca_get_decimal_str(const ca_t x, slong digits, ulong flags, ca_ctx_t ctx) noexcept
+    void ca_rewrite_complex_normal_form(ca_t res, const ca_t x, int deep, ca_ctx_t ctx) noexcept
+    void ca_factor_init(ca_factor_t fac, ca_ctx_t ctx) noexcept
+    void ca_factor_clear(ca_factor_t fac, ca_ctx_t ctx) noexcept
+    void ca_factor_one(ca_factor_t fac, ca_ctx_t ctx) noexcept
+    void ca_factor_print(const ca_factor_t fac, ca_ctx_t ctx) noexcept
+    void ca_factor_insert(ca_factor_t fac, const ca_t base, const ca_t exp, ca_ctx_t ctx) noexcept
+    void ca_factor_get_ca(ca_t res, const ca_factor_t fac, ca_ctx_t ctx) noexcept
+    void ca_factor(ca_factor_t res, const ca_t x, ulong flags, ca_ctx_t ctx) noexcept
+    void _ca_make_field_element(ca_t x, ca_field_srcptr new_index, ca_ctx_t ctx) noexcept
+    void _ca_make_fmpq(ca_t x, ca_ctx_t ctx) noexcept

sage/libs/flint/ca_ext.pxd

@@ -0,0 +1,34 @@
+# sage_setup: distribution = sagemath-flint
+# distutils: libraries = flint
+# distutils: depends = flint/ca_ext.h
+
+################################################################################
+# This file is auto-generated by the script
+#   SAGE_ROOT/src/sage_setup/autogen/flint_autogen.py.
+# From the commit 3e2c3a3e091106a25ca9c6fba28e02f2cbcd654a
+# Do not modify by hand! Fix and rerun the script instead.
+################################################################################
+
+from libc.stdio cimport FILE
+from sage.libs.gmp.types cimport *
+from sage.libs.mpfr.types cimport *
+from sage.libs.flint.types cimport *
+
+cdef extern from "flint_wrap.h":
+    void ca_ext_init_qqbar(ca_ext_t res, const qqbar_t x, ca_ctx_t ctx) noexcept
+    void ca_ext_init_const(ca_ext_t res, calcium_func_code func, ca_ctx_t ctx) noexcept
+    void ca_ext_init_fx(ca_ext_t res, calcium_func_code func, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_ext_init_fxy(ca_ext_t res, calcium_func_code func, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_ext_init_fxn(ca_ext_t res, calcium_func_code func, ca_srcptr x, slong nargs, ca_ctx_t ctx) noexcept
+    void ca_ext_init_set(ca_ext_t res, const ca_ext_t x, ca_ctx_t ctx) noexcept
+    void ca_ext_clear(ca_ext_t res, ca_ctx_t ctx) noexcept
+    slong ca_ext_nargs(const ca_ext_t x, ca_ctx_t ctx) noexcept
+    void ca_ext_get_arg(ca_t res, const ca_ext_t x, slong i, ca_ctx_t ctx) noexcept
+    ulong ca_ext_hash(const ca_ext_t x, ca_ctx_t ctx) noexcept
+    bint ca_ext_equal_repr(const ca_ext_t x, const ca_ext_t y, ca_ctx_t ctx) noexcept
+    int ca_ext_cmp_repr(const ca_ext_t x, const ca_ext_t y, ca_ctx_t ctx) noexcept
+    void ca_ext_print(const ca_ext_t x, ca_ctx_t ctx) noexcept
+    void ca_ext_get_acb_raw(acb_t res, ca_ext_t x, slong prec, ca_ctx_t ctx) noexcept
+    void ca_ext_cache_init(ca_ext_cache_t cache, ca_ctx_t ctx) noexcept
+    void ca_ext_cache_clear(ca_ext_cache_t cache, ca_ctx_t ctx) noexcept
+    ca_ext_ptr ca_ext_cache_insert(ca_ext_cache_t cache, const ca_ext_t x, ca_ctx_t ctx) noexcept

sage/libs/flint/ca_field.pxd

@@ -0,0 +1,32 @@
+# sage_setup: distribution = sagemath-flint
+# distutils: libraries = flint
+# distutils: depends = flint/ca_field.h
+
+################################################################################
+# This file is auto-generated by the script
+#   SAGE_ROOT/src/sage_setup/autogen/flint_autogen.py.
+# From the commit 3e2c3a3e091106a25ca9c6fba28e02f2cbcd654a
+# Do not modify by hand! Fix and rerun the script instead.
+################################################################################
+
+from libc.stdio cimport FILE
+from sage.libs.gmp.types cimport *
+from sage.libs.mpfr.types cimport *
+from sage.libs.flint.types cimport *
+
+cdef extern from "flint_wrap.h":
+    void ca_field_init_qq(ca_field_t K, ca_ctx_t ctx) noexcept
+    void ca_field_init_nf(ca_field_t K, const qqbar_t x, ca_ctx_t ctx) noexcept
+    void ca_field_init_const(ca_field_t K, calcium_func_code func, ca_ctx_t ctx) noexcept
+    void ca_field_init_fx(ca_field_t K, calcium_func_code func, const ca_t x, ca_ctx_t ctx) noexcept
+    void ca_field_init_fxy(ca_field_t K, calcium_func_code func, const ca_t x, const ca_t y, ca_ctx_t ctx) noexcept
+    void ca_field_init_multi(ca_field_t K, slong len, ca_ctx_t ctx) noexcept
+    void ca_field_set_ext(ca_field_t K, slong i, ca_ext_srcptr x_index, ca_ctx_t ctx) noexcept
+    void ca_field_clear(ca_field_t K, ca_ctx_t ctx) noexcept
+    void ca_field_print(const ca_field_t K, ca_ctx_t ctx) noexcept
+    void ca_field_build_ideal(ca_field_t K, ca_ctx_t ctx) noexcept
+    void ca_field_build_ideal_erf(ca_field_t K, ca_ctx_t ctx) noexcept
+    int ca_field_cmp(const ca_field_t K1, const ca_field_t K2, ca_ctx_t ctx) noexcept
+    void ca_field_cache_init(ca_field_cache_t cache, ca_ctx_t ctx) noexcept
+    void ca_field_cache_clear(ca_field_cache_t cache, ca_ctx_t ctx) noexcept
+    ca_field_ptr ca_field_cache_insert_ext(ca_field_cache_t cache, ca_ext_struct ** x, slong len, ca_ctx_t ctx) noexcept