Merge #34257

Author: Matthias Koeppe

src/sage/libs/lcalc/lcalc_Lfunction.pxd

@@ -115,14 +115,41 @@ cdef class Lfunction:
 
     cdef str _repr
 
+
 cdef class Lfunction_I(Lfunction):
-    pass
+    cdef void __init_fun(self, char *NAME, int what_type, dirichlet_coeff, long long Period, double q,  c_Complex w, int A, double *g, c_Complex *l, int n_poles, c_Complex *p, c_Complex *r)
+    cdef inline c_Complex __value(self,c_Complex s,int derivative)
+    cdef inline c_Complex __hardy_z_function(self,c_Complex s)
+    cdef int __compute_rank(self)
+    cdef void __find_zeros_v(self, double T1, double T2, double stepsize, doublevec *result)
+    cdef double __typedN(self, double T)
+    cdef int __find_zeros(self, long count, long start, double max_refine, int rank, const char* message_stamp, doublevec *result)
+
 
 cdef class Lfunction_D(Lfunction):
-    pass
+    cdef void __init_fun(self, char *NAME, int what_type, dirichlet_coeff, long long Period, double q,  c_Complex w, int A, double *g, c_Complex *l, int n_poles, c_Complex *p, c_Complex *r)
+    cdef inline c_Complex __value(self,c_Complex s,int derivative)
+    cdef inline c_Complex __hardy_z_function(self,c_Complex s)
+    cdef inline int __compute_rank(self)
+    cdef void __find_zeros_v(self, double T1, double T2, double stepsize, doublevec *result)
+    cdef double __typedN(self, double T)
+    cdef int __find_zeros(self, long count, long start,double max_refine, int rank, const char* message_stamp, doublevec *result)
+
 
 cdef class Lfunction_C(Lfunction):
-    pass
+    cdef void __init_fun(self, char *NAME, int what_type, dirichlet_coeff, long long Period, double q,  c_Complex w, int A, double *g, c_Complex *l, int n_poles, c_Complex *p, c_Complex *r)
+    cdef inline c_Complex __value(self,c_Complex s,int derivative)
+    cdef inline c_Complex __hardy_z_function(self,c_Complex s)
+    cdef inline int __compute_rank(self)
+    cdef void __find_zeros_v(self, double T1, double T2, double stepsize, doublevec *result)
+    cdef double __typedN(self, double T)
+    cdef int __find_zeros(self, long count, long start, double max_refine, int rank, const char* message_stamp, doublevec *result)
+
 
 cdef class Lfunction_Zeta(Lfunction):
-    pass
+    cdef inline c_Complex __value(self,c_Complex s,int derivative)
+    cdef inline c_Complex __hardy_z_function(self,c_Complex s)
+    cdef inline int __compute_rank(self)
+    cdef void __find_zeros_v(self, double T1, double T2, double stepsize, doublevec *result)
+    cdef double __typedN(self, double T)
+    cdef int __find_zeros(self, long count, long start, double max_refine, int rank, const char* message_stamp, doublevec *result)

src/sage/matroids/basis_matroid.pxd

@@ -14,6 +14,8 @@ cdef class BasisMatroid(BasisExchangeMatroid):
     cdef _bases_invariant3_var
     cdef SetSystem _bases_partition3_var
 
+    cdef bint __is_exchange_pair(self, long x, long y) except -1
+
     cdef reset_current_basis(self)
 
     cpdef _is_basis(self, X)

src/sage/matroids/linear_matroid.pxd

@@ -10,6 +10,9 @@ cdef class LinearMatroid(BasisExchangeMatroid):
     cdef long *_prow
     cdef object _zero, _one
 
+    cdef bint __is_exchange_pair(self, long x, long y) except -1
+    cdef int __exchange(self, long x, long y) except -1
+
     cpdef _forget(self)
     cpdef base_ring(self)
     cpdef characteristic(self)
@@ -68,6 +71,9 @@ cdef class BinaryMatroid(LinearMatroid):
     cdef tuple _b_invariant, _b_partition
     cdef BinaryMatrix _b_projection, _eq_part
 
+    cdef bint __is_exchange_pair(self, long x, long y) except -1
+    cdef int __exchange(self, long x, long y) except -1
+
     cpdef base_ring(self)
     cpdef characteristic(self)
 
@@ -76,6 +82,8 @@ cdef class BinaryMatroid(LinearMatroid):
     cpdef LeanMatrix _reduced_representation(self, B=*)
 
     cdef  __fundamental_cocircuit(self, bitset_t, long x)
+    cdef __coclosure(self, bitset_t R, bitset_t F)
+    cdef  __exchange_value(self, long x, long y)
 
     cpdef _is_isomorphic(self, other, certificate=*)
 
@@ -99,6 +107,9 @@ cdef class TernaryMatroid(LinearMatroid):
     cdef tuple _t_invariant, _t_partition
     cdef TernaryMatrix _t_projection
 
+    cdef bint __is_exchange_pair(self, long x, long y) except -1
+    cdef int __exchange(self, long x, long y) except -1
+
     cpdef base_ring(self)
     cpdef characteristic(self)
 
@@ -107,6 +118,8 @@ cdef class TernaryMatroid(LinearMatroid):
     cpdef LeanMatrix _reduced_representation(self, B=*)
 
     cdef  __fundamental_cocircuit(self, bitset_t, long x)
+    cdef __coclosure(self, bitset_t R, bitset_t F)
+    cdef  __exchange_value(self, long x, long y)
 
     cpdef _is_isomorphic(self, other, certificate=*)
 
@@ -127,6 +140,9 @@ cdef class QuaternaryMatroid(LinearMatroid):
     cdef tuple _q_invariant, _q_partition
     cdef QuaternaryMatrix _q_projection
 
+    cdef bint __is_exchange_pair(self, long x, long y) except -1
+    cdef int __exchange(self, long x, long y) except -1
+
     cpdef base_ring(self)
     cpdef characteristic(self)
 
@@ -135,6 +151,8 @@ cdef class QuaternaryMatroid(LinearMatroid):
     cpdef LeanMatrix _reduced_representation(self, B=*)
 
     cdef  __fundamental_cocircuit(self, bitset_t, long x)
+    cdef __coclosure(self, bitset_t R, bitset_t F)
+    cdef  __exchange_value(self, long x, long y)
 
     cpdef _is_isomorphic(self, other, certificate=*)
 
@@ -153,6 +171,10 @@ cdef class RegularMatroid(LinearMatroid):
     cdef _r_projection, _r_hypergraph
     cdef _hypergraph_vertex_partition, _hypergraph_tuples
 
+    cdef bint __is_exchange_pair(self, long x, long y) except -1
+    cdef int __exchange(self, long x, long y) except -1
+    cdef  __exchange_value(self, long x, long y)
+
     cpdef base_ring(self)
     cpdef characteristic(self)
 

src/sage/rings/polynomial/polynomial_element.pxd

@@ -53,7 +53,7 @@ cdef class Polynomial_generic_dense(Polynomial):
     cpdef list list(self, bint copy=*)
 
 cdef class Polynomial_generic_dense_inexact(Polynomial_generic_dense):
-    pass
+    cdef int __normalize(self) except -1
 
 cpdef is_Polynomial(f)
 cpdef Polynomial generic_power_trunc(Polynomial p, Integer n, long prec)