Up – pari-bindings » Pari_bindingstype pari_ulong = Unsigned .ULong.t
type gen = Signed .Long.t Ctypes .ptr
type byteptr = Unsigned .uchar Ctypes .ptr
type pari_logstyles =
| LOGSTYLE_NONE
| LOGSTYLE_PLAIN
| LOGSTYLE_COLOR
| LOGSTYLE_TEX
type err_list =
| E_SYNTAX
| E_BUG
| E_ALARM
| E_FILE
| E_MISC
| E_FLAG
| E_IMPL
| E_ARCH
| E_PACKAGE
| E_NOTFUNC
| E_PREC
| E_TYPE
| E_DIM
| E_VAR
| E_PRIORITY
| E_USER
| E_STACK
| E_STACKTHREAD
| E_OVERFLOW
| E_DOMAIN
| E_COMPONENT
| E_MAXPRIME
| E_CONSTPOL
| E_IRREDPOL
| E_COPRIME
| E_PRIME
| E_MODULUS
| E_ROOTS0
| E_OP
| E_TYPE2
| E_INV
| E_MEM
| E_SQRTN
| E_FILEDESC
| E_NONE
val logstyle_none : int64
val logstyle_plain : int64
val logstyle_color : int64
val e_stackthread : int64
val pari_timer : pari_timer Ctypes .structure Ctypes .typ
val pari_timer_s : (Signed .long, pari_timer Ctypes .structure ) Ctypes .field
val pari_timer_us : (Signed .long, pari_timer Ctypes .structure ) Ctypes .field
val pari_str : pari_str Ctypes .structure Ctypes .typ
val pari_str_string : (string, pari_str Ctypes .structure ) Ctypes .field
val pari_str_end : (string, pari_str Ctypes .structure ) Ctypes .field
val pari_str_cur : (string, pari_str Ctypes .structure ) Ctypes .field
val pari_str_size : (int, pari_str Ctypes .structure ) Ctypes .field
val pari_str_use_stack : (int, pari_str Ctypes .structure ) Ctypes .field
val pari_sieve : pari_sieve Ctypes .structure Ctypes .typ
val pari_sieve_sieve :
(Unsigned .uchar Ctypes_static .ptr , pari_sieve Ctypes .structure ) Ctypes .field
val forprime_t : forprime_t Ctypes .structure Ctypes .typ
val forprime_t_strategy : (int, forprime_t Ctypes .structure ) Ctypes .field
val forprime_t_bb : (gen , forprime_t Ctypes .structure ) Ctypes .field
val forprime_t_psieve :
(pari_sieve Ctypes .structure Ctypes_static .ptr , forprime_t Ctypes .structure )
Ctypes .field
val forprime_t_sieve :
(Unsigned .uchar Ctypes_static .ptr , forprime_t Ctypes .structure ) Ctypes .field
val forprime_t_isieve :
(Unsigned .uchar Ctypes_static .ptr , forprime_t Ctypes .structure ) Ctypes .field
val forprime_t_pp : (gen , forprime_t Ctypes .structure ) Ctypes .field
val forcomposite_t_first : (int, forcomposite_t Ctypes .structure ) Ctypes .field
val forvec_t : forvec_t Ctypes .structure Ctypes .typ
val forvec_t_first : (Signed .long, forvec_t Ctypes .structure ) Ctypes .field
val forvec_t_a :
(gen Ctypes_static .ptr , forvec_t Ctypes .structure ) Ctypes .field
val forvec_t_m :
(gen Ctypes_static .ptr , forvec_t Ctypes .structure ) Ctypes .field
val forvec_t_M :
(gen Ctypes_static .ptr , forvec_t Ctypes .structure ) Ctypes .field
val forvec_t_n : (Signed .long, forvec_t Ctypes .structure ) Ctypes .field
val forvec_t_next :
((forvec_t Ctypes .structure Ctypes_static .ptr ->
gen )
Ctypes_static .static_funptr ,
forvec_t Ctypes .structure )
Ctypes .field
val forpart_t : forpart_t Ctypes .structure Ctypes .typ
val forpart_t_k : (Signed .long, forpart_t Ctypes .structure ) Ctypes .field
val forpart_t_amax : (Signed .long, forpart_t Ctypes .structure ) Ctypes .field
val forpart_t_amin : (Signed .long, forpart_t Ctypes .structure ) Ctypes .field
val forpart_t_nmin : (Signed .long, forpart_t Ctypes .structure ) Ctypes .field
val forpart_t_nmax : (Signed .long, forpart_t Ctypes .structure ) Ctypes .field
val forpart_t_strip : (Signed .long, forpart_t Ctypes .structure ) Ctypes .field
val forpart_t_v : (gen , forpart_t Ctypes .structure ) Ctypes .field
val forperm_t : forperm_t Ctypes .structure Ctypes .typ
val forperm_t_k : (Signed .long, forperm_t Ctypes .structure ) Ctypes .field
val forperm_t_first : (Signed .long, forperm_t Ctypes .structure ) Ctypes .field
val forperm_t_v : (gen , forperm_t Ctypes .structure ) Ctypes .field
val forsubset_t : forsubset_t Ctypes .structure Ctypes .typ
val forsubset_t_n : (Signed .long, forsubset_t Ctypes .structure ) Ctypes .field
val forsubset_t_k : (Signed .long, forsubset_t Ctypes .structure ) Ctypes .field
val forsubset_t_all : (Signed .long, forsubset_t Ctypes .structure ) Ctypes .field
val forsubset_t_first :
(Signed .long, forsubset_t Ctypes .structure ) Ctypes .field
val pari_plot : pari_plot Ctypes .structure Ctypes .typ
val pari_plot_draw :
((pari_plot Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
gen ->
unit)
Ctypes_static .static_funptr ,
pari_plot Ctypes .structure )
Ctypes .field
val pari_plot_width : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_height : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_hunit : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_vunit : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_fwidth : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_fheight : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_dwidth : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val pari_plot_dheight : (Signed .long, pari_plot Ctypes .structure ) Ctypes .field
val genbin : genbin Ctypes .structure Ctypes .typ
val genbin_len : (int, genbin Ctypes .structure ) Ctypes .field
val genbin_x : (gen , genbin Ctypes .structure ) Ctypes .field
val genbin_base : (gen , genbin Ctypes .structure ) Ctypes .field
val genbin_rebase :
((gen -> Signed .long -> unit) Ctypes_static .static_funptr ,
genbin Ctypes .structure )
Ctypes .field
val pari_mainstack_size : (int, pari_mainstack Ctypes .structure ) Ctypes .field
val pari_mainstack_rsize : (int, pari_mainstack Ctypes .structure ) Ctypes .field
val pari_mainstack_vsize : (int, pari_mainstack Ctypes .structure ) Ctypes .field
val pari_mainstack_memused :
(int, pari_mainstack Ctypes .structure ) Ctypes .field
val entree : entree Ctypes .structure Ctypes .typ
val entree_name : (string, entree Ctypes .structure ) Ctypes .field
val entree_value :
(unit Ctypes_static .ptr , entree Ctypes .structure ) Ctypes .field
val entree_code : (string, entree Ctypes .structure ) Ctypes .field
val entree_help : (string, entree Ctypes .structure ) Ctypes .field
val entree_pvalue :
(unit Ctypes_static .ptr , entree Ctypes .structure ) Ctypes .field
val entree_arity : (Signed .long, entree Ctypes .structure ) Ctypes .field
val entree_next :
(entree Ctypes .structure Ctypes_static .ptr , entree Ctypes .structure )
Ctypes .field
val pari_parsestate_node :
(Signed .long, pari_parsestate Ctypes .structure ) Ctypes .field
val pari_parsestate_once : (int, pari_parsestate Ctypes .structure ) Ctypes .field
val pari_parsestate_discarded :
(Signed .long, pari_parsestate Ctypes .structure ) Ctypes .field
val pari_parsestate_lex_start :
(string, pari_parsestate Ctypes .structure ) Ctypes .field
val pari_compilestate_opcode :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_operand :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_accesslex :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_data :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_localvars :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_frames :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_dbginfo :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_offset :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_nblex :
(Signed .long, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_compilestate_dbgstart :
(string, pari_compilestate Ctypes .structure ) Ctypes .field
val pari_mtstate_pending_threads :
(Signed .long, pari_mtstate Ctypes .structure ) Ctypes .field
val pari_mtstate_is_thread :
(Signed .long, pari_mtstate Ctypes .structure ) Ctypes .field
val pari_mtstate_trace_level :
(Signed .long, pari_mtstate Ctypes .structure ) Ctypes .field
val pari_evalstate_sp :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_evalstate_rp :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_evalstate_var :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_evalstate_lvars :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_evalstate_locks :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_evalstate_prec :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_evalstate_trace :
(Signed .long, pari_evalstate Ctypes .structure ) Ctypes .field
val pari_varstate_nvar :
(Signed .long, pari_varstate Ctypes .structure ) Ctypes .field
val pari_varstate_max_avail :
(Signed .long, pari_varstate Ctypes .structure ) Ctypes .field
val pari_varstate_min_priority :
(Signed .long, pari_varstate Ctypes .structure ) Ctypes .field
val pari_varstate_max_priority :
(Signed .long, pari_varstate Ctypes .structure ) Ctypes .field
val pari_global_state_bitprec :
(Signed .long, pari_global_state Ctypes .structure ) Ctypes .field
val pari_global_state_varpriority :
(Signed .long Ctypes_static .ptr , pari_global_state Ctypes .structure )
Ctypes .field
val pari_thread : pari_thread Ctypes .structure Ctypes .typ
val pari_thread_data : (gen , pari_thread Ctypes .structure ) Ctypes .field
val mt_state : mt_state Ctypes .structure Ctypes .typ
val mt_state_worker : (gen , mt_state Ctypes .structure ) Ctypes .field
val mt_state_pending : (gen , mt_state Ctypes .structure ) Ctypes .field
val mt_state_workid : (Signed .long, mt_state Ctypes .structure ) Ctypes .field
val pari_mt : pari_mt Ctypes .structure Ctypes .typ
val pari_mt_mt :
(mt_state Ctypes .structure , pari_mt Ctypes .structure ) Ctypes .field
val pari_mt_get :
((mt_state Ctypes .structure Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
gen )
Ctypes_static .static_funptr ,
pari_mt Ctypes .structure )
Ctypes .field
val pari_mt_submit :
((mt_state Ctypes .structure Ctypes_static .ptr ->
Signed .long ->
gen ->
unit)
Ctypes_static .static_funptr ,
pari_mt Ctypes .structure )
Ctypes .field
val pari_mt_end :
(unit Ctypes_static .static_funptr , pari_mt Ctypes .structure ) Ctypes .field
val parfor_iter : parfor_iter Ctypes .structure Ctypes .typ
val parfor_iter_pending :
(Signed .long, parfor_iter Ctypes .structure ) Ctypes .field
val parfor_iter_worker : (gen , parfor_iter Ctypes .structure ) Ctypes .field
val parfor_iter_pt :
(pari_mt Ctypes .structure , parfor_iter Ctypes .structure ) Ctypes .field
val parfor_t : parfor_t Ctypes .structure Ctypes .typ
val parfor_t_a : (gen , parfor_t Ctypes .structure ) Ctypes .field
val parfor_t_b : (gen , parfor_t Ctypes .structure ) Ctypes .field
val parforeach_t_i : (Signed .long, parforeach_t Ctypes .structure ) Ctypes .field
val parforeach_t_l : (Signed .long, parforeach_t Ctypes .structure ) Ctypes .field
val parforvec_t : parforvec_t Ctypes .structure Ctypes .typ
val parforvec_t_forvec :
(forvec_t Ctypes .structure , parforvec_t Ctypes .structure ) Ctypes .field
val hashentry : hashentry Ctypes .structure Ctypes .typ
val hashentry_key :
(unit Ctypes_static .ptr , hashentry Ctypes .structure ) Ctypes .field
val hashentry_val :
(unit Ctypes_static .ptr , hashentry Ctypes .structure ) Ctypes .field
val hashentry_next :
(hashentry Ctypes .structure Ctypes_static .ptr , hashentry Ctypes .structure )
Ctypes .field
val hashtable : hashtable Ctypes .structure Ctypes .typ
val hashtable_table :
(hashentry Ctypes .structure Ctypes_static .ptr Ctypes_static .ptr ,
hashtable Ctypes .structure )
Ctypes .field
val hashtable_hash :
((unit Ctypes_static .ptr -> pari_ulong ) Ctypes_static .static_funptr ,
hashtable Ctypes .structure )
Ctypes .field
val hashtable_eq :
((unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
int)
Ctypes_static .static_funptr ,
hashtable Ctypes .structure )
Ctypes .field
val hashtable_use_stack : (int, hashtable Ctypes .structure ) Ctypes .field
val gp_path : gp_path Ctypes .structure Ctypes .typ
val gp_path_PATH : (string, gp_path Ctypes .structure ) Ctypes .field
val gp_path_dirs :
(string Ctypes_static .ptr , gp_path Ctypes .structure ) Ctypes .field
val pariout_t : pariout_t Ctypes .structure Ctypes .typ
val pariout_t_sigd : (Signed .long, pariout_t Ctypes .structure ) Ctypes .field
val pariout_t_sp : (int, pariout_t Ctypes .structure ) Ctypes .field
val pariout_t_prettyp : (int, pariout_t Ctypes .structure ) Ctypes .field
val pariout_t_TeXstyle : (int, pariout_t Ctypes .structure ) Ctypes .field
val nfmaxord_t : nfmaxord_t Ctypes .structure Ctypes .typ
val nfmaxord_t_T : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_dT : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_T0 : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_unscale : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_dK : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_index : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_basis : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_r1 : (Signed .long, nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_basden : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_dTP : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_dTE : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_dKP : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_dKE : (gen , nfmaxord_t Ctypes .structure ) Ctypes .field
val nfmaxord_t_certify :
(Signed .long, nfmaxord_t Ctypes .structure ) Ctypes .field
val qfr_data : qfr_data Ctypes .structure Ctypes .typ
val qfr_data_D : (gen , qfr_data Ctypes .structure ) Ctypes .field
val qfr_data_sqrtD : (gen , qfr_data Ctypes .structure ) Ctypes .field
val qfr_data_isqrtD : (gen , qfr_data Ctypes .structure ) Ctypes .field
val fp_chk_fun : fp_chk_fun Ctypes .structure Ctypes .typ
val fp_chk_fun_f :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
fp_chk_fun Ctypes .structure )
Ctypes .field
val fp_chk_fun_f_init :
((fp_chk_fun Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ,
fp_chk_fun Ctypes .structure )
Ctypes .field
val fp_chk_fun_f_post :
((fp_chk_fun Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ,
fp_chk_fun Ctypes .structure )
Ctypes .field
val fp_chk_fun_data :
(unit Ctypes_static .ptr , fp_chk_fun Ctypes .structure ) Ctypes .field
val fp_chk_fun_skipfirst :
(Signed .long, fp_chk_fun Ctypes .structure ) Ctypes .field
val zlog_s : zlog_s Ctypes .structure Ctypes .typ
val zlog_s_bid : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_P : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_k : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_sprk : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_archp : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_mod : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_U : (gen , zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_hU : (Signed .long, zlog_s Ctypes .structure ) Ctypes .field
val zlog_s_no2 : (int, zlog_s Ctypes .structure ) Ctypes .field
val bb_group : bb_group Ctypes .structure Ctypes .typ
val bb_group_mul :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_group Ctypes .structure )
Ctypes .field
val bb_group_pow :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_group Ctypes .structure )
Ctypes .field
val bb_group_rand :
((unit Ctypes_static .ptr -> gen ) Ctypes_static .static_funptr ,
bb_group Ctypes .structure )
Ctypes .field
val bb_group_hash :
((gen -> pari_ulong ) Ctypes_static .static_funptr , bb_group Ctypes .structure )
Ctypes .field
val bb_group_equal :
((gen -> gen -> int) Ctypes_static .static_funptr , bb_group Ctypes .structure )
Ctypes .field
val bb_group_equal1 :
((gen -> int) Ctypes_static .static_funptr , bb_group Ctypes .structure )
Ctypes .field
val bb_group_easylog :
((unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ,
bb_group Ctypes .structure )
Ctypes .field
val bb_field : bb_field Ctypes .structure Ctypes .typ
val bb_field_red :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
bb_field Ctypes .structure )
Ctypes .field
val bb_field_add :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_field Ctypes .structure )
Ctypes .field
val bb_field_mul :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_field Ctypes .structure )
Ctypes .field
val bb_field_neg :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
bb_field Ctypes .structure )
Ctypes .field
val bb_field_inv :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
bb_field Ctypes .structure )
Ctypes .field
val bb_field_equal0 :
((gen -> int) Ctypes_static .static_funptr , bb_field Ctypes .structure )
Ctypes .field
val bb_field_s :
((unit Ctypes_static .ptr -> Signed .long -> gen ) Ctypes_static .static_funptr ,
bb_field Ctypes .structure )
Ctypes .field
val bb_algebra : bb_algebra Ctypes .structure Ctypes .typ
val bb_algebra_red :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_algebra_add :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_algebra_sub :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_algebra_mul :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_algebra_sqr :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_algebra_one :
((unit Ctypes_static .ptr -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_algebra_zero :
((unit Ctypes_static .ptr -> gen ) Ctypes_static .static_funptr ,
bb_algebra Ctypes .structure )
Ctypes .field
val bb_ring : bb_ring Ctypes .structure Ctypes .typ
val bb_ring_add :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_ring Ctypes .structure )
Ctypes .field
val bb_ring_mul :
((unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ,
bb_ring Ctypes .structure )
Ctypes .field
val bb_ring_sqr :
((unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ,
bb_ring Ctypes .structure )
Ctypes .field
val mpbern : Signed .long -> Signed .long -> unit
val listkill : gen -> unit
val f2ms_ker : gen -> Signed .long -> gen
val f2ms_to_f2m : gen -> Signed .long -> gen
val f2m_ker_sp : gen -> Signed .long -> gen
val f2m_rank : gen -> Signed .long
val f2m_row : gen -> Signed .long -> gen
val f2m_rowslice : gen -> Signed .long -> Signed .long -> gen
val f2m_transpose : gen -> gen
val f2v_add_inplace : gen -> gen -> unit
val f2v_and_inplace : gen -> gen -> unit
val f2v_equal0 : gen -> int
val f2v_negimply_inplace : gen -> gen -> unit
val f2v_or_inplace : gen -> gen -> unit
val f2v_slice : gen -> Signed .long -> Signed .long -> gen
val f2v_subset : gen -> gen -> int
val matid_f2m : Signed .long -> gen
val f2x_frobenius : gen -> gen
val f2x_deflate : gen -> Signed .long -> gen
val f2x_degree : gen -> Signed .long
val f2x_even_odd :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val f2x_extgcd :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val f2x_issquare : gen -> int
val f2x_matfrobenius : gen -> gen
val f2x_shift : gen -> Signed .long -> gen
val f2x_to_f2v : gen -> Signed .long -> gen
val f2x_to_f2xx : gen -> Signed .long -> gen
val f2x_valrem : gen -> gen Ctypes_static .ptr -> Signed .long
val f2xv_to_f2m : gen -> Signed .long -> gen
val f2xv_to_flxv_inplace : gen -> unit
val f2xv_to_zxv_inplace : gen -> unit
val f2xx_renormalize : gen -> Signed .long -> gen
val f2xx_to_kronecker : gen -> Signed .long -> gen
val f2xx_to_f2xc : gen -> Signed .long -> Signed .long -> gen
val f2xxv_to_f2xm : gen -> Signed .long -> Signed .long -> gen
val f2xxc_to_zxxc : gen -> gen
val f2xy_degreex : gen -> Signed .long
val f2xn_div : gen -> gen -> Signed .long -> gen
val f2xn_inv : gen -> Signed .long -> gen
val f2xn_red : gen -> Signed .long -> gen
val f2xq_autpow : gen -> Signed .long -> gen -> gen
val f2xq_matrix_pow : gen -> Signed .long -> Signed .long -> gen -> gen
val f2xq_powers : gen -> Signed .long -> gen -> gen
val f2xqx_extgcd :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val f2xqx_halfgcd_all :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val f2xqx_ispower :
gen ->
Signed .long ->
gen ->
gen Ctypes_static .ptr ->
Signed .long
val f2xqxq_auttrace : gen -> Signed .long -> gen -> gen -> gen
val flxxc_to_f2xxc : gen -> gen
val z_to_f2x : gen -> Signed .long -> gen
val zxx_to_f2xx : gen -> Signed .long -> gen
val const_f2v : Signed .long -> gen
val gener_f2xq : gen -> gen Ctypes_static .ptr -> gen
val get_f2xq_field :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
bb_field Ctypes .structure Ctypes_static .ptr
val monomial_f2x : Signed .long -> Signed .long -> gen
val pol1_f2xx : Signed .long -> Signed .long -> gen
val polx_f2xx : Signed .long -> Signed .long -> gen
val random_f2xqx : Signed .long -> Signed .long -> gen -> gen
val f2x_teichmuller : gen -> Signed .long -> gen
val f2xq_elltwist :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val get_f2xqe_group :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
gen ->
bb_group Ctypes .structure Ctypes_static .ptr
val f3m_ker_sp : gen -> Signed .long -> gen
val f3m_row : gen -> Signed .long -> gen
val f3m_transpose : gen -> gen
val f3v_clear : gen -> Signed .long -> unit
val zero_f3m_copy : Signed .long -> Signed .long -> gen
val zero_f3v : Signed .long -> gen
val flc_to_zc_inplace : gen -> gen
val flm_to_zm_inplace : gen -> gen
val fl2_equal1 : gen -> int
val flm_to_flxv : gen -> Signed .long -> gen
val flm_to_flxx : gen -> Signed .long -> Signed .long -> gen
val flv_to_flx : gen -> Signed .long -> gen
val flx_blocks : gen -> Signed .long -> Signed .long -> gen
val flx_deflate : gen -> Signed .long -> gen
val flx_equal : gen -> gen -> int
val flx_inflate : gen -> Signed .long -> gen
val flx_renormalize : gen -> Signed .long -> gen
val flx_shift : gen -> Signed .long -> gen
val flx_splitting : gen -> Signed .long -> gen
val flx_to_flv : gen -> Signed .long -> gen
val flx_to_flxx : gen -> Signed .long -> gen
val flx_to_zx_inplace : gen -> gen
val flx_val : gen -> Signed .long
val flx_valrem : gen -> gen Ctypes_static .ptr -> Signed .long
val flxm_to_flxxv : gen -> Signed .long -> gen
val flxv_to_flm : gen -> Signed .long -> gen
val flxv_to_flxx : gen -> Signed .long -> gen
val flxv_to_zxv_inplace : gen -> unit
val flxn_red : gen -> Signed .long -> gen
val flxq_lroot : gen -> gen -> Signed .long -> gen
val flxq_lroot_fast : gen -> gen -> gen -> Signed .long -> gen
val get_flxq_field :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
pari_ulong ->
bb_field Ctypes .structure Ctypes_static .ptr
val get_flxq_star :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
pari_ulong ->
bb_group Ctypes .structure Ctypes_static .ptr
val monomial_flx : pari_ulong -> Signed .long -> Signed .long -> gen
val zero_flxc : Signed .long -> Signed .long -> gen
val zero_flxm : Signed .long -> Signed .long -> Signed .long -> gen
val flxx_blocks : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val flxx_renormalize : gen -> Signed .long -> gen
val flxx_shift : gen -> Signed .long -> Signed .long -> gen
val flxx_swap : gen -> Signed .long -> Signed .long -> gen
val flxx_to_flm : gen -> Signed .long -> gen
val flxx_to_flxc : gen -> Signed .long -> Signed .long -> gen
val flxx_translate1 : gen -> Signed .long -> Signed .long -> gen
val flxxc_to_zxxc : gen -> gen
val flxxm_to_zxxm : gen -> gen
val flxxv_to_flxm : gen -> Signed .long -> Signed .long -> gen
val flxxn_red : gen -> Signed .long -> gen
val flxy_degreex : gen -> Signed .long
val fly_to_flxy : gen -> Signed .long -> gen
val get_flxqxq_algebra :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
pari_ulong ->
bb_algebra Ctypes .structure Ctypes_static .ptr
val pol1_flxx : Signed .long -> Signed .long -> gen
val polx_flxx : Signed .long -> Signed .long -> gen
val zlxx_translate1 : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val get_flxqe_group :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
gen ->
pari_ulong ->
bb_group Ctypes .structure Ctypes_static .ptr
val polisclass : gen -> Signed .long
val fp_ellj_to_a4a6 :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val fp_elljissupersingular : gen -> gen -> int
val fp_elltwist :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val fpxq_elljissupersingular : gen -> gen -> gen -> int
val fpxq_elltwist :
gen ->
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val fq_elljissupersingular : gen -> gen -> gen -> int
val get_fpe_group :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
gen ->
bb_group Ctypes .structure Ctypes_static .ptr
val get_fpxqe_group :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
gen ->
gen ->
bb_group Ctypes .structure Ctypes_static .ptr
val ellsupersingularj_fpxq : gen -> gen -> gen
val elltrace_extension : gen -> Signed .long -> gen -> gen
val fp_issquare : gen -> gen -> int
val fpv_fpm_polint : gen -> gen -> gen -> Signed .long -> gen
val fpv_roots_to_pol : gen -> gen -> Signed .long -> gen
val fpx_fp_mulspec : gen -> gen -> gen -> Signed .long -> gen
val fpx_newton : gen -> Signed .long -> gen -> gen
val fpx_extgcd :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val fpx_extresultant :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val fpx_halfgcd_all :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val fpx_is_squarefree : gen -> gen -> int
val fpx_mulspec : gen -> gen -> gen -> Signed .long -> Signed .long -> gen
val fpx_valrem : gen -> gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val fpxq_autpowers : gen -> Signed .long -> gen -> gen -> gen
val fpxq_matrix_pow : gen -> Signed .long -> Signed .long -> gen -> gen -> gen
val fpxv_factorback : gen -> gen -> gen -> Signed .long -> gen
val fpxn_exp : gen -> Signed .long -> gen -> gen
val fpxn_expint : gen -> Signed .long -> gen -> gen
val fpxn_inv : gen -> Signed .long -> gen -> gen
val fpxn_sqr : gen -> Signed .long -> gen -> gen
val z_to_fpx : gen -> gen -> Signed .long -> gen
val get_fpxq_star :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
bb_group Ctypes .structure Ctypes_static .ptr
val get_fpx_algebra :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
Signed .long ->
bb_algebra Ctypes .structure Ctypes_static .ptr
val get_fpxq_algebra :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
bb_algebra Ctypes .structure Ctypes_static .ptr
val random_fpx : Signed .long -> Signed .long -> gen -> gen
val f2x_factor_squarefree : gen -> gen
val f2x_is_irred : gen -> int
val flx_nbfact_by_degree :
gen ->
Signed .long Ctypes_static .ptr ->
pari_ulong ->
gen
val fpx_ddf_degree : gen -> gen -> gen -> Signed .long
val fpx_factor_squarefree : gen -> gen -> gen
val fpx_is_irred : gen -> gen -> int
val fpx_is_totally_split : gen -> gen -> int
val fpx_nbfact : gen -> gen -> Signed .long
val fpx_nbfact_frobenius : gen -> gen -> gen -> Signed .long
val fpx_nbroots : gen -> gen -> Signed .long
val fpx_roots_mult : gen -> Signed .long -> gen -> gen
val f2xqx_factor_squarefree : gen -> gen -> gen
val fpx_ffintersect :
gen ->
gen ->
Signed .long ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen ->
gen ->
unit
val fpxqx_ddf_degree : gen -> gen -> gen -> gen -> Signed .long
val fpxqx_nbfact : gen -> gen -> gen -> Signed .long
val fpxqx_nbfact_frobenius : gen -> gen -> gen -> gen -> Signed .long
val fpxqx_nbroots : gen -> gen -> gen -> Signed .long
val fqx_is_squarefree : gen -> gen -> gen -> Signed .long
val fqx_nbfact : gen -> gen -> gen -> Signed .long
val fqx_nbroots : gen -> gen -> gen -> Signed .long
val factormod0 : gen -> gen -> Signed .long -> gen
val ff_parse_tp :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long ->
int
val rootmod0 : gen -> gen -> Signed .long -> gen
val fpxqx_halfgcd_all :
gen ->
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val fpxqxq_matrix_pow :
gen ->
Signed .long ->
Signed .long ->
gen ->
gen ->
gen ->
gen
val get_fpxqx_algebra :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
Signed .long ->
bb_algebra Ctypes .structure Ctypes_static .ptr
val get_fpxqxq_algebra :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
gen ->
bb_algebra Ctypes .structure Ctypes_static .ptr
val random_fpxqx : Signed .long -> Signed .long -> gen -> gen -> gen
val flm_transpose : gen -> gen
val fpc_center_inplace : gen -> gen -> gen -> unit
val fpm_fpc_mul_fpx : gen -> gen -> gen -> Signed .long -> gen
val fpm_center_inplace : gen -> gen -> gen -> unit
val fpms_fpcs_solve : gen -> gen -> Signed .long -> gen -> gen
val fpms_fpcs_solve_safe : gen -> gen -> Signed .long -> gen -> gen
val fpms_leftkernel_elt : gen -> Signed .long -> gen -> gen
val zabm_ker : gen -> gen -> Signed .long -> gen
val zabm_indexrank : gen -> gen -> Signed .long -> gen
val zabm_inv : gen -> gen -> Signed .long -> gen Ctypes_static .ptr -> gen
val zabm_inv_ratlift :
gen ->
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
gen
val zabm_pseudoinv :
gen ->
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val zpms_zpcs_solve : gen -> gen -> Signed .long -> gen -> Signed .long -> gen
val gen_fpm_wiedemann :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen
val gen_zpm_dixon_wiedemann :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val gen_matid :
Signed .long ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val matid_flm : Signed .long -> gen
val matid_f2xqm : Signed .long -> gen -> gen
val random_fpc : Signed .long -> gen -> gen
val random_fpv : Signed .long -> gen -> gen
val scalar_flm : Signed .long -> Signed .long -> gen
val zcs_to_zc : gen -> Signed .long -> gen
val zms_to_zm : gen -> Signed .long -> gen
val z2_sqrt : gen -> Signed .long -> gen
val zp_inv : gen -> gen -> Signed .long -> gen
val zp_sqrt : gen -> gen -> Signed .long -> gen
val zpx_frobenius : gen -> gen -> Signed .long -> gen
val zpx_zpxq_liftroot_ea :
gen ->
gen ->
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val zpx_roots : gen -> gen -> Signed .long -> gen
val zpxqm_prodfrobenius : gen -> gen -> gen -> Signed .long -> gen
val zpxqx_liftroot_vald :
gen ->
gen ->
Signed .long ->
gen ->
gen ->
Signed .long ->
gen
val gen_zpm_dixon :
gen ->
gen ->
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_zpm_newton :
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen
val gen_zpx_dixon :
gen ->
gen ->
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_zpx_newton :
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen
val quadratic_prec_mask : Signed .long -> pari_ulong
val zx_is_irred : gen -> Signed .long
val zx_squff : gen -> gen Ctypes_static .ptr -> gen
val polcyclofactors : gen -> gen
val poliscyclo : gen -> Signed .long
val poliscycloprod : gen -> Signed .long
val rgc_is_ei : gen -> Signed .long
val rgm_det_triangular : gen -> gen
val rgm_is_qm : gen -> int
val rgm_is_zm : gen -> int
val rgm_isdiagonal : gen -> int
val rgm_isidentity : gen -> int
val rgm_isscalar : gen -> gen -> int
val rgm_powers : gen -> Signed .long -> gen
val rgmrow_zc_mul : gen -> gen -> Signed .long -> gen
val rgmrow_rgc_mul : gen -> gen -> Signed .long -> gen
val rgv_dotsquare : gen -> gen
val rgv_is_zmv : gen -> int
val rgv_sumpart : gen -> Signed .long -> gen
val rgv_sumpart2 : gen -> Signed .long -> Signed .long -> gen
val isdiagonal : gen -> int
val matid : Signed .long -> gen
val scalarcol : gen -> Signed .long -> gen
val scalarcol_shallow : gen -> Signed .long -> gen
val scalarmat : gen -> Signed .long -> gen
val scalarmat_shallow : gen -> Signed .long -> gen
val scalarmat_s : Signed .long -> Signed .long -> gen
val qxq_charpoly : gen -> gen -> Signed .long -> gen
val qxq_powers : gen -> Signed .long -> gen -> gen
val rg_to_rgc : gen -> Signed .long -> gen
val rgm_to_rgxv : gen -> Signed .long -> gen
val rgm_to_rgxv_reverse : gen -> Signed .long -> gen
val rgm_to_rgxx : gen -> Signed .long -> Signed .long -> gen
val rgv_to_rgx : gen -> Signed .long -> gen
val rgv_to_rgm : gen -> Signed .long -> gen
val rgv_to_rgx_reverse : gen -> Signed .long -> gen
val rgx_rgxn_eval : gen -> gen -> Signed .long -> gen
val rgx_rgxnv_eval : gen -> gen -> Signed .long -> gen
val rgx_addmulxn_shallow : gen -> gen -> Signed .long -> gen
val rgx_addmulxn : gen -> gen -> Signed .long -> gen
val rgx_addspec : gen -> gen -> Signed .long -> Signed .long -> gen
val rgx_addspec_shallow : gen -> gen -> Signed .long -> Signed .long -> gen
val rgx_blocks : gen -> Signed .long -> Signed .long -> gen
val rgx_deflate : gen -> Signed .long -> gen
val rgx_div_by_x_x : gen -> gen -> gen Ctypes_static .ptr -> gen
val rgx_divs : gen -> Signed .long -> gen
val rgx_equal : gen -> gen -> Signed .long
val rgx_even_odd :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val rgx_homogenize : gen -> Signed .long -> gen
val rgx_inflate : gen -> Signed .long -> gen
val rgx_mul_normalized : gen -> Signed .long -> gen -> Signed .long -> gen
val rgx_mul2n : gen -> Signed .long -> gen
val rgx_mulxn : gen -> Signed .long -> gen
val rgx_mulhigh_i : gen -> gen -> Signed .long -> gen
val rgx_muls : gen -> Signed .long -> gen
val rgx_mulspec : gen -> gen -> Signed .long -> Signed .long -> gen
val rgx_normalize : gen -> gen
val rgx_pseudodivrem : gen -> gen -> gen Ctypes_static .ptr -> gen
val rgx_recip_shallow : gen -> gen
val rgx_renormalize_lg : gen -> Signed .long -> gen
val rgx_rotate_shallow : gen -> Signed .long -> Signed .long -> gen
val rgx_shift : gen -> Signed .long -> gen
val rgx_shift_shallow : gen -> Signed .long -> gen
val rgx_splitting : gen -> Signed .long -> gen
val rgx_sqrhigh_i : gen -> Signed .long -> gen
val rgx_sqrspec : gen -> Signed .long -> gen
val rgx_to_rgc : gen -> Signed .long -> gen
val rgxq_matrix_pow : gen -> Signed .long -> Signed .long -> gen -> gen
val rgxq_powers : gen -> Signed .long -> gen -> gen
val rgxqx_powers : gen -> Signed .long -> gen -> gen
val rgxv_to_rgm : gen -> Signed .long -> gen
val rgxx_to_rgm : gen -> Signed .long -> gen
val rgxy_degreex : gen -> Signed .long
val rgxy_swap : gen -> Signed .long -> Signed .long -> gen
val rgxy_swapspec : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val rgxn_div : gen -> gen -> Signed .long -> gen
val rgxn_div_i : gen -> gen -> Signed .long -> gen
val rgxn_eval : gen -> gen -> Signed .long -> gen
val rgxn_exp : gen -> Signed .long -> gen
val rgxn_expint : gen -> Signed .long -> gen
val rgxn_inv : gen -> Signed .long -> gen
val rgxn_inv_i : gen -> Signed .long -> gen
val rgxn_mul : gen -> gen -> Signed .long -> gen
val rgxn_powers : gen -> Signed .long -> Signed .long -> gen
val rgxn_recip_shallow : gen -> Signed .long -> gen
val rgxn_red_shallow : gen -> Signed .long -> gen
val rgxn_reverse : gen -> Signed .long -> gen
val rgxn_sqr : gen -> Signed .long -> gen
val rgxn_sqrt : gen -> Signed .long -> gen
val rgxnv_red_shallow : gen -> Signed .long -> gen
val zx_unscale2n : gen -> Signed .long -> gen
val zx_unscale_divpow : gen -> gen -> Signed .long -> gen
val zx_z_unscale : gen -> Signed .long -> gen
val zxq_powers : gen -> Signed .long -> gen -> gen
val brent_kung_optpow :
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long
val gen_bkeval :
gen ->
Signed .long ->
gen ->
int ->
unit Ctypes_static .ptr ->
bb_algebra Ctypes .structure Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen ->
gen )
Ctypes_static .static_funptr ->
gen
val gen_bkeval_powers :
gen ->
Signed .long ->
gen ->
unit Ctypes_static .ptr ->
bb_algebra Ctypes .structure Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen ->
gen )
Ctypes_static .static_funptr ->
gen
val get_rg_algebra : unit -> bb_algebra Ctypes .structure Ctypes_static .ptr
val rfrac_deflate_order : gen -> Signed .long
val rfrac_deflate_max : gen -> Signed .long Ctypes_static .ptr -> gen
val rfrac_deflate : gen -> Signed .long -> gen
val zgc_g_mul_inplace : gen -> gen -> unit
val vecsmall_prod : gen -> gen
val rgm_check_zm : gen -> string -> unit
val rgv_check_zv : gen -> string -> unit
val zc_hnfremdiv : gen -> gen -> gen Ctypes_static .ptr -> gen
val zc_is_ei : gen -> Signed .long
val zc_lincomb1_inplace : gen -> gen -> gen -> unit
val zc_lincomb1_inplace_i : gen -> gen -> gen -> Signed .long -> unit
val zc_z_mul : gen -> Signed .long -> gen
val zm_det_triangular : gen -> gen
val zm_equal : gen -> gen -> int
val zm_equal0 : gen -> int
val zm_hnfdivrem : gen -> gen -> gen Ctypes_static .ptr -> gen
val zm_ishnf : gen -> int
val zm_isdiagonal : gen -> int
val zm_isidentity : gen -> int
val zm_isscalar : gen -> gen -> int
val zm_max_lg : gen -> Signed .long
val zm_togglesign : gen -> unit
val zmrow_zc_mul : gen -> gen -> Signed .long -> gen
val zmrow_equal0 : gen -> Signed .long -> int
val zv_abscmp : gen -> gen -> int
val zv_cmp : gen -> gen -> int
val zv_max_lg : gen -> Signed .long
val zv_togglesign : gen -> unit
val zv_content : gen -> Signed .long
val zv_dotproduct : gen -> gen -> Signed .long
val zv_equal : gen -> gen -> int
val zv_equal0 : gen -> int
val zv_neg_inplace : gen -> gen
val zv_prod : gen -> Signed .long
val zv_sum : gen -> Signed .long
val zv_sumpart : gen -> Signed .long -> Signed .long
val zv_z_mul : gen -> Signed .long -> gen
val zvv_equal : gen -> gen -> int
val kronecker_to_zxx : gen -> Signed .long -> Signed .long -> gen
val qxqx_powers : gen -> Signed .long -> gen -> gen
val rgx_check_qx : gen -> string -> unit
val rgx_check_zx : gen -> string -> unit
val rgx_check_zxx : gen -> string -> unit
val zx_div_by_x_1 : gen -> gen Ctypes_static .ptr -> gen
val zx_equal : gen -> gen -> int
val zx_max_lg : gen -> Signed .long
val zx_mulspec : gen -> gen -> Signed .long -> Signed .long -> gen
val zx_remi2n : gen -> Signed .long -> gen
val zx_rescale2n : gen -> Signed .long -> gen
val zx_rescale_lt : gen -> gen
val zx_shifti : gen -> Signed .long -> gen
val zx_sqrspec : gen -> Signed .long -> gen
val zx_val : gen -> Signed .long
val zx_valrem : gen -> gen Ctypes_static .ptr -> Signed .long
val zxt_remi2n : gen -> Signed .long -> gen
val zxv_equal : gen -> gen -> int
val zxv_remi2n : gen -> Signed .long -> gen
val zxx_max_lg : gen -> Signed .long
val zxx_mul_kronecker : gen -> gen -> Signed .long -> gen
val zxx_renormalize : gen -> Signed .long -> gen
val zxx_sqr_kronecker : gen -> Signed .long -> gen
val rgxx_to_kronecker : gen -> Signed .long -> gen
val rgxx_to_kronecker_spec : gen -> Signed .long -> Signed .long -> gen
val zxn_mul : gen -> gen -> Signed .long -> gen
val zxn_sqr : gen -> Signed .long -> gen
val scalar_zx : gen -> Signed .long -> gen
val scalar_zx_shallow : gen -> Signed .long -> gen
val zx_z_divexact : gen -> Signed .long -> gen
val alg_centralproj : gen -> gen -> Signed .long -> gen
val alg_csa_table : gen -> gen -> Signed .long -> Signed .long -> gen
val alg_get_absdim : gen -> Signed .long
val alg_get_abssplitting : gen -> gen
val alg_get_center : gen -> gen
val alg_get_degree : gen -> Signed .long
val algdegree : gen -> Signed .long
val alg_get_dim : gen -> Signed .long
val algdim : gen -> Signed .long -> Signed .long
val alg_get_hasse_f : gen -> gen
val alg_get_hasse_i : gen -> gen
val alg_get_invbasis : gen -> gen
val alg_get_multable : gen -> gen
val alg_get_basis : gen -> gen
val alg_get_relmultable : gen -> gen
val algrelmultable : gen -> gen
val alg_get_splitpol : gen -> gen
val alg_get_splittingfield : gen -> gen
val algsplittingfield : gen -> gen
val alg_get_splittingbasis : gen -> gen
val alg_get_splittingbasisinv : gen -> gen
val alg_get_splittingdata : gen -> gen
val algsplittingdata : gen -> gen
val alg_get_tracebasis : gen -> gen
val alg_hasse :
gen ->
Signed .long ->
gen ->
gen ->
Signed .long ->
Signed .long ->
gen
val alg_hilbert : gen -> gen -> gen -> Signed .long -> Signed .long -> gen
val alg_matrix : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val alg_model : gen -> gen -> Signed .long
val alg_quotient : gen -> gen -> Signed .long -> gen
val algsimpledec : gen -> Signed .long -> gen
val algsimpledec_ss : gen -> Signed .long -> gen
val alg_type : gen -> Signed .long
val algcharpoly : gen -> gen -> Signed .long -> Signed .long -> gen
val alggroupcenter : gen -> gen -> gen Ctypes_static .ptr -> gen
val alginit : gen -> gen -> Signed .long -> Signed .long -> gen
val algindex : gen -> gen -> Signed .long
val algisassociative : gen -> gen -> int
val algiscommutative : gen -> int
val algisdivision : gen -> gen -> int
val algisramified : gen -> gen -> int
val algissemisimple : gen -> int
val algissimple : gen -> Signed .long -> int
val algissplit : gen -> gen -> int
val algisdivl : gen -> gen -> gen -> gen Ctypes_static .ptr -> int
val algisinv : gen -> gen -> gen Ctypes_static .ptr -> int
val algmakeintegral : gen -> Signed .long -> gen
val alglat_get_primbasis : gen -> gen
val alglat_get_scalar : gen -> gen
val alglatcontains : gen -> gen -> gen -> gen Ctypes_static .ptr -> int
val alglatsubset : gen -> gen -> gen -> gen Ctypes_static .ptr -> int
val algnorm : gen -> gen -> Signed .long -> gen
val algprimesubalg : gen -> gen
val algramifiedplaces : gen -> gen
val algsplit : gen -> Signed .long -> gen
val algtomatrix : gen -> gen -> Signed .long -> gen
val algtensor : gen -> gen -> Signed .long -> gen
val algtrace : gen -> gen -> Signed .long -> gen
val algtype : gen -> Signed .long
val checkalg : gen -> unit
val checkhasse : gen -> gen -> gen -> Signed .long -> unit
val checklat : gen -> gen -> unit
val conjclasses_algcenter : gen -> gen -> gen
val galoischardet : gen -> gen -> Signed .long -> gen
val galoischarpoly : gen -> gen -> Signed .long -> gen
val galoischartable : gen -> gen
val f2ms_colelim : gen -> Signed .long -> gen
val f2m_indexrank : gen -> gen
val f2xqm_rank : gen -> gen -> Signed .long
val fpm_rank : gen -> gen -> Signed .long
val fqm_rank : gen -> gen -> gen -> Signed .long
val qm_image_shallow : gen -> gen
val qm_gauss_i : gen -> gen -> Signed .long -> gen
val qm_rank : gen -> Signed .long
val rgm_diagonal_shallow : gen -> gen
val rgm_inv_upper : gen -> gen
val rgms_structelim :
gen ->
Signed .long ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val zm_imagecompl : gen -> gen
val zm_indeximage : gen -> gen
val zm_inv : gen -> gen Ctypes_static .ptr -> gen
val zm_inv_ratlift : gen -> gen Ctypes_static .ptr -> gen
val zm_pseudoinv : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val zm_rank : gen -> Signed .long
val det0 : gen -> Signed .long -> gen
val eigen : gen -> Signed .long -> gen
val gen_gauss :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_gauss_pivot :
gen ->
Signed .long Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_det :
gen ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_ker :
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_matcolinvimage :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_matcolmul :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_matinvimage :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val gen_matmul :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_field Ctypes .structure Ctypes_static .ptr ->
gen
val mateigen : gen -> Signed .long -> Signed .long -> gen
val matimage0 : gen -> Signed .long -> gen
val matker0 : gen -> Signed .long -> gen
val rank : gen -> Signed .long
val split_realimag : gen -> Signed .long -> Signed .long -> gen
val qm_imz_all :
gen ->
gen Ctypes_static .ptr ->
Signed .long ->
Signed .long ->
gen
val qm_imz_hnfall : gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val qm_imq_all :
gen ->
gen Ctypes_static .ptr ->
Signed .long ->
Signed .long ->
gen
val qm_imq_hnfall : gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val qm_charpoly_zx : gen -> gen
val qm_charpoly_zx_bound : gen -> Signed .long -> gen
val caract : gen -> Signed .long -> gen
val caradj : gen -> Signed .long -> gen Ctypes_static .ptr -> gen
val carberkowitz : gen -> Signed .long -> gen
val carhess : gen -> Signed .long -> gen
val charpoly : gen -> Signed .long -> gen
val charpoly0 : gen -> Signed .long -> Signed .long -> gen
val gnorml1 : gen -> Signed .long -> gen
val gnormlp : gen -> gen -> Signed .long -> gen
val gsupnorm : gen -> Signed .long -> gen
val gsupnorm_aux :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long ->
unit
val jacobi : gen -> Signed .long -> gen
val matadjoint0 : gen -> Signed .long -> gen
val minpoly : gen -> Signed .long -> gen
val qfgaussred_positive : gen -> gen
val diagonal_shallow : gen -> gen
val genapply :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val genfold :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val genindexselect :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
gen
val genselect :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
gen
val matslice0 :
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val parfor :
gen ->
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
Signed .long)
Ctypes_static .static_funptr ->
unit
val parfor_init :
parfor_t Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
gen ->
unit
val parfor_next : parfor_t Ctypes .structure Ctypes_static .ptr -> gen
val parfor_stop : parfor_t Ctypes .structure Ctypes_static .ptr -> unit
val parforeach :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
Signed .long)
Ctypes_static .static_funptr ->
unit
val parforeach_init :
parforeach_t Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
unit
val parforeach_next : parforeach_t Ctypes .structure Ctypes_static .ptr -> gen
val parforeach_stop : parforeach_t Ctypes .structure Ctypes_static .ptr -> unit
val parforprime :
gen ->
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
Signed .long)
Ctypes_static .static_funptr ->
unit
val parforprime_stop : parforprime_t Ctypes .structure Ctypes_static .ptr -> unit
val parforprimestep :
gen ->
gen ->
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
Signed .long)
Ctypes_static .static_funptr ->
unit
val parforvec :
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
Signed .long)
Ctypes_static .static_funptr ->
unit
val parforvec_init :
parforvec_t Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
Signed .long ->
unit
val parforvec_next : parforvec_t Ctypes .structure Ctypes_static .ptr -> gen
val parforvec_stop : parforvec_t Ctypes .structure Ctypes_static .ptr -> unit
val parselect : gen -> gen -> Signed .long -> gen
val select0 : gen -> gen -> Signed .long -> gen
val vecapply :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val veccatapply :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val veccatselapply :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val vecrangess : Signed .long -> Signed .long -> gen
val vecselapply :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val vecselect :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
gen
val vecslice0 : gen -> Signed .long -> Signed .long -> gen
val addhelp : string -> string -> unit
val alias0 : string -> string -> unit
val compile_str : string -> gen
val delete_var : unit -> Signed .long
val fetch_user_var : string -> Signed .long
val fetch_var : unit -> Signed .long
val fetch_var_higher : unit -> Signed .long
val fetch_var_value : Signed .long -> gen -> gen
val gp_embedded : string -> string
val gp_embedded_init : Signed .long -> Signed .long -> unit
val gp_read_str : string -> gen
val gp_read_str_bitprec : string -> Signed .long -> gen
val gp_read_str_prec : string -> Signed .long -> gen
val install :
unit Ctypes_static .ptr ->
string ->
string ->
entree Ctypes .structure Ctypes_static .ptr
val is_entry : string -> entree Ctypes .structure Ctypes_static .ptr
val kill0 : string -> unit
val pari_var_close : unit -> unit
val pari_var_init : unit -> unit
val pari_var_next : unit -> Signed .long
val pari_var_next_temp : unit -> Signed .long
val pari_var_create : entree Ctypes .structure Ctypes_static .ptr -> Signed .long
val name_var : Signed .long -> string -> unit
val readseq : string -> gen
val safegel : gen -> Signed .long -> gen Ctypes_static .ptr
val safeel : gen -> Signed .long -> Signed .long Ctypes_static .ptr
val safelistel : gen -> Signed .long -> gen Ctypes_static .ptr
val safegcoeff : gen -> Signed .long -> Signed .long -> gen Ctypes_static .ptr
val strtoi : string -> gen
val strtor : string -> Signed .long -> gen
val varhigher : string -> Signed .long -> gen
val varlower : string -> Signed .long -> gen
val isprimeaprcl : gen -> Signed .long
val check_quaddisc :
gen ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
string ->
unit
val check_quaddisc_imag :
gen ->
Signed .long Ctypes_static .ptr ->
string ->
unit
val check_quaddisc_real :
gen ->
Signed .long Ctypes_static .ptr ->
string ->
unit
val cornacchia :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long
val cornacchia2 :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long
val cornacchia2_sqrt :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long
val qfbpowraw : gen -> Signed .long -> gen
val qfbpows : gen -> Signed .long -> gen
val qfbsolve : gen -> gen -> Signed .long -> gen
val qfr3_red : gen -> qfr_data Ctypes .structure Ctypes_static .ptr -> gen
val qfr3_rho : gen -> qfr_data Ctypes .structure Ctypes_static .ptr -> gen
val qfr5_dist : gen -> gen -> Signed .long -> gen
val qfr5_red : gen -> qfr_data Ctypes .structure Ctypes_static .ptr -> gen
val qfr5_rho : gen -> qfr_data Ctypes .structure Ctypes_static .ptr -> gen
val qfr_data_init :
gen ->
Signed .long ->
qfr_data Ctypes .structure Ctypes_static .ptr ->
unit
val qfr_to_qfr5 : gen -> Signed .long -> gen
val quadgen0 : gen -> Signed .long -> gen
val quadpoly0 : gen -> Signed .long -> gen
val fp_powers : gen -> Signed .long -> gen -> gen
val fp_pows : gen -> Signed .long -> gen -> gen
val z_chinese_pre :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val zv_producttree : gen -> gen
val zxc_nv_mod_tree : gen -> gen -> gen -> Signed .long -> gen
val zxm_nv_mod_tree : gen -> gen -> gen -> Signed .long -> gen
val zxx_nv_mod_tree : gen -> gen -> gen -> Signed .long -> gen
val bestapprpade : gen -> Signed .long -> gen
val chinese1_coprime_z : gen -> gen
val contfrac0 : gen -> gen -> Signed .long -> gen
val contfracpnqn : gen -> Signed .long -> gen
val fibo : Signed .long -> gen
val gboundcf : gen -> Signed .long -> gen
val get_fp_field :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
bb_field Ctypes .structure Ctypes_static .ptr
val hilbert : gen -> gen -> gen -> Signed .long
val hilbertii : gen -> gen -> gen -> Signed .long
val istotient : gen -> gen Ctypes_static .ptr -> Signed .long
val krois : gen -> Signed .long -> Signed .long
val kronecker : gen -> gen -> Signed .long
val krosi : Signed .long -> gen -> Signed .long
val kross : Signed .long -> Signed .long -> Signed .long
val logint0 : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val logintall : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val mpfact : Signed .long -> gen
val factorial_fp : Signed .long -> gen -> gen
val muls_interval : Signed .long -> Signed .long -> gen
val ncv_chinese_center : gen -> gen -> gen Ctypes_static .ptr -> gen
val nmv_chinese_center : gen -> gen -> gen Ctypes_static .ptr -> gen
val nxcv_chinese_center : gen -> gen -> gen Ctypes_static .ptr -> gen
val nxmv_chinese_center : gen -> gen -> gen Ctypes_static .ptr -> gen
val nxv_chinese_center : gen -> gen -> gen Ctypes_static .ptr -> gen
val zv_chinese_center : gen -> gen -> gen Ctypes_static .ptr -> gen
val odd_prime_divisors : gen -> gen
val ramanujantau : gen -> Signed .long -> gen
val znstar0 : gen -> Signed .long -> gen
val rgv_is_zvpos : gen -> int
val rgv_is_zvnon0 : gen -> int
val rgv_is_prv : gen -> int
val z_issquarefree_fact : gen -> Signed .long
val z_lsmoothen :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val z_smoothen :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val bigomega : gen -> Signed .long
val check_arith_pos : gen -> string -> gen
val check_arith_non0 : gen -> string -> gen
val check_arith_all : gen -> string -> gen
val clean_z_factor : gen -> gen
val coredisc2_fact :
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val coredisc2u_fact :
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
pari_ulong
val corepartial : gen -> Signed .long -> gen
val core0 : gen -> Signed .long -> gen
val core2partial : gen -> Signed .long -> gen
val coredisc0 : gen -> Signed .long -> gen
val corediscs : Signed .long -> pari_ulong Ctypes_static .ptr -> Signed .long
val divisors_factored : gen -> gen
val divisors0 : gen -> Signed .long -> gen
val divisorsu_moebius : gen -> gen
val divisorsu_fact : gen -> gen
val divisorsu_fact_factored : gen -> gen
val is_z_factor : gen -> int
val is_z_factornon0 : gen -> int
val is_z_factorpos : gen -> int
val is_nf_factor : gen -> int
val is_nf_extfactor : gen -> int
val issquarefree : gen -> Signed .long
val numdivu : Signed .long -> Signed .long
val numdivu_fact : gen -> Signed .long
val omega : gen -> Signed .long
val sumdivk : gen -> Signed .long -> gen
val uissquarefree_fact : gen -> Signed .long
val embed_t2 : gen -> Signed .long -> gen
val embednorm_t2 : gen -> Signed .long -> gen
val embed_norm : gen -> Signed .long -> gen
val check_zkmodule_i : gen -> int
val check_zkmodule : gen -> string -> unit
val checkbid : gen -> unit
val checkbnr : gen -> unit
val checkabgrp : gen -> unit
val checksqmat : gen -> Signed .long -> unit
val checknfelt_mod : gen -> gen -> string -> gen
val checkprid : gen -> unit
val checkprid_i : gen -> int
val checkrnf : gen -> unit
val checkrnf_i : gen -> int
val get_bnf : gen -> Signed .long Ctypes_static .ptr -> gen
val get_bnfpol : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val get_nf : gen -> Signed .long Ctypes_static .ptr -> gen
val get_nfpol : gen -> gen Ctypes_static .ptr -> gen
val nf_get_allroots : gen -> gen
val nf_get_prec : gen -> Signed .long
val nfmaxord_to_nf :
nfmaxord_t Ctypes .structure Ctypes_static .ptr ->
gen ->
Signed .long ->
gen
val nfinit_basic : nfmaxord_t Ctypes .structure Ctypes_static .ptr -> gen -> unit
val nfinit_complete :
nfmaxord_t Ctypes .structure Ctypes_static .ptr ->
Signed .long ->
Signed .long ->
gen
val nfinit : gen -> Signed .long -> gen
val nfinit0 : gen -> Signed .long -> Signed .long -> gen
val nfinitred : gen -> Signed .long -> gen
val nfinitred2 : gen -> Signed .long -> gen
val nfisincl0 : gen -> gen -> Signed .long -> gen
val nfnewprec : gen -> Signed .long -> gen
val nfnewprec_shallow : gen -> Signed .long -> gen
val nfsplitting0 : gen -> gen -> Signed .long -> gen
val nftyp : gen -> Signed .long
val polred0 : gen -> Signed .long -> gen -> gen
val polredabs0 : gen -> Signed .long -> gen
val polredabsall : gen -> Signed .long -> gen
val polredbest : gen -> Signed .long -> gen
val poltomonic : gen -> gen Ctypes_static .ptr -> gen
val rnfpolredabs : gen -> gen -> Signed .long -> gen
val rnfpolredbest : gen -> gen -> Signed .long -> gen
val zx_q_normalize : gen -> gen Ctypes_static .ptr -> gen
val zx_z_normalize : gen -> gen Ctypes_static .ptr -> gen
val zx_to_monic : gen -> gen Ctypes_static .ptr -> gen
val zx_primitive_to_monic : gen -> gen Ctypes_static .ptr -> gen
val rg_nffix : string -> gen -> gen -> int -> gen
val rgv_nffix : string -> gen -> gen -> int -> gen
val rgx_nffix : string -> gen -> gen -> int -> gen
val zx_compositum : gen -> gen -> Signed .long Ctypes_static .ptr -> gen
val zpx_disc_val : gen -> gen -> Signed .long
val zpx_monic_factor : gen -> gen -> Signed .long -> gen
val zpx_reduced_resultant_fast : gen -> gen -> gen -> Signed .long -> gen
val zpx_resultant_val : gen -> gen -> gen -> Signed .long -> Signed .long
val checkmodpr : gen -> unit
val nf_to_fq_init :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val nfx_to_monic : gen -> gen -> gen Ctypes_static .ptr -> gen
val nfbasis : gen -> gen Ctypes_static .ptr -> gen
val nfdiscfactors : gen -> gen
val nfmaxord :
nfmaxord_t Ctypes .structure Ctypes_static .ptr ->
gen ->
Signed .long ->
unit
val nfmodprinit0 : gen -> gen -> Signed .long -> gen
val polcompositum0 : gen -> gen -> Signed .long -> gen
val idealprimedec_degrees : gen -> gen -> gen
val idealprimedec_kummer : gen -> gen -> Signed .long -> gen -> gen
val idealprimedec_limit_f : gen -> gen -> Signed .long -> gen
val poldiscfactors : gen -> Signed .long -> gen
val rnfdisc_factored : gen -> gen -> gen Ctypes_static .ptr -> gen
val rnfequation0 : gen -> gen -> Signed .long -> gen
val rnfequationall :
gen ->
gen ->
Signed .long Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val rnfisfree : gen -> gen -> Signed .long
val rnfpolred : gen -> gen -> Signed .long -> gen
val zk_to_fq_init :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val idealstar : gen -> gen -> Signed .long -> gen
val idealstarprk : gen -> gen -> Signed .long -> Signed .long -> gen
val zc_nfval : gen -> gen -> Signed .long
val zc_nfvalrem : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val zc_prdvd : gen -> gen -> int
val ei_multable : gen -> Signed .long -> gen
val get_nf_field :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
bb_field Ctypes .structure Ctypes_static .ptr
val ideallist : gen -> Signed .long -> gen
val ideallist0 : gen -> Signed .long -> Signed .long -> gen
val gideallist : gen -> gen -> Signed .long -> gen
val idealprincipalunits : gen -> gen -> Signed .long -> gen
val idealstar0 : gen -> gen -> Signed .long -> gen
val indices_to_vec01 : gen -> Signed .long -> gen
val nf_to_scalar_or_basis : gen -> gen -> gen
val nf_cxlog : gen -> gen -> Signed .long -> gen
val nfv_cxlog : gen -> gen -> Signed .long -> gen
val nfembed : gen -> gen -> Signed .long -> gen
val nfeltembed_i : gen Ctypes_static .ptr -> gen -> gen -> Signed .long -> gen
val nfissquare : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val nfispower :
gen ->
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
Signed .long
val nflogembed : gen -> gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val nfvalrem : gen -> gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val polmod_nffix : string -> gen -> gen -> int -> gen
val polmod_nffix2 : string -> gen -> gen -> gen -> int -> gen
val pr_equal : gen -> gen -> int
val tablemul_ei : gen -> gen -> Signed .long -> gen
val tablemul_ei_ej : gen -> Signed .long -> Signed .long -> gen
val vec01_to_indices : gen -> gen
val vecsmall01_to_indices : gen -> gen
val zk_scalar_or_multable : gen -> gen -> gen
val zkmultable_capz : gen -> gen
val zkmultable_inv : gen -> gen
val rm_round_maxrank : gen -> gen
val famat_inv_shallow : gen -> gen
val famat_mulpows_shallow : gen -> gen -> Signed .long -> gen
val famat_pows_shallow : gen -> Signed .long -> gen
val famat_remove_trivial : gen -> gen
val famatsmall_reduce : gen -> gen
val idealhnf_z_factor :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val idealhnf_z_factor_i :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val idealappr0 : gen -> gen -> Signed .long -> gen
val idealispower :
gen ->
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
Signed .long
val idealpows : gen -> gen -> Signed .long -> gen
val idealprodval : gen -> gen -> gen -> Signed .long
val idealpseudomin_nonscalar : gen -> gen -> gen
val idealtyp : gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> Signed .long
val idealval : gen -> gen -> gen -> Signed .long
val isideal : gen -> gen -> Signed .long
val nf_get_gtwist1 : gen -> Signed .long -> gen
val nfhnf0 : gen -> gen -> Signed .long -> gen
val nfsnf0 : gen -> gen -> Signed .long -> gen
val rnf_build_nfabs : gen -> Signed .long -> gen
val rnfcomplete : gen -> unit
val rnfeltdown0 : gen -> gen -> Signed .long -> gen
val rnfeltup0 : gen -> gen -> Signed .long -> gen
val rnfidealreltoabs0 : gen -> gen -> Signed .long -> gen
val rnfidealup0 : gen -> gen -> Signed .long -> gen
val rnfinit0 : gen -> gen -> Signed .long -> gen
val get_arith_zzm : gen -> gen
val gen_ph_log :
gen ->
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_shanks_init :
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_shanks_sqrtn :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_gener :
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_ellgens :
gen ->
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ->
gen
val gen_ellgroup :
gen ->
gen ->
gen Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen ->
gen ->
gen )
Ctypes_static .static_funptr ->
gen
val gen_factored_order :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_order :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_select_order :
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_plog :
gen ->
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_group Ctypes .structure Ctypes_static .ptr ->
gen
val gen_pow :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_pow_fold :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_pow_fold_i :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_pow_i :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_pow_init :
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_pow_table :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_powers :
gen ->
Signed .long ->
int ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen ) Ctypes_static .static_funptr ->
gen
val gen_powu :
gen ->
pari_ulong ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_powu_fold :
gen ->
pari_ulong ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_powu_fold_i :
gen ->
pari_ulong ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_powu_i :
gen ->
pari_ulong ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val gen_product :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
gen
val matimagemod : gen -> gen -> gen Ctypes_static .ptr -> gen
val bernfrac : Signed .long -> gen
val bernpol : Signed .long -> Signed .long -> gen
val bernreal : Signed .long -> Signed .long -> gen
val bernvec : Signed .long -> gen
val constbern : Signed .long -> unit
val eulerfrac : Signed .long -> gen
val eulerpol : Signed .long -> Signed .long -> gen
val eulerreal : Signed .long -> Signed .long -> gen
val eulervec : Signed .long -> gen
val qr_init :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long ->
int
val r_from_qr : gen -> Signed .long -> gen
val rgm_qr_init :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long ->
int
val rgm_gram_schmidt : gen -> gen Ctypes_static .ptr -> gen
val algdep : gen -> Signed .long -> gen
val algdep0 : gen -> Signed .long -> Signed .long -> gen
val forqfvec :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
float ->
Signed .long)
Ctypes_static .static_funptr ->
gen ->
gen ->
unit
val forqfvec1 :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
gen ->
unit
val gaussred_from_qr : gen -> Signed .long -> gen
val lindep_bit : gen -> Signed .long -> gen
val lindep0 : gen -> Signed .long -> gen
val lindep2 : gen -> Signed .long -> gen
val lindepfull_bit : gen -> Signed .long -> gen
val matqr : gen -> Signed .long -> Signed .long -> gen
val qfminim0 : gen -> gen -> gen -> Signed .long -> Signed .long -> gen
val qfrep0 : gen -> gen -> Signed .long -> gen
val seralgdep : gen -> Signed .long -> Signed .long -> gen
val serdiffdep : gen -> Signed .long -> Signed .long -> gen
val vandermondeinverseinit : gen -> gen
val rgv_polint : gen -> gen -> Signed .long -> gen
val vec_reduce : gen -> gen Ctypes_static .ptr -> gen
val zv_sort_inplace : gen -> unit
val zv_sort_shallow : gen -> gen
val zv_sort_uniq_shallow : gen -> gen
val binomial : gen -> Signed .long -> gen
val cmp_flx : gen -> gen -> int
val cmp_rgx : gen -> gen -> int
val cmp_nodata : unit Ctypes_static .ptr -> gen -> gen -> int
val cmp_prime_ideal : gen -> gen -> int
val cmp_prime_over_p : gen -> gen -> int
val cmp_universal : gen -> gen -> int
val gen_cmp_rgx : unit Ctypes_static .ptr -> gen -> gen -> int
val polcyclo : Signed .long -> Signed .long -> gen
val polcyclo_eval : Signed .long -> gen -> gen
val eulerianpol : Signed .long -> Signed .long -> gen
val gprec_wensure : gen -> Signed .long -> gen
val gen_indexsort :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val gen_indexsort_uniq :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val gen_search :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
Signed .long
val gen_setminus :
gen ->
gen ->
(gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val gen_sort :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val gen_sort_inplace :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen Ctypes_static .ptr ->
unit
val gen_sort_shallow :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val gen_sort_uniq :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val getstack : unit -> Signed .long
val gettime : unit -> Signed .long
val getabstime : unit -> Signed .long
val getwalltime : unit -> gen
val gprec : gen -> Signed .long -> gen
val gprec_wtrunc : gen -> Signed .long -> gen
val gprec_w : gen -> Signed .long -> gen
val mathilbert : Signed .long -> gen
val matqpascal : Signed .long -> gen -> gen
val merge_factor :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val merge_sort_uniq :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val polhermite : Signed .long -> Signed .long -> gen
val polhermite_eval0 : Signed .long -> gen -> Signed .long -> gen
val polhermite_eval : Signed .long -> gen -> gen
val pollaguerre : Signed .long -> gen -> Signed .long -> gen
val pollaguerre_eval : Signed .long -> gen -> gen -> gen
val pollaguerre_eval0 : Signed .long -> gen -> gen -> Signed .long -> gen
val pollegendre : Signed .long -> Signed .long -> gen
val pollegendre_reduced : Signed .long -> Signed .long -> gen
val pollegendre_eval : Signed .long -> gen -> gen
val pollegendre_eval0 : Signed .long -> gen -> Signed .long -> gen
val polint_i : gen -> gen -> gen -> Signed .long Ctypes_static .ptr -> gen
val polintspec :
gen ->
gen ->
gen ->
Signed .long ->
Signed .long Ctypes_static .ptr ->
gen
val polchebyshev : Signed .long -> Signed .long -> Signed .long -> gen
val polchebyshev_eval : Signed .long -> Signed .long -> gen -> gen
val polchebyshev1 : Signed .long -> Signed .long -> gen
val polchebyshev2 : Signed .long -> Signed .long -> gen
val setisset : gen -> Signed .long
val setsearch : gen -> gen -> Signed .long -> Signed .long
val sort_factor :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> int) Ctypes_static .static_funptr ->
gen
val stirling : Signed .long -> Signed .long -> Signed .long -> gen
val tablesearch :
gen ->
gen ->
(gen -> gen -> int) Ctypes_static .static_funptr ->
Signed .long
val vecbinomial : Signed .long -> gen
val vecsearch : gen -> gen -> gen -> Signed .long
val vecsort0 : gen -> gen -> Signed .long -> gen
val zv_search : gen -> Signed .long -> Signed .long
val bits_to_int : gen -> Signed .long -> gen
val binary_2k : gen -> Signed .long -> gen
val binary_2k_nv : gen -> Signed .long -> gen
val bittest : gen -> Signed .long -> Signed .long
val fromdigits_2k : gen -> Signed .long -> gen
val gbitneg : gen -> Signed .long -> gen
val gbittest : gen -> Signed .long -> gen
val hammingweight : gen -> Signed .long
val nv_fromdigits_2k : gen -> Signed .long -> gen
val nfislocalpower : gen -> gen -> gen -> gen -> Signed .long
val rnfislocalcyclo : gen -> Signed .long
val bnfsunit : gen -> gen -> Signed .long -> gen
val buchquad : gen -> float -> float -> Signed .long -> gen
val quadclassnos : Signed .long -> Signed .long
val quadclassunit0 : gen -> Signed .long -> gen -> Signed .long -> gen
val buchall : gen -> Signed .long -> Signed .long -> gen
val buchall_param :
gen ->
float ->
float ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val bnf_build_cheapfu : gen -> gen
val bnf_build_cycgen : gen -> gen
val bnf_build_matalpha : gen -> gen
val bnf_build_units : gen -> gen
val bnf_compactfu : gen -> gen
val bnf_compactfu_mat : gen -> gen
val bnfinit0 : gen -> Signed .long -> gen -> Signed .long -> gen
val bnfisprincipal0 : gen -> gen -> Signed .long -> gen
val bnfnewprec : gen -> Signed .long -> gen
val bnfnewprec_shallow : gen -> Signed .long -> gen
val bnftestprimes : gen -> gen -> unit
val bnrnewprec : gen -> Signed .long -> gen
val bnrnewprec_shallow : gen -> Signed .long -> gen
val nf_cxlog_normalize : gen -> gen -> Signed .long -> gen
val hermite_bound : Signed .long -> Signed .long -> gen
val bnr_subgroup_sanitize :
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val bnr_char_sanitize : gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> unit
val buchray : gen -> gen -> Signed .long -> gen
val bnr_subgroup_check : gen -> gen -> gen Ctypes_static .ptr -> gen
val bnrconductor_factored : gen -> gen -> gen
val bnrconductor : gen -> gen -> Signed .long -> gen
val bnrconductor_i : gen -> gen -> Signed .long -> gen
val bnrdisc : gen -> gen -> Signed .long -> gen
val bnrinit0 : gen -> gen -> Signed .long -> gen
val bnrisconductor0 : gen -> gen -> gen -> Signed .long
val bnrisconductor : gen -> gen -> Signed .long
val bnrisgalois : gen -> gen -> gen -> Signed .long
val bnrisprincipalmod : gen -> gen -> gen -> Signed .long -> gen
val bnrisprincipal : gen -> gen -> Signed .long -> gen
val bnfcertify : gen -> Signed .long
val bnfcertify0 : gen -> Signed .long -> Signed .long
val nf_deg1_prime : gen -> gen
val rnfconductor0 : gen -> gen -> Signed .long -> gen
val subgrouplist0 : gen -> gen -> Signed .long -> gen
val bnfisnorm : gen -> gen -> Signed .long -> gen
val rnfisnorm : gen -> gen -> Signed .long -> gen
val char_check : gen -> gen -> int
val checkznstar_i : gen -> int
val cyc_normalize : gen -> gen
val zncharcheck : gen -> gen -> int
val zncharisodd : gen -> gen -> Signed .long
val znchartokronecker : gen -> gen -> Signed .long -> gen
val znconrey_check : gen -> gen -> int
val znconreyfromchar_normalized : gen -> gen -> gen
val znconreyconductor : gen -> gen -> gen Ctypes_static .ptr -> gen
val znconreylog_normalize : gen -> gen -> gen
val zv_cyc_minimal : gen -> gen -> gen -> Signed .long
val zv_cyc_minimize : gen -> gen -> gen -> Signed .long
val closure_deriv : gen -> gen
val closure_derivn : gen -> Signed .long -> gen
val localvars_find :
gen ->
entree Ctypes .structure Ctypes_static .ptr ->
Signed .long
val localvars_read_str : string -> gen -> gen
val snm_closure : entree Ctypes .structure Ctypes_static .ptr -> gen -> gen
val strtoclosure : string -> Signed .long -> gen
val strtofunction : string -> gen
val shallowconcat1 : gen -> gen
val shallowmatconcat : gen -> gen
val default0 : string -> string -> gen
val getrealprecision : unit -> Signed .long
val pari_is_default : string -> entree Ctypes .structure Ctypes_static .ptr
val sd_texstyle : string -> Signed .long -> gen
val sd_colors : string -> Signed .long -> gen
val sd_compatible : string -> Signed .long -> gen
val sd_datadir : string -> Signed .long -> gen
val sd_debug : string -> Signed .long -> gen
val sd_debugfiles : string -> Signed .long -> gen
val sd_debugmem : string -> Signed .long -> gen
val sd_factor_add_primes : string -> Signed .long -> gen
val sd_factor_proven : string -> Signed .long -> gen
val sd_histsize : string -> Signed .long -> gen
val sd_log : string -> Signed .long -> gen
val sd_logfile : string -> Signed .long -> gen
val sd_nbthreads : string -> Signed .long -> gen
val sd_output : string -> Signed .long -> gen
val sd_parisize : string -> Signed .long -> gen
val sd_parisizemax : string -> Signed .long -> gen
val sd_path : string -> Signed .long -> gen
val sd_plothsizes : string -> Signed .long -> gen
val sd_prettyprinter : string -> Signed .long -> gen
val sd_primelimit : string -> Signed .long -> gen
val sd_realbitprecision : string -> Signed .long -> gen
val sd_realprecision : string -> Signed .long -> gen
val sd_secure : string -> Signed .long -> gen
val sd_seriesprecision : string -> Signed .long -> gen
val sd_simplify : string -> Signed .long -> gen
val sd_sopath : string -> int -> gen
val sd_strictargs : string -> Signed .long -> gen
val sd_strictmatch : string -> Signed .long -> gen
val sd_string :
string ->
Signed .long ->
string ->
string Ctypes_static .ptr ->
gen
val sd_threadsize : string -> Signed .long -> gen
val sd_threadsizemax : string -> Signed .long -> gen
val sd_intarray :
string ->
Signed .long ->
gen Ctypes_static .ptr ->
string ->
gen
val sd_toggle : string -> Signed .long -> string -> int Ctypes_static .ptr -> gen
val setdefault : string -> string -> Signed .long -> gen
val setrealprecision :
Signed .long ->
Signed .long Ctypes_static .ptr ->
Signed .long
val gen_digits :
gen ->
gen ->
Signed .long ->
unit Ctypes_static .ptr ->
bb_ring Ctypes .structure Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen )
Ctypes_static .static_funptr ->
gen
val gen_fromdigits :
gen ->
gen ->
unit Ctypes_static .ptr ->
bb_ring Ctypes .structure Ctypes_static .ptr ->
gen
val ecpp0 : gen -> Signed .long -> gen
val ecppexport : gen -> Signed .long -> gen
val ecppisvalid : gen -> Signed .long
val isprimeecpp : gen -> Signed .long
val sd_breakloop : string -> Signed .long -> gen
val sd_echo : string -> Signed .long -> gen
val sd_graphcolormap : string -> Signed .long -> gen
val sd_graphcolors : string -> Signed .long -> gen
val sd_help : string -> Signed .long -> gen
val sd_histfile : string -> Signed .long -> gen
val sd_lines : string -> Signed .long -> gen
val sd_linewrap : string -> Signed .long -> gen
val sd_prompt : string -> Signed .long -> gen
val sd_prompt_cont : string -> Signed .long -> gen
val sd_psfile : string -> Signed .long -> gen
val sd_readline : string -> Signed .long -> gen
val sd_recover : string -> Signed .long -> gen
val sd_timer : string -> Signed .long -> gen
val pari_hit_return : unit -> unit
val gp_load_gprc : unit -> unit
val gphelp_keyword_list : unit -> string Ctypes_static .ptr
val pari_center : string -> unit
val pari_print_version : unit -> unit
val pari_alarm : Signed .long -> unit
val gp_alarm : Signed .long -> gen -> gen
val gp_allocatemem : gen -> unit
val gp_handle_exception : Signed .long -> int
val gp_alarm_handler : int -> unit
val gp_sigint_fun : unit -> unit
val gp_help : string -> Signed .long -> unit
val gp_echo_and_log : string -> string -> unit
val print_fun_list : string Ctypes_static .ptr -> Signed .long -> unit
val strtime : Signed .long -> gen
val direuler :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen ->
gen
val dirpowers : Signed .long -> gen -> Signed .long -> gen
val vecpowug : Signed .long -> gen -> Signed .long -> gen
val ellanalyticrank : gen -> gen -> Signed .long -> gen
val ellanalyticrank_bitprec : gen -> gen -> Signed .long -> gen
val ellanal_globalred_all :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val elll1 : gen -> Signed .long -> Signed .long -> gen
val elll1_bitprec : gen -> Signed .long -> Signed .long -> gen
val ellconvertname : gen -> gen
val elldatagenerators : gen -> gen
val ellsearchcurve : gen -> gen
val forell :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
Signed .long ->
Signed .long ->
Signed .long ->
unit
val checkell : gen -> unit
val checkell_fq : gen -> unit
val checkell_q : gen -> unit
val checkell_qp : gen -> unit
val checkellisog : gen -> unit
val checkellpt : gen -> unit
val checkell5 : gen -> unit
val cxredsl2 : gen -> gen Ctypes_static .ptr -> gen
val cxredsl2_i : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val ec_bmodel : gen -> Signed .long -> gen
val ec_half_deriv_2divpol : gen -> Signed .long -> gen
val ec_half_deriv_2divpol_evalx : gen -> gen -> gen
val ec_phi2 : gen -> Signed .long -> gen
val ell_is_integral : gen -> int
val ellq_get_cm : gen -> Signed .long
val ellq_get_nfa :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val ellqp_agm : gen -> Signed .long -> gen
val ellqp_u : gen -> Signed .long -> gen
val ellqp_u2 : gen -> Signed .long -> gen
val ellqp_q : gen -> Signed .long -> gen
val ellqp_ab : gen -> Signed .long -> gen
val ellqp_l : gen -> Signed .long -> gen
val ellqp_root : gen -> Signed .long -> gen
val ellqtwist_bsdperiod : gen -> Signed .long -> gen
val ellr_area : gen -> Signed .long -> gen
val ellr_ab : gen -> Signed .long -> gen
val ellr_eta : gen -> Signed .long -> gen
val ellr_omega : gen -> Signed .long -> gen
val ellr_roots : gen -> Signed .long -> gen
val ellan : gen -> Signed .long -> gen
val ellanq_zv : gen -> Signed .long -> gen
val ellanal_globalred : gen -> gen Ctypes_static .ptr -> gen
val ellap_cm_fast : gen -> pari_ulong -> Signed .long -> Signed .long
val ellbsd : gen -> Signed .long -> gen
val ellchangeinvert : gen -> gen
val elldivpol : gen -> Signed .long -> Signed .long -> gen
val elleisnum : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val elleta : gen -> Signed .long -> gen
val ellff_get_card : gen -> gen
val ellff_get_gens : gen -> gen
val ellff_get_group : gen -> gen
val ellgenerators : gen -> gen
val ellgroup0 : gen -> gen -> Signed .long -> gen
val ellheight : gen -> gen -> Signed .long -> gen
val ellheightmatrix : gen -> gen -> Signed .long -> gen
val ellheightoo : gen -> gen -> Signed .long -> gen
val ellinit : gen -> gen -> Signed .long -> gen
val ellintegralmodel : gen -> gen Ctypes_static .ptr -> gen
val ellintegralmodel_i : gen -> gen Ctypes_static .ptr -> gen
val elliscm : gen -> Signed .long
val ellissupersingular : gen -> gen -> int
val elljissupersingular : gen -> int
val ellminimaldisc : gen -> gen
val ellminimalmodel : gen -> gen Ctypes_static .ptr -> gen
val ellminimaltwist : gen -> gen
val ellminimaltwist0 : gen -> Signed .long -> gen
val ellminimaltwistcond : gen -> gen
val ellnf_vecarea : gen -> Signed .long -> gen
val ellnf_veceta : gen -> Signed .long -> gen
val ellnf_vecomega : gen -> Signed .long -> gen
val ellorder_q : gen -> gen -> Signed .long
val ellordinate : gen -> gen -> Signed .long -> gen
val ellpadicheightmatrix : gen -> gen -> Signed .long -> gen -> gen
val ellperiods : gen -> Signed .long -> Signed .long -> gen
val ellrootno : gen -> gen -> Signed .long
val ellrootno_global : gen -> Signed .long
val ellsaturation : gen -> gen -> Signed .long -> Signed .long -> gen
val ellsea : gen -> Signed .long -> gen
val ellsigma : gen -> gen -> Signed .long -> Signed .long -> gen
val ellsupersingularj : gen -> gen
val elltaniyama : gen -> Signed .long -> gen
val elltors0 : gen -> Signed .long -> gen
val ellwp0 : gen -> gen -> Signed .long -> Signed .long -> gen
val ellwpseries : gen -> Signed .long -> Signed .long -> gen
val ellxn : gen -> Signed .long -> Signed .long -> gen
val ellzeta : gen -> gen -> Signed .long -> gen
val oncurve : gen -> gen -> int
val pointell : gen -> gen -> Signed .long -> gen
val qp_ascending_landen :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val qp_descending_landen :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val ellnonsingularmultiple : gen -> gen -> gen
val ellpadicl : gen -> gen -> Signed .long -> gen -> Signed .long -> gen -> gen
val ellpadicheight : gen -> gen -> Signed .long -> gen -> gen
val ellpadicregulator : gen -> gen -> Signed .long -> gen -> gen
val ellpadics2 : gen -> gen -> Signed .long -> gen
val ell2cover : gen -> Signed .long -> gen
val ellrank : gen -> Signed .long -> gen -> Signed .long -> gen
val ellrankinit : gen -> Signed .long -> gen
val hyperell_locally_soluble : gen -> gen -> Signed .long
val nf_hyperell_locally_soluble : gen -> gen -> gen -> Signed .long
val nfhilbert : gen -> gen -> gen -> Signed .long
val ellisdivisible : gen -> gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val ellisogeny : gen -> gen -> Signed .long -> Signed .long -> Signed .long -> gen
val ellisomat : gen -> Signed .long -> Signed .long -> gen
val ellweilcurve : gen -> gen Ctypes_static .ptr -> gen
val fp_ellcard_sea : gen -> gen -> gen -> Signed .long -> gen
val ellmodulareqn : Signed .long -> Signed .long -> Signed .long -> gen
val externstr : string -> gen
val gp_filter : string -> string
val gpextern : string -> gen
val gpsystem : string -> Signed .long
val readstr : string -> gen
val gentogenstr_nospace : gen -> gen
val gentotexstr : gen -> string
val gentostr : gen -> string
val gentostr_raw : gen -> string
val gentostr_unquoted : gen -> string
val brute : gen -> char -> Signed .long -> unit
val dbggen : gen -> Signed .long -> unit
val dbg_pari_heap : unit -> unit
val err_flush : unit -> unit
val err_printf : string -> unit
val gp_getenv : string -> gen
val gp_fileclose : Signed .long -> unit
val gp_fileextern : string -> Signed .long
val gp_fileflush : Signed .long -> unit
val gp_fileflush0 : gen -> unit
val gp_fileopen : string -> string -> Signed .long
val gp_fileread : Signed .long -> gen
val gp_filereadstr : Signed .long -> gen
val gp_filewrite : Signed .long -> string -> unit
val gp_filewrite1 : Signed .long -> string -> unit
val gp_read_file : string -> gen
val gp_read_str_multiline : string -> string -> gen
val gp_readvec_file : string -> gen
val gpinstall : string -> string -> string -> string -> unit
val gsprintf : string -> gen
val itostr : gen -> string
val matbrute : gen -> char -> Signed .long -> unit
val os_getenv : string -> string
val rgv_to_str : gen -> Signed .long -> string
val pari_add_hist : gen -> Signed .long -> Signed .long -> unit
val pari_ask_confirm : string -> unit
val pari_flush : unit -> unit
val pari_get_hist : Signed .long -> gen
val pari_get_histrtime : Signed .long -> Signed .long
val pari_get_histtime : Signed .long -> Signed .long
val pari_get_homedir : string -> string
val pari_histtime : Signed .long -> gen
val pari_is_dir : string -> int
val pari_is_file : string -> int
val pari_last_was_newline : unit -> int
val pari_set_last_newline : int -> unit
val pari_printf : string -> unit
val pari_putc : char -> unit
val pari_puts : string -> unit
val pari_sprintf : string -> string
val pari_stdin_isatty : unit -> int
val pari_unique_dir : string -> string
val pari_unique_filename : string -> string
val pari_unique_filename_suffix : string -> string -> string
val pari_unlink : string -> unit
val path_expand : string -> string
val pari_sprint0 : string -> gen -> Signed .long -> string
val printf0 : string -> gen -> unit
val printsep : string -> gen -> unit
val printsep1 : string -> gen -> unit
val printtex : gen -> unit
val stack_sprintf : string -> string
val str_init : pari_str Ctypes .structure Ctypes_static .ptr -> int -> unit
val str_printf : pari_str Ctypes .structure Ctypes_static .ptr -> string -> unit
val str_putc : pari_str Ctypes .structure Ctypes_static .ptr -> char -> unit
val str_puts : pari_str Ctypes .structure Ctypes_static .ptr -> string -> unit
val strftime_expand : string -> string -> Signed .long -> unit
val strprintf : string -> gen -> gen
val term_color : Signed .long -> unit
val term_get_color : string -> Signed .long -> string
val texe : gen -> char -> Signed .long -> unit
val warning0 : gen -> unit
val write0 : string -> gen -> unit
val write1 : string -> gen -> unit
val writebin : string -> gen -> unit
val writetex : string -> gen -> unit
val bincopy_relink : gen -> gen -> unit
val bitprecision0 : gen -> Signed .long -> gen
val break0 : Signed .long -> gen
val closure_callgen0prec : gen -> Signed .long -> gen
val closure_callgen1prec : gen -> gen -> Signed .long -> gen
val closure_callgenall : gen -> Signed .long -> gen
val closure_callgenvecdefprec : gen -> gen -> gen -> Signed .long -> gen
val closure_callgenvecprec : gen -> gen -> Signed .long -> gen
val closure_callvoid1 : gen -> gen -> unit
val closure_context : Signed .long -> Signed .long -> Signed .long
val closure_disassemble : gen -> unit
val closure_err : Signed .long -> unit
val closure_evalbrk : gen -> Signed .long Ctypes_static .ptr -> gen
val closure_evalgen : gen -> gen
val closure_evalnobrk : gen -> gen
val closure_evalres : gen -> gen
val closure_evalvoid : gen -> unit
val closure_func_err : unit -> string
val closure_trapgen : gen -> Signed .long -> gen
val copybin_unlink : gen -> gen
val getlocalprec : Signed .long -> Signed .long
val getlocalbitprec : Signed .long -> Signed .long
val get_lex : Signed .long -> gen
val get_localprec : unit -> Signed .long
val get_localbitprec : unit -> Signed .long
val gp_call : unit Ctypes_static .ptr -> gen -> gen
val gp_callprec : unit Ctypes_static .ptr -> gen -> Signed .long -> gen
val gp_call2 : unit Ctypes_static .ptr -> gen -> gen -> gen
val gp_callbool : unit Ctypes_static .ptr -> gen -> Signed .long
val gp_callvoid : unit Ctypes_static .ptr -> gen -> Signed .long
val gp_eval : unit Ctypes_static .ptr -> gen -> gen
val gp_evalbool : unit Ctypes_static .ptr -> gen -> Signed .long
val gp_evalprec : unit Ctypes_static .ptr -> gen -> Signed .long -> gen
val gp_evalupto : unit Ctypes_static .ptr -> gen -> gen
val gp_evalvoid : unit Ctypes_static .ptr -> gen -> Signed .long
val localprec : gen -> unit
val localbitprec : gen -> unit
val loop_break : unit -> Signed .long
val next0 : Signed .long -> gen
val pari_self : unit -> gen
val parvector : Signed .long -> gen -> gen
val pop_lex : Signed .long -> unit
val pop_localprec : unit -> unit
val precision0 : gen -> Signed .long -> gen
val push_lex : gen -> gen -> unit
val push_localbitprec : Signed .long -> unit
val push_localprec : Signed .long -> unit
val set_lex : Signed .long -> gen -> unit
val forprime_next : forprime_t Ctypes .structure Ctypes_static .ptr -> gen
val forprime_init :
forprime_t Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
int
val forprimestep_init :
forprime_t Ctypes .structure Ctypes_static .ptr ->
gen ->
gen ->
gen ->
int
val prodprimes : unit -> gen
val ff_frobenius : gen -> Signed .long -> gen
val ff_ellcard_sea : gen -> Signed .long -> gen
val ff_ellgroup : gen -> gen Ctypes_static .ptr -> gen
val ff_equal : gen -> gen -> int
val ff_equal0 : gen -> int
val ff_equal1 : gen -> int
val ff_equalm1 : gen -> int
val ff_f : gen -> Signed .long
val ff_issquare : gen -> Signed .long
val ff_issquareall : gen -> gen Ctypes_static .ptr -> Signed .long
val ff_ispower : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val ff_mul2n : gen -> Signed .long -> gen
val ff_primroot : gen -> gen Ctypes_static .ptr -> gen
val ff_samefield : gen -> gen -> int
val ff_var : gen -> Signed .long
val ffm_rank : gen -> gen -> Signed .long
val ffx_extgcd :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val ffx_factor_squarefree : gen -> gen -> gen
val ffx_halfgcd_all :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val ffx_ispower :
gen ->
Signed .long ->
gen ->
gen Ctypes_static .ptr ->
Signed .long
val ffextend : gen -> gen -> Signed .long -> gen
val fffrobenius : gen -> Signed .long -> gen
val ffgen : gen -> Signed .long -> gen
val ffprimroot : gen -> gen Ctypes_static .ptr -> gen
val rg_is_ff : gen -> gen Ctypes_static .ptr -> int
val rgc_is_ffc : gen -> gen Ctypes_static .ptr -> int
val rgm_is_ffm : gen -> gen Ctypes_static .ptr -> int
val p_to_ff : gen -> Signed .long -> gen
val factormodcyclo : Signed .long -> gen -> Signed .long -> Signed .long -> gen
val checkgroup : gen -> gen Ctypes_static .ptr -> gen
val checkgroupelts : gen -> gen
val embed_disc : gen -> Signed .long -> Signed .long -> gen
val embed_roots : gen -> Signed .long -> gen
val galoisconj0 : gen -> Signed .long -> gen -> Signed .long -> gen
val galoisconjclasses : gen -> gen
val galoisexport : gen -> Signed .long -> gen
val galoisfixedfield : gen -> gen -> Signed .long -> Signed .long -> gen
val galoisidentify : gen -> gen
val galoisisabelian : gen -> Signed .long -> gen
val galoisisnormal : gen -> gen -> Signed .long
val galoissubgroups : gen -> gen
val galoissubfields : gen -> Signed .long -> Signed .long -> gen
val numberofconjugates : gen -> Signed .long -> Signed .long
val polgalois : gen -> Signed .long -> gen
val galoisnbpol : Signed .long -> gen
val galoisgetgroup : Signed .long -> Signed .long -> gen
val galoisgetname : Signed .long -> Signed .long -> gen
val galoisgetpol : Signed .long -> Signed .long -> Signed .long -> gen
val conjvec : gen -> Signed .long -> gen
val gaddsg : Signed .long -> gen -> gen
val gdivgs : gen -> Signed .long -> gen
val gmul2n : gen -> Signed .long -> gen
val gmulsg : Signed .long -> gen -> gen
val gsubsg : Signed .long -> gen -> gen
val mulcxpowis : gen -> Signed .long -> gen
val qdivis : gen -> Signed .long -> gen
val ser_normalize : gen -> gen
val map_proto_g : (gen -> gen ) Ctypes_static .static_funptr -> gen -> gen
val map_proto_lg :
(gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
gen
val map_proto_lgl :
(gen -> Signed .long -> Signed .long) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val q_pval : gen -> gen -> Signed .long
val q_pvalrem : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val rgx_val : gen -> Signed .long
val rgx_valrem : gen -> gen Ctypes_static .ptr -> Signed .long
val rgx_valrem_inexact : gen -> gen Ctypes_static .ptr -> Signed .long
val rgxv_maxdegree : gen -> Signed .long
val zv_z_dvd : gen -> gen -> int
val zv_pval : gen -> gen -> Signed .long
val zv_pvalrem : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val zx_pval : gen -> gen -> Signed .long
val zx_pvalrem : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val z_lvalrem_stop :
gen Ctypes_static .ptr ->
pari_ulong ->
int Ctypes_static .ptr ->
Signed .long
val cvstop2 : Signed .long -> gen -> gen
val cx_approx_equal : gen -> gen -> int
val cx_approx0 : gen -> gen -> int
val gabs : gen -> Signed .long -> gen
val gaffect : gen -> gen -> unit
val gaffsg : Signed .long -> gen -> unit
val gequalm1 : gen -> int
val gcmpsg : Signed .long -> gen -> int
val gcvtop : gen -> gen -> Signed .long -> gen
val gequal : gen -> gen -> int
val gequalsg : Signed .long -> gen -> int
val gexpo : gen -> Signed .long
val gexpo_safe : gen -> Signed .long
val gvaluation : gen -> gen -> Signed .long
val gidentical : gen -> gen -> int
val glength : gen -> Signed .long
val gmaxgs : gen -> Signed .long -> gen
val gmings : gen -> Signed .long -> gen
val gtolong : gen -> Signed .long
val lexcmp : gen -> gen -> int
val listinsert : gen -> gen -> Signed .long -> gen
val listpop : gen -> Signed .long -> unit
val listpop0 : gen -> Signed .long -> unit
val listput : gen -> gen -> Signed .long -> gen
val listput0 : gen -> gen -> Signed .long -> unit
val listsort : gen -> Signed .long -> unit
val mklist_typ : Signed .long -> gen
val normalizepol_approx : gen -> Signed .long -> gen
val normalizepol_lg : gen -> Signed .long -> gen
val quadtofp : gen -> Signed .long -> gen
val sizedigit : gen -> Signed .long
val u_lvalrem_stop :
pari_ulong Ctypes_static .ptr ->
pari_ulong ->
int Ctypes_static .ptr ->
Signed .long
val vecindexmax : gen -> Signed .long
val vecindexmin : gen -> Signed .long
val vecmax0 : gen -> gen Ctypes_static .ptr -> gen
val vecmin0 : gen -> gen Ctypes_static .ptr -> gen
val z_lval : Signed .long -> pari_ulong -> Signed .long
val z_lvalrem :
Signed .long ->
pari_ulong ->
Signed .long Ctypes_static .ptr ->
Signed .long
val z_pval : Signed .long -> gen -> Signed .long
val z_pvalrem :
Signed .long ->
gen ->
Signed .long Ctypes_static .ptr ->
Signed .long
val zx_lval : gen -> Signed .long -> Signed .long
val hgmeulerfactor : gen -> gen -> Signed .long -> gen Ctypes_static .ptr -> gen
val hgmcoefs : gen -> gen -> Signed .long -> gen
val hgmissymmetrical : gen -> Signed .long
val hgmbydegree : Signed .long -> gen
val zetahurwitz : gen -> gen -> Signed .long -> Signed .long -> gen
val rgx_to_ser : gen -> Signed .long -> gen
val rgx_to_ser_inexact : gen -> Signed .long -> gen
val gtoser : gen -> Signed .long -> Signed .long -> gen
val gtoser_prec : gen -> Signed .long -> Signed .long -> gen
val rfrac_to_ser : gen -> Signed .long -> gen
val rfrac_to_ser_i : gen -> Signed .long -> gen
val rfracrecip_to_ser_absolute : gen -> Signed .long -> gen
val rfracrecip : gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> Signed .long
val scalarser : gen -> Signed .long -> Signed .long -> gen
val sertoser : gen -> Signed .long -> gen
val rgv_to_ser : gen -> Signed .long -> Signed .long -> gen
val ser0 : gen -> Signed .long -> gen -> Signed .long -> gen
val padic_to_q_shallow : gen -> gen
val rgx_deflate_max : gen -> Signed .long Ctypes_static .ptr -> gen
val rgx_deflate_order : gen -> Signed .long
val rgx_degree : gen -> Signed .long -> Signed .long
val zx_deflate_order : gen -> Signed .long
val zx_deflate_max : gen -> Signed .long Ctypes_static .ptr -> gen
val centerlift0 : gen -> Signed .long -> gen
val compo : gen -> Signed .long -> gen
val deg1pol : gen -> gen -> Signed .long -> gen
val deg1pol_shallow : gen -> gen -> Signed .long -> gen
val deg2pol_shallow : gen -> gen -> gen -> Signed .long -> gen
val degree : gen -> Signed .long
val deriv : gen -> Signed .long -> gen
val derivn : gen -> Signed .long -> Signed .long -> gen
val divrem : gen -> gen -> Signed .long -> gen
val gcvtoi : gen -> Signed .long Ctypes_static .ptr -> gen
val gdeflate : gen -> Signed .long -> Signed .long -> gen
val gdiventgs : gen -> Signed .long -> gen
val gdiventsg : Signed .long -> gen -> gen
val gtrunc2n : gen -> Signed .long -> gen
val ggrando : gen -> Signed .long -> gen
val gmodgs : gen -> Signed .long -> gen
val gmodsg : Signed .long -> gen -> gen
val gmodulsg : Signed .long -> gen -> gen
val gmodulss : Signed .long -> Signed .long -> gen
val gppoldegree : gen -> Signed .long -> gen
val gprecision : gen -> Signed .long
val gpserprec : gen -> Signed .long -> gen
val grndtoi : gen -> Signed .long Ctypes_static .ptr -> gen
val gshift : gen -> Signed .long -> gen
val gsubst : gen -> Signed .long -> gen -> gen
val gtocol0 : gen -> Signed .long -> gen
val gtocolrev0 : gen -> Signed .long -> gen
val gtopoly : gen -> Signed .long -> gen
val gtopolyrev : gen -> Signed .long -> gen
val gtovec0 : gen -> Signed .long -> gen
val gtovecrev0 : gen -> Signed .long -> gen
val gtovecsmall0 : gen -> Signed .long -> gen
val gvar : gen -> Signed .long
val gvar2 : gen -> Signed .long
val integ : gen -> Signed .long -> gen
val iscomplex : gen -> int
val isexactzero : gen -> int
val isrationalzeroscalar : gen -> int
val isinexact : gen -> int
val isinexactreal : gen -> int
val isint : gen -> gen Ctypes_static .ptr -> int
val isrationalzero : gen -> int
val issmall : gen -> Signed .long Ctypes_static .ptr -> int
val lift0 : gen -> Signed .long -> gen
val liftall_shallow : gen -> gen
val liftint_shallow : gen -> gen
val liftpol_shallow : gen -> gen
val mkcoln : Signed .long -> gen
val mkintn : Signed .long -> gen
val mkpoln : Signed .long -> gen
val mkvecn : Signed .long -> gen
val mkvecsmalln : Signed .long -> gen
val padicprec : gen -> gen -> Signed .long
val padicprec_relative : gen -> Signed .long
val polcoef : gen -> Signed .long -> Signed .long -> gen
val polcoef_i : gen -> Signed .long -> Signed .long -> gen
val poldegree : gen -> Signed .long -> Signed .long
val pollead : gen -> Signed .long -> gen
val precision : gen -> Signed .long
val round0 : gen -> gen Ctypes_static .ptr -> gen
val scalarpol : gen -> Signed .long -> gen
val scalarpol_shallow : gen -> Signed .long -> gen
val serprec : gen -> Signed .long -> Signed .long
val simplify_shallow : gen -> gen
val tayl : gen -> Signed .long -> Signed .long -> gen
val trunc0 : gen -> gen Ctypes_static .ptr -> gen
val vars_sort_inplace : gen -> gen
val variables_vecsmall : gen -> gen
val variables_vec : gen -> gen
val genus2igusa : gen -> Signed .long -> gen
val gchar_identify : gen -> gen -> gen -> Signed .long -> gen
val gcharinit : gen -> gen -> Signed .long -> gen
val gcharisalgebraic : gen -> gen -> gen Ctypes_static .ptr -> int
val gcharlocal :
gen ->
gen ->
gen ->
Signed .long ->
gen Ctypes_static .ptr ->
gen
val gcharlog : gen -> gen -> Signed .long -> gen
val gcharnewprec : gen -> Signed .long -> gen
val is_gchar_group : gen -> int
val vecan_gchar : gen -> Signed .long -> Signed .long -> gen
val eulerf_gchar : gen -> gen -> Signed .long -> gen
val group_ident : gen -> gen -> Signed .long
val group_ident_trans : gen -> gen -> Signed .long
val hash_create_ulong :
pari_ulong ->
Signed .long ->
hashtable Ctypes .structure Ctypes_static .ptr
val hash_create_str :
pari_ulong ->
Signed .long ->
hashtable Ctypes .structure Ctypes_static .ptr
val hash_create :
pari_ulong ->
(unit Ctypes_static .ptr -> pari_ulong ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
int)
Ctypes_static .static_funptr ->
int ->
hashtable Ctypes .structure Ctypes_static .ptr
val hash_dbg : hashtable Ctypes .structure Ctypes_static .ptr -> unit
val hash_haskey_gen :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
gen
val hash_haskey_long :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
int
val hash_init :
hashtable Ctypes .structure Ctypes_static .ptr ->
pari_ulong ->
(unit Ctypes_static .ptr -> pari_ulong ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
int)
Ctypes_static .static_funptr ->
int ->
unit
val hash_init_gen :
hashtable Ctypes .structure Ctypes_static .ptr ->
pari_ulong ->
(gen -> gen -> int) Ctypes_static .static_funptr ->
int ->
unit
val hash_init_ulong :
hashtable Ctypes .structure Ctypes_static .ptr ->
pari_ulong ->
int ->
unit
val hash_insert :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
unit
val hash_insert_long :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
Signed .long ->
unit
val hash_insert2 :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
pari_ulong ->
unit
val hash_keys : hashtable Ctypes .structure Ctypes_static .ptr -> gen
val hash_values : hashtable Ctypes .structure Ctypes_static .ptr -> gen
val hash_search :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
hashentry Ctypes .structure Ctypes_static .ptr
val hash_search2 :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
pari_ulong ->
hashentry Ctypes .structure Ctypes_static .ptr
val hash_select :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
hashentry Ctypes .structure Ctypes_static .ptr ->
int)
Ctypes_static .static_funptr ->
hashentry Ctypes .structure Ctypes_static .ptr
val hash_remove :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
hashentry Ctypes .structure Ctypes_static .ptr
val hash_remove_select :
hashtable Ctypes .structure Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
hashentry Ctypes .structure Ctypes_static .ptr ->
int)
Ctypes_static .static_funptr ->
hashentry Ctypes .structure Ctypes_static .ptr
val hash_destroy : hashtable Ctypes .structure Ctypes_static .ptr -> unit
val zx_hyperellred : gen -> gen Ctypes_static .ptr -> gen
val hyperellcharpoly : gen -> gen
val hyperellisoncurve : gen -> gen -> int
val hyperellminimalmodel : gen -> gen Ctypes_static .ptr -> gen -> gen
val hyperellpadicfrobenius0 : gen -> gen -> Signed .long -> gen
val hyperellred : gen -> gen Ctypes_static .ptr -> gen
val airy : gen -> Signed .long -> gen
val rgm_hnfall : gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val zm_hnf_knapsack : gen -> gen
val zm_hnfall : gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val zm_hnfall_i : gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val zm_hnflll : gen -> gen Ctypes_static .ptr -> int -> gen
val zv_snfall : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val zv_snf_group : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val zv_snf_trunc : gen -> unit
val zm_hnfmodall : gen -> gen -> Signed .long -> gen
val zm_hnfmodall_i : gen -> gen -> Signed .long -> gen
val zm_hnfperm : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val zm_snf_group : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val zm_snfall : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> gen
val zm_snfall_i :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long ->
gen
val hnfdivide : gen -> gen -> int
val matfrobenius : gen -> Signed .long -> Signed .long -> gen
val mathnf0 : gen -> Signed .long -> gen
val matsnf0 : gen -> Signed .long -> gen
val snfrank : gen -> gen -> Signed .long
val z_issquarefree : gen -> Signed .long
val z_pollardbrent : gen -> Signed .long -> Signed .long -> gen
val factorint : gen -> Signed .long -> gen
val ifac_isprime : gen -> int
val ifac_next :
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
int
val ifac_read :
gen ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
int
val ifac_skip : gen -> unit
val ifac_start : gen -> int -> gen
val is_357_power :
gen ->
gen Ctypes_static .ptr ->
pari_ulong Ctypes_static .ptr ->
int
val ispowerful : gen -> Signed .long
val moebius : gen -> Signed .long
val moebiusu_fact : gen -> Signed .long
val chk_gerepileupto : gen -> int
val copy_bin : gen -> genbin Ctypes .structure Ctypes_static .ptr
val copy_bin_canon : gen -> genbin Ctypes .structure Ctypes_static .ptr
val dbg_gerepileupto : gen -> unit
val gclone_refc : gen -> unit
val gcopy_lg : gen -> Signed .long -> gen
val getheap : unit -> gen
val gsizeword : gen -> Signed .long
val gsizebyte : gen -> Signed .long
val gunclone : gen -> unit
val gunclone_deep : gen -> unit
val msgtimer : string -> unit
val name_numerr : string -> Signed .long
val new_chunk_resize : int -> unit
val newblock : int -> gen
val numerr_name : Signed .long -> string
val obj_check : gen -> Signed .long -> gen
val obj_checkbuild :
gen ->
Signed .long ->
(gen -> gen ) Ctypes_static .static_funptr ->
gen
val obj_checkbuild_padicprec :
gen ->
Signed .long ->
(gen -> Signed .long -> gen ) Ctypes_static .static_funptr ->
Signed .long ->
gen
val obj_checkbuild_realprec :
gen ->
Signed .long ->
(gen -> Signed .long -> gen ) Ctypes_static .static_funptr ->
Signed .long ->
gen
val obj_checkbuild_prec :
gen ->
Signed .long ->
(gen -> Signed .long -> gen ) Ctypes_static .static_funptr ->
(gen -> Signed .long) Ctypes_static .static_funptr ->
Signed .long ->
gen
val obj_free : gen -> unit
val obj_init : Signed .long -> Signed .long -> gen
val obj_insert : gen -> Signed .long -> gen -> gen
val obj_insert_shallow : gen -> Signed .long -> gen -> gen
val pari_add_function : entree Ctypes .structure Ctypes_static .ptr -> unit
val pari_add_module : entree Ctypes .structure Ctypes_static .ptr -> unit
val pari_add_defaults_module :
entree Ctypes .structure Ctypes_static .ptr ->
unit
val pari_close : unit -> unit
val pari_compile_str : string -> gen
val pari_daemon : unit -> int
val pari_err : int -> unit
val pari_err_last : unit -> gen
val pari_err2str : gen -> string
val pari_stackcheck_init : unit Ctypes_static .ptr -> unit
val pari_sighandler : int -> unit
val pari_sig_init : (int -> unit) Ctypes_static .static_funptr -> unit
val pari_thread_alloc :
pari_thread Ctypes .structure Ctypes_static .ptr ->
int ->
gen ->
unit
val pari_thread_close : unit -> unit
val pari_thread_free : pari_thread Ctypes .structure Ctypes_static .ptr -> unit
val pari_thread_init : unit -> unit
val pari_thread_start : pari_thread Ctypes .structure Ctypes_static .ptr -> gen
val pari_thread_valloc :
pari_thread Ctypes .structure Ctypes_static .ptr ->
int ->
int ->
gen ->
unit
val pari_version : unit -> gen
val pari_warn : int -> unit
val paristack_setsize : int -> int -> unit
val parivstack_reset : unit -> unit
val setalldebug : Signed .long -> unit
val setdebug : string -> Signed .long -> gen
val shiftaddress : gen -> Signed .long -> unit
val shiftaddress_canon : gen -> Signed .long -> unit
val timer : unit -> Signed .long
val timer_delay : pari_timer Ctypes .structure Ctypes_static .ptr -> Signed .long
val timer_get : pari_timer Ctypes .structure Ctypes_static .ptr -> Signed .long
val timer_printf :
pari_timer Ctypes .structure Ctypes_static .ptr ->
string ->
unit
val timer_start : pari_timer Ctypes .structure Ctypes_static .ptr -> unit
val timer2 : unit -> Signed .long
val traverseheap :
(gen -> unit Ctypes_static .ptr -> unit) Ctypes_static .static_funptr ->
unit Ctypes_static .ptr ->
unit
val walltimer_start : pari_timer Ctypes .structure Ctypes_static .ptr -> unit
val walltimer_delay :
pari_timer Ctypes .structure Ctypes_static .ptr ->
Signed .long
val walltimer_get :
pari_timer Ctypes .structure Ctypes_static .ptr ->
Signed .long
val contfraceval : gen -> gen -> Signed .long -> gen
val contfracinit : gen -> Signed .long -> gen
val intcirc :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen ->
Signed .long ->
gen
val intfuncinit :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
Signed .long ->
gen
val intnum :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen ->
Signed .long ->
gen
val intnumgauss :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen ->
Signed .long ->
gen
val intnumgaussinit : Signed .long -> Signed .long -> gen
val intnuminit : gen -> gen -> Signed .long -> Signed .long -> gen
val intnumosc :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen ->
Signed .long ->
gen
val intnumromb :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
Signed .long ->
gen
val intnumromb_bitprec :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
Signed .long ->
gen
val prodeulerrat : gen -> gen -> Signed .long -> Signed .long -> gen
val prodnumrat : gen -> Signed .long -> Signed .long -> gen
val quodif : gen -> Signed .long -> gen
val sumeulerrat : gen -> gen -> Signed .long -> Signed .long -> gen
val sumnum :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val sumnumap :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val sumnumapinit : gen -> Signed .long -> gen
val sumnuminit : gen -> Signed .long -> gen
val sumnumlagrangeinit : gen -> gen -> Signed .long -> gen
val sumnumlagrange :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val sumnummonien :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val sumnummonieninit : gen -> gen -> gen -> Signed .long -> gen
val sumnumrat : gen -> gen -> Signed .long -> gen
val sumnumsidi :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
float ->
Signed .long ->
gen
val z_isanypower : gen -> gen Ctypes_static .ptr -> Signed .long
val z_ispow2 : gen -> Signed .long
val z_issquareall : gen -> gen Ctypes_static .ptr -> Signed .long
val zn_ispower : gen -> gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val zn_issquare : gen -> gen -> Signed .long
val zp_issquare : gen -> gen -> Signed .long
val gisanypower : gen -> gen Ctypes_static .ptr -> Signed .long
val gissquareall : gen -> gen Ctypes_static .ptr -> gen
val ispolygonal : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val ispower : gen -> gen -> gen Ctypes_static .ptr -> Signed .long
val isprimepower : gen -> gen Ctypes_static .ptr -> Signed .long
val ispseudoprimepower : gen -> gen Ctypes_static .ptr -> Signed .long
val issquare : gen -> Signed .long
val issquareall : gen -> gen Ctypes_static .ptr -> Signed .long
val sqrtint0 : gen -> gen Ctypes_static .ptr -> gen
val padicfields0 : gen -> gen -> Signed .long -> gen
val padicfields : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val bnrclassfield : gen -> gen -> Signed .long -> Signed .long -> gen
val rnfkummer : gen -> gen -> Signed .long -> gen
val is_linit : gen -> Signed .long
val ldata_get_dual : gen -> gen
val ldata_get_gammavec : gen -> gen
val ldata_get_degree : gen -> Signed .long
val ldata_get_conductor : gen -> gen
val ldata_get_rootno : gen -> gen
val ldata_get_residue : gen -> gen
val ldata_get_type : gen -> Signed .long
val ldata_isreal : gen -> Signed .long
val linit_get_type : gen -> Signed .long
val linit_get_ldata : gen -> gen
val linit_get_tech : gen -> gen
val lfun_get_domain : gen -> gen
val lfun_get_factgammavec : gen -> gen
val lfun_get_step : gen -> gen
val lfun_get_residue : gen -> gen
val lfun_get_expot : gen -> gen
val lfun_get_bitprec : gen -> Signed .long
val lfun0 : gen -> gen -> Signed .long -> Signed .long -> gen
val lfuncheckfeq : gen -> gen -> Signed .long -> Signed .long
val lfunconductor : gen -> gen -> Signed .long -> Signed .long -> gen
val lfuncost : gen -> gen -> Signed .long -> Signed .long -> gen
val lfuncost0 : gen -> gen -> Signed .long -> Signed .long -> gen
val lfundual : gen -> Signed .long -> gen
val lfuneuler : gen -> gen -> Signed .long -> gen
val lfunparams : gen -> Signed .long -> gen
val lfunan : gen -> Signed .long -> Signed .long -> gen
val lfunhardy : gen -> gen -> Signed .long -> gen
val lfuninit : gen -> gen -> Signed .long -> Signed .long -> gen
val lfuninit0 : gen -> gen -> Signed .long -> Signed .long -> gen
val lfunlambda : gen -> gen -> Signed .long -> gen
val lfunlambda0 : gen -> gen -> Signed .long -> Signed .long -> gen
val lfunmisc_to_ldata : gen -> gen
val lfunmisc_to_ldata_shallow : gen -> gen
val lfunmisc_to_ldata_shallow_i : gen -> gen
val lfunorderzero : gen -> Signed .long -> Signed .long -> Signed .long
val lfunprod_get_fact : gen -> gen
val lfunrootno : gen -> Signed .long -> gen
val lfunrootres : gen -> Signed .long -> gen
val lfunshift : gen -> gen -> Signed .long -> Signed .long -> gen
val lfuntwist : gen -> gen -> Signed .long -> gen
val lfuntheta : gen -> gen -> Signed .long -> Signed .long -> gen
val lfunthetacost0 : gen -> gen -> Signed .long -> Signed .long -> Signed .long
val lfunthetacost : gen -> gen -> Signed .long -> Signed .long -> Signed .long
val lfunthetainit : gen -> gen -> Signed .long -> Signed .long -> gen
val lfunthetacheckinit : gen -> gen -> Signed .long -> Signed .long -> gen
val lfunzeros : gen -> gen -> Signed .long -> Signed .long -> gen
val sdomain_isincl : float -> gen -> gen -> int
val theta_get_bitprec : gen -> Signed .long
val theta_get_m : gen -> Signed .long
val theta_get_tdom : gen -> gen
val theta_get_isqrtn : gen -> gen
val vgaeasytheta : gen -> int
val eta_zxn : Signed .long -> Signed .long -> gen
val eta_product_zxn : gen -> Signed .long -> gen
val etaquotype :
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val galois_get_conj : gen -> gen
val ldata_vecan : gen -> Signed .long -> Signed .long -> gen
val ldata_newprec : gen -> Signed .long -> gen
val lfunabelianrelinit : gen -> gen -> gen -> Signed .long -> Signed .long -> gen
val lfunartin : gen -> gen -> gen -> Signed .long -> Signed .long -> gen
val lfundiv : gen -> gen -> Signed .long -> gen
val lfunellmfpeters : gen -> Signed .long -> gen
val lfunmfspec : gen -> Signed .long -> gen
val lfunmul : gen -> gen -> Signed .long -> gen
val lfunqf : gen -> Signed .long -> gen
val lfunzetakinit : gen -> gen -> Signed .long -> Signed .long -> gen
val qfiseven : gen -> Signed .long
val lfunquadneg : Signed .long -> Signed .long -> gen
val zm_lll_norms : gen -> float -> Signed .long -> gen Ctypes_static .ptr -> gen
val lllfp : gen -> float -> Signed .long -> gen
val lllgramkerimgen : gen -> gen
val lllintpartial : gen -> gen
val lllintpartial_inplace : gen -> gen
val matkerint0 : gen -> Signed .long -> gen
val qflll0 : gen -> Signed .long -> gen
val qflllgram0 : gen -> Signed .long -> gen
val mapdelete : gen -> gen -> unit
val mapdomain_shallow : gen -> gen
val mapisdefined : gen -> gen -> gen Ctypes_static .ptr -> int
val maptomat_shallow : gen -> gen
val dbllemma526 : float -> float -> float -> float -> float
val dblcoro526 : float -> float -> float -> float
val gammamellininv : gen -> gen -> Signed .long -> Signed .long -> gen
val gammamellininvasymp : gen -> Signed .long -> Signed .long -> gen
val gammamellininvinit : gen -> Signed .long -> Signed .long -> gen
val gammamellininvrt : gen -> gen -> Signed .long -> gen
val member_codiff : gen -> gen
val member_orders : gen -> gen
val member_polabs : gen -> gen
val mf_get_mindex : gen -> gen
val mf_get_dim : gen -> Signed .long
val mf_get_fields : gen -> gen
val mf_get_space : gen -> Signed .long
val mfcusp_get_vmjd : gen -> gen
val qab_tracerel : gen -> Signed .long -> gen -> gen
val qabm_tracerel : gen -> Signed .long -> gen -> gen
val qabv_tracerel : gen -> Signed .long -> gen -> gen
val qab_trace_init : Signed .long -> Signed .long -> gen -> gen -> gen
val checkmf_i : gen -> int
val getcache : unit -> gen
val lfunmf : gen -> gen -> Signed .long -> gen
val mfdelta : unit -> gen
val mfek : Signed .long -> gen
val mf_get_n : gen -> Signed .long
val mf_get_k : gen -> Signed .long
val mf_get_r : gen -> Signed .long
val mf_get_type : gen -> Signed .long
val mfatkineigenvalues : gen -> Signed .long -> Signed .long -> gen
val mfatkininit : gen -> Signed .long -> Signed .long -> gen
val mfbasis : gen -> Signed .long -> gen
val mfbd : gen -> Signed .long -> gen
val mfbracket : gen -> gen -> Signed .long -> gen
val mfcharorder : gen -> Signed .long
val mfcharmodulus : gen -> Signed .long
val mfcoef : gen -> Signed .long -> gen
val mfcoefs : gen -> Signed .long -> Signed .long -> gen
val mfconductor : gen -> gen -> Signed .long
val mfcuspdim : Signed .long -> Signed .long -> gen -> Signed .long
val mfcuspisregular : gen -> gen -> Signed .long
val mfcuspwidth : gen -> gen -> Signed .long
val mfderiv : gen -> Signed .long -> gen
val mfderive2 : gen -> Signed .long -> gen
val mfdescribe : gen -> gen Ctypes_static .ptr -> gen
val mfdim : gen -> Signed .long -> gen
val mfdiv_val : gen -> gen -> Signed .long -> gen
val mfeisenstein : Signed .long -> gen -> gen -> gen
val mfeisensteindim : Signed .long -> Signed .long -> gen -> Signed .long
val mfembed0 : gen -> gen -> Signed .long -> gen
val mffromlfun : gen -> Signed .long -> gen
val mffulldim : Signed .long -> Signed .long -> gen -> Signed .long
val mfgaloisprojrep : gen -> gen -> Signed .long -> gen
val mfhecke : gen -> gen -> Signed .long -> gen
val mfinit : gen -> Signed .long -> gen
val mfiscuspidal : gen -> gen -> Signed .long
val mfisequal : gen -> gen -> Signed .long -> Signed .long
val mfisetaquo : gen -> Signed .long -> gen
val mfkohnenbasis : gen -> gen
val mfkohnenbijection : gen -> gen
val mfmanin : gen -> Signed .long -> gen
val mfnewdim : Signed .long -> Signed .long -> gen -> Signed .long
val mfolddim : Signed .long -> Signed .long -> gen -> Signed .long
val mfperiodpol : gen -> gen -> Signed .long -> Signed .long -> gen
val mfperiodpolbasis : Signed .long -> Signed .long -> gen
val mfpow : gen -> Signed .long -> gen
val mfsearch : gen -> gen -> Signed .long -> gen
val mfshift : gen -> Signed .long -> gen
val mfshimura : gen -> gen -> Signed .long -> gen
val mfslashexpansion :
gen ->
gen ->
gen ->
Signed .long ->
Signed .long ->
gen Ctypes_static .ptr ->
Signed .long ->
gen
val mfspace : gen -> gen -> Signed .long
val mfsplit : gen -> Signed .long -> Signed .long -> gen
val mfsturm : gen -> Signed .long
val mfsturmngk : Signed .long -> gen -> Signed .long
val mfsturmnk : Signed .long -> Signed .long -> Signed .long
val mfsturm_mf : gen -> Signed .long
val mfsymbol : gen -> gen -> Signed .long -> gen
val mftaylor : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val mftobasis : gen -> gen -> Signed .long -> gen
val mftocol : gen -> Signed .long -> Signed .long -> gen
val mfvectomat : gen -> Signed .long -> Signed .long -> gen
val fp_ratlift :
gen ->
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
int
val abscmpii : gen -> gen -> int
val abscmprr : gen -> gen -> int
val absequalii : gen -> gen -> int
val addii_sign : gen -> Signed .long -> gen -> Signed .long -> gen
val addir_sign : gen -> Signed .long -> gen -> Signed .long -> gen
val addrr_sign : gen -> Signed .long -> gen -> Signed .long -> gen
val addsi_sign : Signed .long -> gen -> Signed .long -> gen
val addsr : Signed .long -> gen -> gen
val affir : gen -> gen -> unit
val affrr : gen -> gen -> unit
val bezout :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val cbezout :
Signed .long ->
Signed .long ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val cgcd : Signed .long -> Signed .long -> Signed .long
val clcm : Signed .long -> Signed .long -> Signed .long
val dblexpo : float -> Signed .long
val dbltor : float -> gen
val divis : gen -> Signed .long -> gen
val divis_rem : gen -> Signed .long -> Signed .long Ctypes_static .ptr -> gen
val divrs : gen -> Signed .long -> gen
val divsi : Signed .long -> gen -> gen
val divsr : Signed .long -> gen -> gen
val equalii : gen -> gen -> int
val equalrr : gen -> gen -> int
val int2n : Signed .long -> gen
val int_normalize : gen -> Signed .long -> gen
val invmod : gen -> gen -> gen Ctypes_static .ptr -> int
val mantissa_real : gen -> Signed .long Ctypes_static .ptr -> gen
val mulsi : Signed .long -> gen -> gen
val mulsr : Signed .long -> gen -> gen
val mulss : Signed .long -> Signed .long -> gen
val pari_kernel_close : unit -> unit
val pari_kernel_init : unit -> unit
val pari_kernel_version : unit -> string
val remi2n : gen -> Signed .long -> gen
val rtodbl : gen -> float
val shifti : gen -> Signed .long -> gen
val sqrs : Signed .long -> gen
val sqrtremi : gen -> gen Ctypes_static .ptr -> gen
val subsr : Signed .long -> gen -> gen
val truedvmdis : gen -> Signed .long -> gen Ctypes_static .ptr -> gen
val truedvmdsi : Signed .long -> gen -> gen Ctypes_static .ptr -> gen
val trunc2nr : gen -> Signed .long -> gen
val mantissa2nr : gen -> Signed .long -> gen
val nfissquarefree : gen -> gen -> int
val nfroots_if_split : gen Ctypes_static .ptr -> gen -> gen
val rnfisabelian : gen -> gen -> Signed .long
val forpart :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
Signed .long ->
gen ->
gen ->
unit
val forpart_init :
forpart_t Ctypes .structure Ctypes_static .ptr ->
Signed .long ->
gen ->
gen ->
unit
val forpart_next : forpart_t Ctypes .structure Ctypes_static .ptr -> gen
val forpart_prev : forpart_t Ctypes .structure Ctypes_static .ptr -> gen
val partitions : Signed .long -> gen -> gen -> gen
val forperm :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
unit
val forperm_init : forperm_t Ctypes .structure Ctypes_static .ptr -> gen -> unit
val forperm_next : forperm_t Ctypes .structure Ctypes_static .ptr -> gen
val forallsubset_init :
forsubset_t Ctypes .structure Ctypes_static .ptr ->
Signed .long ->
unit
val forksubset_init :
forsubset_t Ctypes .structure Ctypes_static .ptr ->
Signed .long ->
Signed .long ->
unit
val forsubset_next : forsubset_t Ctypes .structure Ctypes_static .ptr -> gen
val forsubset_init :
forsubset_t Ctypes .structure Ctypes_static .ptr ->
gen ->
unit
val glambertw : gen -> Signed .long -> Signed .long -> gen
val mplambertw : gen -> Signed .long -> gen
val mplambertx : gen -> Signed .long -> gen
val mplambertx_logx : gen -> gen -> Signed .long -> gen
val mplambertxlogx_x : gen -> gen -> Signed .long -> gen
val z_to_perm : Signed .long -> gen -> gen
val abelian_group : gen -> gen
val conjclasses_repr : gen -> Signed .long -> gen
val cyc_pow : gen -> Signed .long -> gen
val cyc_pow_perm : gen -> Signed .long -> gen
val cyclicgroup : gen -> Signed .long -> gen
val dicyclicgroup : gen -> gen -> Signed .long -> Signed .long -> gen
val group_domain : gen -> Signed .long
val group_elts : gen -> Signed .long -> gen
val group_export : gen -> Signed .long -> gen
val group_export_gap : gen -> gen
val group_export_magma : gen -> gen
val group_isa4s4 : gen -> Signed .long
val group_isabelian : gen -> Signed .long
val group_order : gen -> Signed .long
val group_perm_normalize : gen -> gen -> Signed .long
val group_set : gen -> Signed .long -> gen
val group_subgroup_is_faithful : gen -> gen -> int
val group_subgroup_isnormal : gen -> gen -> Signed .long
val group_subgroups : gen -> gen
val groupelts_solvablesubgroups : gen -> gen
val groupelts_abelian_group : gen -> gen
val groupelts_center : gen -> gen
val groupelts_conjclasses : gen -> Signed .long Ctypes_static .ptr -> gen
val groupelts_exponent : gen -> Signed .long
val groupelts_set : gen -> Signed .long -> gen
val groupelts_to_group : gen -> gen
val numtoperm : Signed .long -> gen -> gen
val perm_commute : gen -> gen -> int
val perm_sign : gen -> Signed .long
val permsign : gen -> Signed .long
val quotient_groupelts : gen -> gen
val subgroups_tableset : gen -> Signed .long -> gen
val tableset_find_index : gen -> gen -> Signed .long
val trivialgroup : unit -> gen
val vec_insert : gen -> Signed .long -> gen -> gen
val vec_is1to1 : gen -> int
val vec_isconst : gen -> int
val vecperm_orbits : gen -> Signed .long -> gen
val vecsmall_duplicate : gen -> Signed .long
val vecsmall_duplicate_sorted : gen -> Signed .long
val vecsmall_indexsort : gen -> gen
val vecsmall_is1to1 : gen -> int
val vecsmall_isconst : gen -> int
val vecsmall_sort : gen -> unit
val vecsmall_uniq : gen -> gen
val vecsmall_uniq_sorted : gen -> gen
val vecsmall_counting_indexsort : gen -> Signed .long -> gen
val vecsmall_counting_sort : gen -> Signed .long -> unit
val vecsmall_counting_uniq : gen -> Signed .long -> gen
val vecvecsmall_indexsort : gen -> gen
val vecvecsmall_max : gen -> Signed .long
val vecvecsmall_search : gen -> gen -> Signed .long
val vecvecsmall_sort : gen -> gen
val vecvecsmall_sort_inplace : gen -> gen Ctypes_static .ptr -> unit
val vecvecsmall_sort_shallow : gen -> gen
val vecvecsmall_sort_uniq : gen -> gen
val mt_broadcast : gen -> unit
val mt_nbthreads : unit -> Signed .long
val mt_queue_end : pari_mt Ctypes .structure Ctypes_static .ptr -> unit
val mt_queue_get :
pari_mt Ctypes .structure Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
gen
val mt_queue_start : pari_mt Ctypes .structure Ctypes_static .ptr -> gen -> unit
val mt_queue_start_lim :
pari_mt Ctypes .structure Ctypes_static .ptr ->
gen ->
Signed .long ->
unit
val mt_queue_submit :
pari_mt Ctypes .structure Ctypes_static .ptr ->
Signed .long ->
gen ->
unit
val mt_sigint_block : unit -> unit
val mt_sigint_unblock : unit -> unit
val pari_mt_init : unit -> unit
val pari_mt_close : unit -> unit
val subcyclopclgp : gen -> gen -> Signed .long -> gen
val subcycloiwasawa : gen -> gen -> Signed .long -> gen
val color_to_rgb :
gen ->
int Ctypes_static .ptr ->
int Ctypes_static .ptr ->
int Ctypes_static .ptr ->
unit
val colorname_to_rgb :
string ->
int Ctypes_static .ptr ->
int Ctypes_static .ptr ->
int Ctypes_static .ptr ->
unit
val long_to_rgb :
Signed .long ->
int Ctypes_static .ptr ->
int Ctypes_static .ptr ->
int Ctypes_static .ptr ->
unit
val pari_plot_by_file : string -> string -> string -> unit
val pari_set_plot_engine :
(pari_plot Ctypes .structure Ctypes_static .ptr ->
unit)
Ctypes_static .static_funptr ->
unit
val pari_kill_plot_engine : unit -> unit
val parploth :
gen ->
gen ->
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val parplothexport :
gen ->
gen ->
gen ->
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val plotbox : Signed .long -> gen -> gen -> Signed .long -> unit
val plotclip : Signed .long -> unit
val plotcolor : Signed .long -> gen -> gen
val plotcopy : Signed .long -> Signed .long -> gen -> gen -> Signed .long -> unit
val plotcursor : Signed .long -> gen
val plotdraw : gen -> Signed .long -> unit
val plotexport : gen -> gen -> Signed .long -> gen
val ploth :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val plothexport :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val plothraw : gen -> gen -> Signed .long -> gen
val plothrawexport : gen -> gen -> gen -> Signed .long -> gen
val plothsizes : Signed .long -> gen
val plotinit : Signed .long -> gen -> gen -> Signed .long -> unit
val plotkill : Signed .long -> unit
val plotline : Signed .long -> gen -> gen -> unit
val plotlines : Signed .long -> gen -> gen -> Signed .long -> unit
val plotlinetype : Signed .long -> Signed .long -> unit
val plotmove : Signed .long -> gen -> gen -> unit
val plotpoints : Signed .long -> gen -> gen -> unit
val plotpointsize : Signed .long -> gen -> unit
val plotpointtype : Signed .long -> Signed .long -> unit
val plotrbox : Signed .long -> gen -> gen -> Signed .long -> unit
val plotrecth :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
Signed .long ->
gen ->
gen ->
pari_ulong ->
Signed .long ->
Signed .long ->
gen
val plotrecthraw : Signed .long -> gen -> Signed .long -> gen
val plotrline : Signed .long -> gen -> gen -> unit
val plotrmove : Signed .long -> gen -> gen -> unit
val plotrpoint : Signed .long -> gen -> gen -> unit
val plotscale : Signed .long -> gen -> gen -> gen -> gen -> unit
val plotstring : Signed .long -> string -> Signed .long -> unit
val psdraw : gen -> Signed .long -> unit
val psploth :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val psplothraw : gen -> gen -> Signed .long -> gen
val rect2ps_i :
gen ->
gen ->
gen ->
pari_plot Ctypes .structure Ctypes_static .ptr ->
int ->
string
val rect2svg :
gen ->
gen ->
gen ->
pari_plot Ctypes .structure Ctypes_static .ptr ->
string
val pariplot :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen ->
gen ->
Signed .long ->
unit
val cmp_padic : gen -> gen -> int
val factorpadic : gen -> gen -> Signed .long -> gen
val polrootspadic : gen -> gen -> Signed .long -> gen
val q_content_safe : gen -> gen
val q_primitive_part : gen -> gen Ctypes_static .ptr -> gen
val q_remove_denom : gen -> gen Ctypes_static .ptr -> gen
val rg_type :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgm_rgc_type :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgm_rescale_to_int : gen -> gen
val rgm_type :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgm_type2 :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgv_type :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgv_type2 :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgx_rg_type :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgx_extgcd :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val rgx_extgcd_simple :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val rgx_halfgcd_all :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val rgx_rescale_to_int : gen -> gen
val rgx_resultant_all : gen -> gen -> gen Ctypes_static .ptr -> gen
val rgx_sturmpart : gen -> gen -> Signed .long
val rgx_type :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgx_type2 :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgx_type3 :
gen ->
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
Signed .long
val rgx_type_decode :
Signed .long ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
unit
val rgx_type_is_composite : Signed .long -> int
val rgxq_charpoly : gen -> gen -> Signed .long -> gen
val rgxq_minpoly : gen -> gen -> Signed .long -> gen
val rgxq_ratlift :
gen ->
gen ->
Signed .long ->
Signed .long ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
int
val deg1_from_roots : gen -> Signed .long -> gen
val gbezout :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val gen_factorback :
gen ->
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen -> gen -> gen ) Ctypes_static .static_funptr ->
(unit Ctypes_static .ptr -> gen ) Ctypes_static .static_funptr ->
gen
val poldisc0 : gen -> Signed .long -> gen
val polisirreducible : gen -> Signed .long
val polresultant0 : gen -> gen -> Signed .long -> Signed .long -> gen
val polsym : gen -> Signed .long -> gen
val primitive_part : gen -> gen Ctypes_static .ptr -> gen
val reduceddiscsmith : gen -> gen
val roots_from_deg1 : gen -> gen
val roots_to_pol : gen -> Signed .long -> gen
val roots_to_pol_r1 : gen -> Signed .long -> Signed .long -> gen
val sturmpart : gen -> gen -> gen -> Signed .long
val subresext :
gen ->
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
gen
val trivial_fact : unit -> gen
val polresultantext0 : gen -> gen -> Signed .long -> gen
val row_q_primpart : gen -> gen
val vec_q_primpart : gen -> gen
val fqv_roots_to_pol : gen -> gen -> gen -> Signed .long -> gen
val fqxq_matrix_pow :
gen ->
Signed .long ->
Signed .long ->
gen ->
gen ->
gen ->
gen
val rg_is_fp : gen -> gen Ctypes_static .ptr -> int
val rg_is_fpxq : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> int
val rgm_is_fpm : gen -> gen Ctypes_static .ptr -> int
val rgv_is_fpv : gen -> gen Ctypes_static .ptr -> int
val rgx_is_fpx : gen -> gen Ctypes_static .ptr -> int
val rgx_is_fpxqx : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> int
val zm_incremental_crt :
gen Ctypes_static .ptr ->
gen ->
gen Ctypes_static .ptr ->
pari_ulong ->
int
val zx_zxy_rnfequation : gen -> gen -> Signed .long Ctypes_static .ptr -> gen
val zx_incremental_crt :
gen Ctypes_static .ptr ->
gen ->
gen Ctypes_static .ptr ->
pari_ulong ->
int
val zx_is_squarefree : gen -> int
val zxm_incremental_crt :
gen Ctypes_static .ptr ->
gen ->
gen Ctypes_static .ptr ->
pari_ulong ->
int
val zxq_charpoly : gen -> gen -> Signed .long -> gen
val characteristic : gen -> gen
val ffinit : gen -> Signed .long -> Signed .long -> gen
val ffnbirred : gen -> Signed .long -> gen
val ffnbirred0 : gen -> Signed .long -> Signed .long -> gen
val ffsumnbirred : gen -> Signed .long -> gen
val get_fq_field :
unit Ctypes_static .ptr Ctypes_static .ptr ->
gen ->
gen ->
bb_field Ctypes .structure Ctypes_static .ptr
val init_fq : gen -> Signed .long -> Signed .long -> gen
val pol_x_powers : Signed .long -> Signed .long -> gen
val residual_characteristic : gen -> gen
val polclass : gen -> Signed .long -> Signed .long -> gen
val fp_modinv_to_j : gen -> Signed .long -> gen -> gen
val fp_polmodular_evalx :
Signed .long ->
Signed .long ->
gen ->
gen ->
Signed .long ->
int ->
gen
val check_modinv : Signed .long -> unit
val disc_best_modinv : Signed .long -> Signed .long
val modinv_height_factor : Signed .long -> Signed .long
val modinv_good_disc : Signed .long -> Signed .long -> int
val modinv_good_prime : Signed .long -> Signed .long -> int
val modinv_is_weber : Signed .long -> int
val modinv_is_double_eta : Signed .long -> int
val polmodular :
Signed .long ->
Signed .long ->
gen ->
Signed .long ->
Signed .long ->
gen
val polmodular_zm : Signed .long -> Signed .long -> gen
val polmodular_zxx :
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val bpsw_isprime : gen -> Signed .long
val bpsw_psp : gen -> Signed .long
val check_ecppcert : gen -> Signed .long
val gisprime : gen -> Signed .long -> gen
val gispseudoprime : gen -> Signed .long -> gen
val gprimepi_upper_bound : gen -> gen
val gprimepi_lower_bound : gen -> gen
val isprime : gen -> Signed .long
val ispseudoprime : gen -> Signed .long -> Signed .long
val millerrabin : gen -> Signed .long -> Signed .long
val prime : Signed .long -> gen
val primecert : gen -> Signed .long -> gen
val primecert0 : gen -> Signed .long -> Signed .long -> gen
val primecertexport : gen -> Signed .long -> gen
val primecertisvalid : gen -> Signed .long
val primepi_upper_bound : float -> float
val primepi_lower_bound : float -> float
val primes : Signed .long -> gen
val primes_zv : Signed .long -> gen
val qfautoexport : gen -> Signed .long -> gen
val qfparam : gen -> gen -> Signed .long -> gen
val z_isfundamental : gen -> Signed .long
val isfundamental : gen -> Signed .long
val qfb_equal1 : gen -> int
val qfbclassno0 : gen -> Signed .long -> gen
val qfi_shanks : gen -> gen -> Signed .long -> gen
val quadclassnof : gen -> gen Ctypes_static .ptr -> gen
val quadregulator : gen -> Signed .long -> gen
val quadunit0 : gen -> Signed .long -> gen
val quadunitnorm : gen -> Signed .long
val sisfundamental : Signed .long -> Signed .long
val uhclassnof_fact : gen -> Signed .long -> Signed .long
val getrand : unit -> gen
val randomr : Signed .long -> gen
val random_f2x : Signed .long -> Signed .long -> gen
val random_bits : Signed .long -> Signed .long
val random_zv : Signed .long -> gen
val setrand : gen -> unit
val ellratpoints : gen -> gen -> Signed .long -> gen
val hyperellratpoints : gen -> gen -> Signed .long -> gen
val qx_complex_roots : gen -> Signed .long -> gen
val cleanroots : gen -> Signed .long -> gen
val fujiwara_bound : gen -> float
val fujiwara_bound_real : gen -> Signed .long -> float
val isrealappr : gen -> Signed .long -> int
val polmod_to_embed : gen -> Signed .long -> gen
val roots : gen -> Signed .long -> gen
val realroots : gen -> gen -> Signed .long -> gen
val zx_realroots_irred : gen -> Signed .long -> gen
val zx_sturm : gen -> Signed .long
val zx_sturm_irred : gen -> Signed .long
val zx_sturmpart : gen -> gen -> Signed .long
val zx_uspensky : gen -> gen -> Signed .long -> Signed .long -> gen
val factor_aurifeuille : gen -> Signed .long -> gen
val factor_aurifeuille_prime : gen -> Signed .long -> gen
val galoissubcyclo : gen -> gen -> Signed .long -> Signed .long -> gen
val polsubcyclo : Signed .long -> Signed .long -> Signed .long -> gen
val polsubcyclofast : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val znsubgroupgenerators : gen -> Signed .long -> gen
val nfsubfields : gen -> Signed .long -> gen
val nfsubfields0 : gen -> Signed .long -> Signed .long -> gen
val nfsubfieldscm : gen -> Signed .long -> gen
val nfsubfieldsmax : gen -> Signed .long -> gen
val nfresolvent : gen -> Signed .long -> gen
val forsubgroup :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen ->
gen ->
unit
val bnrl1 : gen -> gen -> Signed .long -> Signed .long -> gen
val bnrrootnumber : gen -> gen -> Signed .long -> Signed .long -> gen
val bnrstark : gen -> gen -> Signed .long -> gen
val quadhilbert : gen -> Signed .long -> gen
val quadray : gen -> gen -> Signed .long -> gen
val chartogenstr : char -> gen
val pari_strdup : string -> string
val pari_strndup : string -> Signed .long -> string
val stack_strcat : string -> string -> string
val stack_strdup : string -> string
val strntogenstr : string -> Signed .long -> gen
val strtogenstr : string -> gen
val type_name : Signed .long -> string
val asympnum :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val asympnumraw :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
Signed .long ->
gen ->
Signed .long ->
gen
val derivnum :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val derivnumk :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val derivfun :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val derivfunk :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val forvec_init :
forvec_t Ctypes .structure Ctypes_static .ptr ->
gen ->
Signed .long ->
int
val forvec_next : forvec_t Ctypes .structure Ctypes_static .ptr -> gen
val laurentseries :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val limitnum :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val polzag : Signed .long -> Signed .long -> gen
val prodeuler :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val prodinf :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val prodinf1 :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val solvestep :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
gen ->
Signed .long ->
Signed .long ->
gen
val sumalt :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val sumalt2 :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val sumpos :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val sumpos2 :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val suminf :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val suminf_bitprec :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val sumdivmultexpr :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen
val zbrent :
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> gen ) Ctypes_static .static_funptr ->
gen ->
gen ->
Signed .long ->
gen
val thueinit : gen -> Signed .long -> Signed .long -> gen
val pi2n : Signed .long -> Signed .long -> gen
val pii2 : Signed .long -> gen
val pii2n : Signed .long -> Signed .long -> gen
val qp_exp_prec : gen -> Signed .long
val zp_teichmuller : gen -> gen -> Signed .long -> gen -> gen
val constcatalan : Signed .long -> gen
val consteuler : Signed .long -> gen
val constlog2 : Signed .long -> gen
val constpi : Signed .long -> gen
val cxexpm1 : gen -> Signed .long -> gen
val elle : gen -> Signed .long -> gen
val ellk : gen -> Signed .long -> gen
val gcos : gen -> Signed .long -> gen
val gcotan : gen -> Signed .long -> gen
val gcotanh : gen -> Signed .long -> gen
val gexp : gen -> Signed .long -> gen
val gexpm1 : gen -> Signed .long -> gen
val glog : gen -> Signed .long -> gen
val glog1p : gen -> Signed .long -> gen
val gpowers : gen -> Signed .long -> gen
val gpowers0 : gen -> Signed .long -> gen -> gen
val gpowgs : gen -> Signed .long -> gen
val grootsof1 : Signed .long -> Signed .long -> gen
val gsin : gen -> Signed .long -> gen
val gsinc : gen -> Signed .long -> gen
val gsincos :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
Signed .long ->
unit
val gsqrpowers : gen -> Signed .long -> gen
val gsqrt : gen -> Signed .long -> gen
val gsqrtn : gen -> gen -> gen Ctypes_static .ptr -> Signed .long -> gen
val gtan : gen -> Signed .long -> gen
val mpeuler : Signed .long -> gen
val mpcatalan : Signed .long -> gen
val mpsincosm1 : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> unit
val mplog2 : Signed .long -> gen
val mppi : Signed .long -> gen
val mpsincos : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> unit
val pow2pis : gen -> Signed .long -> gen
val powpis : gen -> Signed .long -> gen
val powcx_prec : Signed .long -> gen -> Signed .long -> Signed .long
val powersr : gen -> Signed .long -> gen
val powrfrac : gen -> Signed .long -> Signed .long -> gen
val powrs : gen -> Signed .long -> gen
val powrshalf : gen -> Signed .long -> gen
val rootsof1_cx : gen -> Signed .long -> gen
val rootsof1q_cx : Signed .long -> Signed .long -> Signed .long -> gen
val rootsof1powinit : Signed .long -> Signed .long -> Signed .long -> gen
val rootsof1pow : gen -> Signed .long -> gen
val serchop : gen -> Signed .long -> gen
val serchop_i : gen -> Signed .long -> gen
val sqrtnint : gen -> Signed .long -> gen
val sqrtnr_abs : gen -> Signed .long -> gen
val teichmullerinit : Signed .long -> Signed .long -> gen
val trans_eval :
string ->
(gen -> Signed .long -> gen ) Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val trans_evalgen :
string ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr ->
gen ->
Signed .long ->
gen )
Ctypes_static .static_funptr ->
gen ->
Signed .long ->
gen
val gacosh : gen -> Signed .long -> gen
val gacos : gen -> Signed .long -> gen
val garg : gen -> Signed .long -> gen
val gasinh : gen -> Signed .long -> gen
val gasin : gen -> Signed .long -> gen
val gatan : gen -> Signed .long -> gen
val gatanh : gen -> Signed .long -> gen
val gcosh : gen -> Signed .long -> gen
val ggammah : gen -> Signed .long -> gen
val ggamma : gen -> Signed .long -> gen
val ggamma1m1 : gen -> Signed .long -> gen
val glngamma : gen -> Signed .long -> gen
val gpsi : gen -> Signed .long -> gen
val gsinh : gen -> Signed .long -> gen
val gtanh : gen -> Signed .long -> gen
val mpfactr : Signed .long -> Signed .long -> gen
val mpsinhcosh : gen -> gen Ctypes_static .ptr -> gen Ctypes_static .ptr -> unit
val psi1series : Signed .long -> Signed .long -> Signed .long -> gen
val rgv_is_arithprog :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
int
val besseljzero : gen -> Signed .long -> Signed .long -> gen
val besselyzero : gen -> Signed .long -> Signed .long -> gen
val constzeta : Signed .long -> Signed .long -> gen
val cxek : gen -> Signed .long -> Signed .long -> gen
val dblmodulus : gen -> float
val dilog : gen -> Signed .long -> gen
val eint1 : gen -> Signed .long -> gen
val expipir : gen -> Signed .long -> gen
val expipic : gen -> Signed .long -> gen
val expixy : gen -> gen -> Signed .long -> gen
val eta : gen -> Signed .long -> gen
val eta0 : gen -> Signed .long -> Signed .long -> gen
val gerfc : gen -> Signed .long -> gen
val gpolylog : Signed .long -> gen -> Signed .long -> gen
val gzeta : gen -> Signed .long -> gen
val hbessel1 : gen -> gen -> Signed .long -> gen
val hbessel2 : gen -> gen -> Signed .long -> gen
val ibessel : gen -> gen -> Signed .long -> gen
val incgam : gen -> gen -> Signed .long -> gen
val incgamc : gen -> gen -> Signed .long -> gen
val jbessel : gen -> gen -> Signed .long -> gen
val jbesselh : gen -> gen -> Signed .long -> gen
val jell : gen -> Signed .long -> gen
val kbessel : gen -> gen -> Signed .long -> gen
val mpveceint1 : gen -> gen -> Signed .long -> gen
val polylog0 : Signed .long -> gen -> Signed .long -> Signed .long -> gen
val szeta : Signed .long -> Signed .long -> gen
val thetanullk : gen -> Signed .long -> Signed .long -> gen
val trueeta : gen -> Signed .long -> gen
val u_sumdedekind_coprime : Signed .long -> Signed .long -> gen
val upper_to_cx : gen -> Signed .long Ctypes_static .ptr -> gen
val veceint1 : gen -> gen -> Signed .long -> gen
val vecthetanullk : gen -> Signed .long -> Signed .long -> gen
val vecthetanullk_tau : gen -> Signed .long -> Signed .long -> gen
val veczeta : gen -> gen -> Signed .long -> Signed .long -> gen
val weber0 : gen -> Signed .long -> Signed .long -> gen
val weberf : gen -> Signed .long -> gen
val weberf1 : gen -> Signed .long -> gen
val weberf2 : gen -> Signed .long -> gen
val ybessel : gen -> gen -> Signed .long -> gen
val sl2_inv_shallow : gen -> gen
val qevproj_apply_vecei : gen -> gen -> Signed .long -> gen
val rgx_act_gl2q : gen -> Signed .long -> gen
val rgx_act_zgl2q : gen -> Signed .long -> gen
val checkms : gen -> unit
val checkmspadic : gen -> unit
val ellpadiclambdamu : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val mfnumcusps_fact : gen -> gen
val msfromell : gen -> Signed .long -> gen
val msdim : gen -> Signed .long
val msgetlevel : gen -> Signed .long
val msgetsign : gen -> Signed .long
val msgetweight : gen -> Signed .long
val msatkinlehner : gen -> Signed .long -> gen -> gen
val mscuspidal : gen -> Signed .long -> gen
val mshecke : gen -> Signed .long -> gen -> gen
val msinit : gen -> gen -> Signed .long -> gen
val mspadic_parse_chi :
gen ->
gen Ctypes_static .ptr ->
gen Ctypes_static .ptr ->
unit
val mspadic_unit_eigenvalue : gen -> Signed .long -> gen -> Signed .long -> gen
val mspadicinit : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val mspadicl : gen -> gen -> Signed .long -> gen
val mspadicmoments : gen -> gen -> Signed .long -> gen
val mspadicseries : gen -> Signed .long -> gen
val mspolygon : gen -> Signed .long -> gen
val mssplit : gen -> gen -> Signed .long -> gen
val mscosets :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen
val msfarey :
gen ->
unit Ctypes_static .ptr ->
(unit Ctypes_static .ptr -> gen -> Signed .long) Ctypes_static .static_funptr ->
gen Ctypes_static .ptr ->
gen
val checkfarey_i : gen -> int
val polylogmult : gen -> gen -> Signed .long -> gen
val polylogmult_interpolate : gen -> gen -> gen -> Signed .long -> gen
val zetamult : gen -> Signed .long -> gen
val zetamult_interpolate : gen -> gen -> Signed .long -> gen
val zetamultall : Signed .long -> Signed .long -> Signed .long -> gen
val zetamultconvert : gen -> Signed .long -> gen
val absrnz_equal1 : gen -> int
val absrnz_equal2n : gen -> int
val addis : gen -> Signed .long -> gen
val addrs : gen -> Signed .long -> gen
val addsi : Signed .long -> gen -> gen
val addsiz : Signed .long -> gen -> gen -> unit
val addsrz : Signed .long -> gen -> gen -> unit
val addss : Signed .long -> Signed .long -> gen
val addssz : Signed .long -> Signed .long -> gen -> unit
val affii : gen -> gen -> unit
val affiz : gen -> gen -> unit
val affrr_fixlg : gen -> gen -> unit
val affsi : Signed .long -> gen -> unit
val affsr : Signed .long -> gen -> unit
val affsz : Signed .long -> gen -> unit
val cgetg : Signed .long -> Signed .long -> gen
val cgetg_block : Signed .long -> Signed .long -> gen
val cgetg_copy : gen -> Signed .long Ctypes_static .ptr -> gen
val cgeti : Signed .long -> gen
val cgetineg : Signed .long -> gen
val cgetipos : Signed .long -> gen
val cgetr : Signed .long -> gen
val cgetr_block : Signed .long -> gen
val cmpis : gen -> Signed .long -> int
val cmprs : gen -> Signed .long -> int
val cmpsi : Signed .long -> gen -> int
val cmpsr : Signed .long -> gen -> int
val cmpss : Signed .long -> Signed .long -> int
val divisz : gen -> Signed .long -> gen -> unit
val divrsz : gen -> Signed .long -> gen -> unit
val divsi_rem : Signed .long -> gen -> Signed .long Ctypes_static .ptr -> gen
val divsiz : Signed .long -> gen -> gen -> unit
val divsrz : Signed .long -> gen -> gen -> unit
val divss : Signed .long -> Signed .long -> gen
val divss_rem :
Signed .long ->
Signed .long ->
Signed .long Ctypes_static .ptr ->
gen
val divssz : Signed .long -> Signed .long -> gen -> unit
val dvdis : gen -> Signed .long -> int
val dvdisz : gen -> Signed .long -> gen -> int
val dvdsi : Signed .long -> gen -> int
val dvmdis : gen -> Signed .long -> gen Ctypes_static .ptr -> gen
val dvmdisz : gen -> Signed .long -> gen -> gen -> unit
val dvmdsbil : Signed .long -> Signed .long Ctypes_static .ptr -> Signed .long
val dvmdsi : Signed .long -> gen -> gen Ctypes_static .ptr -> gen
val dvmdsiz : Signed .long -> gen -> gen -> gen -> unit
val dvmdss : Signed .long -> Signed .long -> gen Ctypes_static .ptr -> gen
val dvmdssz : Signed .long -> Signed .long -> gen -> gen -> unit
val equalis : gen -> Signed .long -> int
val equalsi : Signed .long -> gen -> int
val evalexpo : Signed .long -> Signed .long
val evallg : Signed .long -> Signed .long
val evalprecp : Signed .long -> Signed .long
val evalvalp : Signed .long -> Signed .long
val evalvalser : Signed .long -> Signed .long
val expi : gen -> Signed .long
val fixlg : gen -> Signed .long -> unit
val fractor : gen -> Signed .long -> gen
val gc_long : pari_ulong -> Signed .long -> Signed .long
val icopyspec : gen -> Signed .long -> gen
val itor : gen -> Signed .long -> gen
val itos : gen -> Signed .long
val itos_or_0 : gen -> Signed .long
val maxdd : float -> float -> float
val maxss : Signed .long -> Signed .long -> Signed .long
val mindd : float -> float -> float
val minss : Signed .long -> Signed .long -> Signed .long
val mod16 : gen -> Signed .long
val mod2 : gen -> Signed .long
val mod32 : gen -> Signed .long
val mod4 : gen -> Signed .long
val mod64 : gen -> Signed .long
val mod8 : gen -> Signed .long
val modis : gen -> Signed .long -> gen
val modisz : gen -> Signed .long -> gen -> unit
val modsi : Signed .long -> gen -> gen
val modsiz : Signed .long -> gen -> gen -> unit
val modss : Signed .long -> Signed .long -> gen
val modssz : Signed .long -> Signed .long -> gen -> unit
val mpabs_shallow : gen -> gen
val mpaff : gen -> gen -> unit
val mpexpo : gen -> Signed .long
val mpshift : gen -> Signed .long -> gen
val mulis : gen -> Signed .long -> gen
val mulrs : gen -> Signed .long -> gen
val mulsiz : Signed .long -> gen -> gen -> unit
val mulsrz : Signed .long -> gen -> gen -> unit
val mulssz : Signed .long -> Signed .long -> gen -> unit
val new_chunk : int -> gen
val rdivii : gen -> gen -> Signed .long -> gen
val rdivis : gen -> Signed .long -> Signed .long -> gen
val rdivsi : Signed .long -> gen -> Signed .long -> gen
val rdivss : Signed .long -> Signed .long -> Signed .long -> gen
val real2n : Signed .long -> Signed .long -> gen
val real_m2n : Signed .long -> Signed .long -> gen
val real_0 : Signed .long -> gen
val real_0_bit : Signed .long -> gen
val real_1 : Signed .long -> gen
val real_1_bit : Signed .long -> gen
val real_m1 : Signed .long -> gen
val remis : gen -> Signed .long -> gen
val remisz : gen -> Signed .long -> gen -> unit
val remsi : Signed .long -> gen -> gen
val remsiz : Signed .long -> gen -> gen -> unit
val remss : Signed .long -> Signed .long -> gen
val remssz : Signed .long -> Signed .long -> gen -> unit
val rtor : gen -> Signed .long -> gen
val sdivsi : Signed .long -> gen -> Signed .long
val sdivsi_rem :
Signed .long ->
gen ->
Signed .long Ctypes_static .ptr ->
Signed .long
val sdivss_rem :
Signed .long ->
Signed .long ->
Signed .long Ctypes_static .ptr ->
Signed .long
val setabssign : gen -> unit
val shiftr : gen -> Signed .long -> gen
val shiftr_inplace : gen -> Signed .long -> unit
val smodis : gen -> Signed .long -> Signed .long
val smodss : Signed .long -> Signed .long -> Signed .long
val stack_malloc : int -> string
val stack_malloc_align : int -> Signed .long -> string
val stack_calloc : int -> string
val stack_calloc_align : int -> Signed .long -> string
val stoi : Signed .long -> gen
val stor : Signed .long -> Signed .long -> gen
val subis : gen -> Signed .long -> gen
val subisz : gen -> Signed .long -> gen -> unit
val subrs : gen -> Signed .long -> gen
val subrsz : gen -> Signed .long -> gen -> unit
val subsi : Signed .long -> gen -> gen
val subsiz : Signed .long -> gen -> gen -> unit
val subsrz : Signed .long -> gen -> gen -> unit
val subss : Signed .long -> Signed .long -> gen
val subssz : Signed .long -> Signed .long -> gen -> unit
val togglesign : gen -> unit
val togglesign_safe : gen Ctypes_static .ptr -> unit
val affectsign : gen -> gen -> unit
val affectsign_safe : gen -> gen Ctypes_static .ptr -> unit
val truedivis : gen -> Signed .long -> gen
val truedivsi : Signed .long -> gen -> gen
val vali : gen -> Signed .long
val varncmp : Signed .long -> Signed .long -> int
val varnmax : Signed .long -> Signed .long -> Signed .long
val varnmin : Signed .long -> Signed .long -> Signed .long
val pari_err_component : string -> string -> gen -> gen -> unit
val pari_err_dim : string -> unit
val pari_err_domain : string -> string -> string -> gen -> gen -> unit
val pari_err_file : string -> string -> unit
val pari_err_filedesc : string -> Signed .long -> unit
val pari_err_flag : string -> unit
val pari_err_impl : string -> unit
val pari_err_inv : string -> gen -> unit
val pari_err_irredpol : string -> gen -> unit
val pari_err_modulus : string -> gen -> gen -> unit
val pari_err_op : string -> gen -> gen -> unit
val pari_err_overflow : string -> unit
val pari_err_package : string -> unit
val pari_err_prec : string -> unit
val pari_err_prime : string -> gen -> unit
val pari_err_priority : string -> gen -> string -> Signed .long -> unit
val pari_err_sqrtn : string -> gen -> unit
val pari_err_type : string -> gen -> unit
val pari_err_type2 : string -> gen -> gen -> unit
val pari_err_var : string -> gen -> gen -> unit
val pari_err_roots0 : string -> unit
val mkfracss : Signed .long -> Signed .long -> gen
val qtoss :
gen ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
unit
val sstoq : Signed .long -> Signed .long -> gen
val cgetc : Signed .long -> gen
val mkvecsmall : Signed .long -> gen
val mkvecsmall2 : Signed .long -> Signed .long -> gen
val mkvecsmall3 : Signed .long -> Signed .long -> Signed .long -> gen
val mkvecsmall4 :
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val mkvecsmall5 :
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val mkvecs : Signed .long -> gen
val mkvec2s : Signed .long -> Signed .long -> gen
val mkvec3s : Signed .long -> Signed .long -> Signed .long -> gen
val mkvec4s : Signed .long -> Signed .long -> Signed .long -> Signed .long -> gen
val mkcols : Signed .long -> gen
val mkcol2s : Signed .long -> Signed .long -> gen
val mkcol3s : Signed .long -> Signed .long -> Signed .long -> gen
val mkcol4s : Signed .long -> Signed .long -> Signed .long -> Signed .long -> gen
val mkerr : Signed .long -> gen
val inf_get_sign : gen -> Signed .long
val mkmat22s : Signed .long -> Signed .long -> Signed .long -> Signed .long -> gen
val pol_x : Signed .long -> gen
val pol_xn : Signed .long -> Signed .long -> gen
val pol_xnall : Signed .long -> Signed .long -> gen
val polxn_flx : Signed .long -> Signed .long -> gen
val pol_1 : Signed .long -> gen
val pol_0 : Signed .long -> gen
val const_vec : Signed .long -> gen -> gen
val const_col : Signed .long -> gen -> gen
val const_vecsmall : Signed .long -> Signed .long -> gen
val zeropadic : gen -> Signed .long -> gen
val zeropadic_shallow : gen -> Signed .long -> gen
val zeroser : Signed .long -> Signed .long -> gen
val ser_isexactzero : gen -> int
val zeropol : Signed .long -> gen
val zerocol : Signed .long -> gen
val zerovec : Signed .long -> gen
val zeromat : Signed .long -> Signed .long -> gen
val zero_flx : Signed .long -> gen
val zero_flv : Signed .long -> gen
val zero_flm : Signed .long -> Signed .long -> gen
val zero_flm_copy : Signed .long -> Signed .long -> gen
val zero_f2v : Signed .long -> gen
val zero_f2m : Signed .long -> Signed .long -> gen
val zero_f2m_copy : Signed .long -> Signed .long -> gen
val zeromatcopy : Signed .long -> Signed .long -> gen
val zerovec_block : Signed .long -> gen
val col_ei : Signed .long -> Signed .long -> gen
val vec_ei : Signed .long -> Signed .long -> gen
val f2v_ei : Signed .long -> Signed .long -> gen
val vecsmall_ei : Signed .long -> Signed .long -> gen
val rg_col_ei : gen -> Signed .long -> Signed .long -> gen
val vectrunc_init : Signed .long -> gen
val coltrunc_init : Signed .long -> gen
val lg_increase : gen -> unit
val vectrunc_append : gen -> gen -> unit
val vectrunc_append_batch : gen -> gen -> unit
val vecsmalltrunc_init : Signed .long -> gen
val vecsmalltrunc_append : gen -> Signed .long -> unit
val hash_str_len : string -> Signed .long -> pari_ulong
val vec_shorten : gen -> Signed .long -> gen
val vec_lengthen : gen -> Signed .long -> gen
val vecsmall_shorten : gen -> Signed .long -> gen
val vecsmall_lengthen : gen -> Signed .long -> gen
val vec_to_vecsmall : gen -> gen
val vecsmall_to_vec : gen -> gen
val vecsmall_to_vec_inplace : gen -> gen
val vecsmall_to_col : gen -> gen
val vecsmall_lexcmp : gen -> gen -> int
val vecsmall_prefixcmp : gen -> gen -> int
val vecsmall_prepend : gen -> Signed .long -> gen
val vecsmall_append : gen -> Signed .long -> gen
val vecsmall_coincidence : gen -> gen -> Signed .long
val vecsmall_isin : gen -> Signed .long -> Signed .long
val vecsmall_pack : gen -> Signed .long -> Signed .long -> Signed .long
val vecsmall_indexmax : gen -> Signed .long
val vecsmall_max : gen -> Signed .long
val vecsmall_indexmin : gen -> Signed .long
val vecsmall_min : gen -> Signed .long
val zv_isscalar : gen -> int
val qv_isscalar : gen -> int
val rgv_isscalar : gen -> int
val rgx_isscalar : gen -> int
val rgx_equal_var : gen -> gen -> Signed .long
val rgx_to_rgv : gen -> Signed .long -> gen
val rgx_is_rational : gen -> int
val rgx_is_zx : gen -> int
val rgx_is_qx : gen -> int
val rgx_is_monomial : gen -> int
val rgv_is_zv : gen -> int
val rgv_is_qv : gen -> int
val rgv_isin_i : gen -> gen -> Signed .long -> Signed .long
val rgv_isin : gen -> gen -> Signed .long
val vecslice : gen -> Signed .long -> Signed .long -> gen
val vecslicepermute : gen -> gen -> Signed .long -> Signed .long -> gen
val rowslicepermute : gen -> gen -> Signed .long -> Signed .long -> gen
val rowslice : gen -> Signed .long -> Signed .long -> gen
val matslice :
gen ->
Signed .long ->
Signed .long ->
Signed .long ->
Signed .long ->
gen
val rowsplice : gen -> Signed .long -> gen
val vecsplice : gen -> Signed .long -> gen
val rgm_minor : gen -> Signed .long -> Signed .long -> gen
val row : gen -> Signed .long -> gen
val flm_row : gen -> Signed .long -> gen
val rowcopy : gen -> Signed .long -> gen
val row_i : gen -> Signed .long -> Signed .long -> Signed .long -> gen
val vecsmall_reverse : gen -> gen
val vecreverse_inplace : gen -> unit
val identity_zv : Signed .long -> gen
val identity_perm : Signed .long -> gen
val cyclic_perm : Signed .long -> Signed .long -> gen
val pari_free : unit Ctypes_static .ptr -> unit
val pari_malloc : int -> unit Ctypes_static .ptr
val pari_realloc : unit Ctypes_static .ptr -> int -> unit Ctypes_static .ptr
val pari_realloc_ip : unit Ctypes_static .ptr Ctypes_static .ptr -> int -> unit
val pari_calloc : int -> unit Ctypes_static .ptr
val cgetalloc : int -> Signed .long -> gen
val gunclonenull : gen -> unit
val gunclonenull_deep : gen -> unit
val gerepilemany :
pari_ulong ->
gen Ctypes_static .ptr Ctypes_static .ptr ->
int ->
unit
val bin_copy : genbin Ctypes .structure Ctypes_static .ptr -> gen
val genbinbase : genbin Ctypes .structure Ctypes_static .ptr -> gen
val killblock : gen -> unit
val is_universal_constant : gen -> int
val cxcompotor : gen -> Signed .long -> gen
val cxtofp : gen -> Signed .long -> gen
val gtodouble : gen -> float
val gisdouble : gen -> float Ctypes_static .ptr -> int
val gtos : gen -> Signed .long
val absfrac_shallow : gen -> gen
val q_abs_shallow : gen -> gen
val r_abs_shallow : gen -> gen
val gtofp : gen -> Signed .long -> gen
val gtomp : gen -> Signed .long -> gen
val rgx_gtofp : gen -> Signed .long -> gen
val rgc_gtofp : gen -> Signed .long -> gen
val rgv_gtofp : gen -> Signed .long -> gen
val rgm_gtofp : gen -> Signed .long -> gen
val rgc_gtomp : gen -> Signed .long -> gen
val rgm_gtomp : gen -> Signed .long -> gen
val rgx_fpnorml2 : gen -> Signed .long -> gen
val rgc_fpnorml2 : gen -> Signed .long -> gen
val rgm_fpnorml2 : gen -> Signed .long -> gen
val affgr : gen -> gen -> unit
val ndec2nlong : Signed .long -> Signed .long
val ndec2prec : Signed .long -> Signed .long
val ndec2nbits : Signed .long -> Signed .long
val nbits2nlong : Signed .long -> Signed .long
val nbits2prec : Signed .long -> Signed .long
val nbits2lg : Signed .long -> Signed .long
val nchar2nlong : Signed .long -> Signed .long
val prec2nbits : Signed .long -> Signed .long
val bit_accuracy_mul : Signed .long -> float -> float
val prec2nbits_mul : Signed .long -> float -> float
val bit_prec : gen -> Signed .long
val bit_accuracy : Signed .long -> Signed .long
val prec2ndec : Signed .long -> Signed .long
val nbits2ndec : Signed .long -> Signed .long
val precdbl : Signed .long -> Signed .long
val divsbil : Signed .long -> Signed .long
val remsbil : Signed .long -> Signed .long
val fp_muls : gen -> Signed .long -> gen -> gen
val get_f2x_var : gen -> Signed .long
val get_f2x_degree : gen -> Signed .long
val get_f2xqx_mod : gen -> gen
val get_f2xqx_var : gen -> Signed .long
val get_f2xqx_degree : gen -> Signed .long
val get_flx_var : gen -> Signed .long
val get_flx_degree : gen -> Signed .long
val get_flxqx_mod : gen -> gen
val get_flxqx_var : gen -> Signed .long
val get_flxqx_degree : gen -> Signed .long
val get_fpx_var : gen -> Signed .long
val get_fpx_degree : gen -> Signed .long
val get_fpxqx_mod : gen -> gen
val get_fpxqx_var : gen -> Signed .long
val get_fpxqx_degree : gen -> Signed .long
val is_const_t : Signed .long -> int
val is_extscalar_t : Signed .long -> int
val is_intreal_t : Signed .long -> int
val is_matvec_t : Signed .long -> int
val is_noncalc_t : Signed .long -> int
val is_qfb_t : Signed .long -> int
val is_rational_t : Signed .long -> int
val is_real_t : Signed .long -> int
val is_recursive_t : Signed .long -> int
val is_scalar_t : Signed .long -> int
val is_vec_t : Signed .long -> int
val qfb_is_qfi : gen -> int
val sqrtnr : gen -> Signed .long -> gen
val logint : gen -> gen -> Signed .long
val ismpzero : gen -> int
val isintzero : gen -> int
val equalim1 : gen -> int
val is_bigint : gen -> int
val odd : Signed .long -> int
val both_odd : Signed .long -> Signed .long -> int
val isonstack : gen -> int
val dbllog2r : gen -> float
val constant_coeff : gen -> gen
val leading_coeff : gen -> gen
val degpol : gen -> Signed .long
val lgpol : gen -> Signed .long
val lgcols : gen -> Signed .long
val nbrows : gen -> Signed .long
val truecoef : gen -> Signed .long -> gen
val rgx_coeff : gen -> Signed .long -> gen
val rgx_renormalize : gen -> gen
val pol0_flx : Signed .long -> gen
val pol1_flx : Signed .long -> gen
val polx_flx : Signed .long -> gen
val zero_zx : Signed .long -> gen
val polx_zx : Signed .long -> gen
val zx_shift : gen -> Signed .long -> gen
val zero_f2x : Signed .long -> gen
val pol0_f2x : Signed .long -> gen
val pol1_f2x : Signed .long -> gen
val polx_f2x : Signed .long -> gen
val f2x_equal1 : gen -> int
val f2x_equal : gen -> gen -> int
val vecsmall_copy : gen -> gen
val flx_equal1 : gen -> int
val zx_equal1 : gen -> int
val zx_is_monic : gen -> int
val zx_renormalize : gen -> Signed .long -> gen
val fpx_renormalize : gen -> Signed .long -> gen
val fpxx_renormalize : gen -> Signed .long -> gen
val fpxqx_renormalize : gen -> Signed .long -> gen
val f2x_renormalize : gen -> Signed .long -> gen
val f2xx_shift : gen -> Signed .long -> Signed .long -> gen
val f2v_to_f2x : gen -> Signed .long -> gen
val sturm : gen -> Signed .long
val gval : gen -> Signed .long -> Signed .long
val rgx_shift_inplace_init : Signed .long -> unit
val rgx_shift_inplace : gen -> Signed .long -> gen
val zx_to_zv : gen -> Signed .long -> gen
val zv_to_zx : gen -> Signed .long -> gen
val zm_to_zxv : gen -> Signed .long -> gen
val zero_zm : Signed .long -> Signed .long -> gen
val zero_zv : Signed .long -> gen
val zm_row : gen -> Signed .long -> gen
val zm_lll : gen -> float -> Signed .long -> gen
val rgm_dimensions :
gen ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
unit
val rgm_shallowcopy : gen -> gen
val zv_dvd : gen -> gen -> int
val f2x_clear : gen -> Signed .long -> unit
val f2x_set : gen -> Signed .long -> unit
val f2x_flip : gen -> Signed .long -> unit
val f2v_clear : gen -> Signed .long -> unit
val f2v_set : gen -> Signed .long -> unit
val f2v_flip : gen -> Signed .long -> unit
val f2m_clear : gen -> Signed .long -> Signed .long -> unit
val f2m_set : gen -> Signed .long -> Signed .long -> unit
val f2m_flip : gen -> Signed .long -> Signed .long -> unit
val f3m_set : gen -> Signed .long -> Signed .long -> pari_ulong -> unit
val matpascal : Signed .long -> gen
val z_issquare : gen -> Signed .long
val gaddgs : gen -> Signed .long -> gen
val gcmpgs : gen -> Signed .long -> int
val gequalgs : gen -> Signed .long -> int
val gmaxsg : Signed .long -> gen -> gen
val gminsg : Signed .long -> gen -> gen
val gmulgs : gen -> Signed .long -> gen
val gsubgs : gen -> Signed .long -> gen
val gdivsg : Signed .long -> gen -> gen
val normalize_frac : gen -> unit
val powis : Signed .long -> gen
val mpexpz : gen -> gen -> unit
val mplogz : gen -> gen -> unit
val mpcosz : gen -> gen -> unit
val mpsinz : gen -> gen -> unit
val gnegz : gen -> gen -> unit
val gabsz : gen -> Signed .long -> gen -> unit
val gmul2nz : gen -> Signed .long -> gen -> unit
val gshiftz : gen -> Signed .long -> gen -> unit
val ell_get_type : gen -> Signed .long
val ellff_get_field : gen -> gen
val ellff_get_a4a6 : gen -> gen
val ellqp_get_zero : gen -> gen
val ellqp_get_prec : gen -> Signed .long
val ellr_get_prec : gen -> Signed .long
val ellr_get_sign : gen -> Signed .long
val ellnf_get_bnf : gen -> gen
val checkell_i : gen -> int
val ell_is_inf : gen -> int
val pr_get_e : gen -> Signed .long
val pr_get_f : gen -> Signed .long
val pr_is_inert : gen -> int
val nf_get_varn : gen -> Signed .long
val nf_get_degree : gen -> Signed .long
val nf_get_r1 : gen -> Signed .long
val nf_get_r2 : gen -> Signed .long
val nf_get_roundg : gen -> gen
val nf_get_ramified_primes : gen -> gen
val nf_get_zkprimpart : gen -> gen
val nf_get_sign :
gen ->
Signed .long Ctypes_static .ptr ->
Signed .long Ctypes_static .ptr ->
unit
val abgrp_get_cyc : gen -> gen
val abgrp_get_gen : gen -> gen
val bnf_get_logfu : gen -> gen
val bnf_get_sunits : gen -> gen
val bnf_get_tun : gen -> Signed .long
val bnf_get_fu_nocheck : gen -> gen
val bnr_get_gen_nocheck : gen -> gen
val locs_get_lsprk : gen -> gen
val locs_get_lgenfil : gen -> gen
val locs_get_famod : gen -> gen
val locs_get_m_infty : gen -> gen
val gchar_get_basis : gen -> gen
val gchar_get_bnf : gen -> gen
val gchar_get_mod : gen -> gen
val gchar_get_modp : gen -> gen
val gchar_get_dldata : gen -> gen
val gchar_get_sfu : gen -> gen
val gchar_get_cyc : gen -> gen
val gchar_get_hnf : gen -> gen
val gchar_get_r1 : gen -> Signed .long
val gchar_get_r2 : gen -> Signed .long
val gchar_get_loccyc : gen -> gen
val gchar_get_nc : gen -> Signed .long
val gchar_get_ns : gen -> Signed .long
val gchar_get_nm : gen -> Signed .long
val gchar_get_evalprec : gen -> Signed .long
val gchar_get_prec : gen -> Signed .long
val gchar_get_nfprec : gen -> Signed .long
val gchar_set_evalprec : gen -> Signed .long -> unit
val gchar_set_prec : gen -> Signed .long -> unit
val gchar_copy_precs : gen -> gen -> unit
val gchar_set_nfprec : gen -> Signed .long -> unit
val gchar_get_ntors : gen -> Signed .long
val gchar_get_nfree : gen -> Signed .long
val gchar_get_nalg : gen -> Signed .long
val gchar_set_basis : gen -> gen -> unit
val gchar_set_nf : gen -> gen -> unit
val gchar_set_ntors : gen -> Signed .long -> unit
val gchar_set_nfree : gen -> Signed .long -> unit
val gchar_set_nalg : gen -> Signed .long -> unit
val gchar_set_cyc : gen -> gen -> unit
val gchar_set_m0 : gen -> gen -> unit
val gchar_set_u0 : gen -> gen -> unit
val bid_get_ideal : gen -> gen
val bid_get_fact2 : gen -> gen
val bid_get_sarch : gen -> gen
val bid_get_archp : gen -> gen
val bid_get_gen_nocheck : gen -> gen
val znstar_get_fan : gen -> gen
val znstar_get_no : gen -> gen
val znstar_get_cyc : gen -> gen
val znstar_get_gen : gen -> gen
val znstar_get_conreycyc : gen -> gen
val znstar_get_conreygen : gen -> gen
val znstar_get_ui : gen -> gen
val znstar_get_pe : gen -> gen
val gal_get_roots : gen -> gen
val gal_get_invvdm : gen -> gen
val gal_get_group : gen -> gen
val gal_get_orders : gen -> gen
val rnf_get_degree : gen -> Signed .long
val rnf_get_nfdegree : gen -> Signed .long
val rnf_get_absdegree : gen -> Signed .long
val rnf_get_idealdisc : gen -> gen
val rnf_get_alpha : gen -> gen
val rnf_get_polabs : gen -> gen
val rnf_get_index : gen -> gen
val rnf_get_ramified_primes : gen -> gen
val rnf_get_varn : gen -> Signed .long
val rnf_get_nfpol : gen -> gen
val rnf_get_nfvarn : gen -> Signed .long
val rnf_get_invzk : gen -> gen
val closure_arity : gen -> Signed .long
val closure_is_variadic : gen -> Signed .long
val closure_codestr : gen -> string
val closure_get_code : gen -> gen
val closure_get_oper : gen -> gen
val closure_get_data : gen -> gen
val closure_get_dbg : gen -> gen
val closure_get_text : gen -> gen
val closure_get_frame : gen -> gen
val err_get_num : gen -> Signed .long
val err_get_compo : gen -> Signed .long -> gen
val pari_err_bug : string -> unit
val pari_err_constpol : string -> unit
val pari_err_coprime : string -> gen -> gen -> unit