Code coverage tests

This page documents the degree to which the PARI/GP source code is tested by our public test suite, distributed with the source distribution in directory src/test/. This is measured by the gcov utility; we then process gcov output using the lcov frond-end.

We test a few variants depending on Configure flags on the pari.math.u-bordeaux.fr machine (x86_64 architecture), and agregate them in the final report:

The target is to exceed 90% coverage for all mathematical modules (given that branches depending on DEBUGLEVEL or DEBUGMEM are not covered). This script is run to produce the results below.

LCOV - code coverage report
Current view: top level - basemath - Flx.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.18.1 lcov report (development 30773-2078653b96) Lines: 2553 2925 87.3 %
Date: 2026-04-01 09:27:34 Functions: 304 363 83.7 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_Xp1_powu 0
Flv_prod 0
FlxC_Fl_translate 0
FlxC_FlxqV_eval 0
FlxC_FlxqV_eval_pre 0
FlxC_Flxq_eval 0
FlxC_Flxq_eval_pre 0
FlxC_neg 0
FlxC_sub 0
FlxM_Fl_translate 0
FlxM_Flx_add_shallow 0
FlxM_max_degree 0
FlxM_max_degree_i 0
FlxM_mul 0
FlxM_neg 0
FlxM_sub 0
FlxM_to_FlxXV 0
FlxV_Flx_fromdigits 0
FlxV_factorback 0
FlxV_max_degree_i 0
FlxV_prod 0
FlxV_red 0
Flx_Fl_translate 0
Flx_Flv_multieval 0
Flx_composedprod 0
Flx_convol 0
Flx_digits 0
Flx_halfgcd 0
Flx_integ 0
Flx_invBarrett 0
Flx_matFrobenius 0
Flx_powu 0
Flx_recip 0
Flx_unscale 0
Flxn_exp 0
Flxn_sqr 0
Flxn_sqr_pre 0
FlxqC_Flxq_mul 0
FlxqM_Flxq_mul 0
FlxqV_dotproduct 0
Flxq_autsum 0
Flxq_auttrace 0
Flxq_is2npower 0
Flxq_lroot 0
Flxq_lroot_fast 0
Flxq_pow_init 0
Flxq_pow_table 0
ZXV_to_FlxV 0
Z_mod2BIL_Flx_3 0
_Flx_add 0
_Flx_divrem 0
_Flx_one 0
_Flx_pow 0
_Flx_sqr 0
kron_pack_Flx_spec_3 0
kron_unpack_Flx_3 0
zero_FlxC 0
zero_FlxM 0
zero_FlxM_copy 0
Flxq_autpow 7
RgXV_to_FlxV 7
matJ2_FlxM 13
Flxq_conjvec 20
Flxq_pow_init_pre 28
Flx_extresultant 53
Flx_extresultant_basecase 53
Flx_extresultant_pre 53
_Flxq_powu 68
Flx_sqrspec_halfsqri 136
Flx_halfgcd_all 154
Flxq_matrix_pow 399
ZpX_invLaplace_init 497
matid2_FlxM 911
Flxn_inv 1037
Flx_halfres_pre 1044
Flx_rescale 1117
Flxq_autpowers 1667
FlxqX_dotproduct 1918
Flx_sqrspec_sqri 2070
FlxV_Flv_multieval 2471
FlxV_Flv_multieval_tree 2471
FlxM_to_ZXM 2485
Flm_to_FlxV 2772
kron_unpack_Flx_2 2930
kron_pack_Flx_spec_2 3389
Flxq_charpoly 3625
Flv_prod_pre 3719
_Flx_composedsum 3882
Flx_powu_pre 3884
Flxq_pow_table_pre 4393
Flxq_trace 4724
Flx_FlxqV_eval 5082
Flx_mulspec_halfmulii 5463
_Flxq_s 6567
_Flxq_rand 6586
Flx_FlxM_qmul 6927
FlxM_mul2 7099
gener_Flxq 7201
Flx_is_l_pow 8207
Flx_halfres_update_pre 9405
_Flxq_inv 9460
Flv_inv_pre 9646
Flx_mulspec_mulii 10143
Flx_sqrspec_quartsqri 10218
Flx_sqrspec_sqri_inflate 11814
Flv_inv_inplace 12017
zl_Xp1_powu 12017
int_to_Flx 12217
init_invlaplace 12514
Flx_halve 14026
Flx_halfres_split 19964
Flxq_autpow_msqr 20700
Flxq_sqrtn_spec_pre 21900
FlxM_eval_powers_pre 22302
Flxq_sqrtn 23092
Flx_invBarrett_Newton 23161
ZM_unpack_FlxM 23421
Flxq_lroot_pre 25053
zlx_translate1 25259
FlxM_Flx_mul2 26000
Flx_Laplace 27480
Flx_composedsum 27695
FlxV_composedsum 28978
Flx_mod_Xn1 31528
FlxV_Flc_mul 34482
Fl_Flxq_log 35557
Flxq_sqrtl_spec_pre 37666
Flxq_sumautsum_msqr 40869
kron_unpack_Flx 42785
Flxq_minpoly 45937
FlxM_pack_ZM 46835
Flxq_autpow_sqr 47256
Flv_inv_indir 52211
kron_pack_Flx_spec 53168
Flx_Newton 54385
Flx_invLaplace 54636
Flxn_div 56615
Flxn_div_pre 56642
ZM_unpack_FlxM_bits 58170
Fl2_sqrt_pre 65848
get_Flxq_field 68902
set_Flxq 68922
_Flxq_equal0 69139
Flxq_autpow_pre 69421
Flx_to_FlxX 71405
Flx_is_smooth 74256
Flxn_mul 75990
Fl2_sqrtn_pre 76092
FlxM_mul_Kronecker_i 81591
FlxqM_mul_Kronecker 81591
FlxqM_red_pre 81591
Flx_matFrobenius_pre 86554
Flx_Frobenius 86619
Flx_mulspec_quartmulii 97167
Flxq_order 97322
Flxq_autsum_pre 98578
FlxC_to_ZXC 104060
Flv_Flm_polint 104558
Flxq_autsum_sqr 104899
int_to_Flx_quart 107385
Flxn_expint 109531
Flx_fromNewton 109537
Flxq_autsum_mul 112104
FlxqV_dotproduct_pre 113589
Flxq_lroot_fast_pre 113589
_Fl2_rand 113803
FlxM_pack_ZM_bits 116259
Flx_is_smooth_pre 118877
Flx_extgcd_halfgcd 126069
Flx_is_smooth_squarefree 127060
Flx_invBarrett_basecase 134387
Flx_splitting 147094
Flx_Fl_sub 151690
Flv_invVandermonde 153445
Flx_invBarrett_pre 158848
Flx_inflate 160179
Flxq_log 164210
Flxq_matrix_pow_pre 170644
FlxV_to_Flm 171857
Fl2_inv_pre 197314
Flx_to_int_quartspec 204552
Flxq_sumautsum_pre 210695
Flxn_recip 218071
Flxq_sqrt 230555
Flxq_sqrt_pre 230555
Flxq_powers 232124
FlxqC_red_pre 234855
get_Flxq_star 283430
FlxT_red 292015
Flx_mulspec_mulii_inflate 294057
Flxq_sumautsum_sqr 295218
Z_mod2BIL_Flx 305871
Z_mod2BIL_Flx_2 308801
FlxC_eval_powers_pre 325148
Flxq_inv 335789
Flx_addmulmul 358985
_Flxq_neg 366572
Flx_sqr 370209
_Flxq_add 389834
bounded_order 394039
FlxV_to_FlxX 397987
Flxq_issquare 404606
Flx_deflate 421315
Flx_integXn 423299
Flxq_norm 443257
Fl2_equal1 449748
Flx_to_int_halfspec 468590
Flxq_powu 488359
int_to_Flx_half 507058
Flxq_easylog 519429
Flxn_mulhigh 527591
Flx_blocks 527671
Flx_triple 551294
Flx_eval2BILspec 603317
Flx_divrem_Barrett 604011
FlxV_to_ZXV 609493
Flxq_auttrace_sqr 652191
Flx_diff1 660596
Flx_translate1 663267
Flx_sqrspec_Kronecker 670242
Flxq_invsafe 670341
_Fl2_pow 671546
Fl2_pow_pre 671559
Flx_translate1_basecase 675355
kron_pack_Flx_spec_half 688104
translate_basecase 688522
Flxq_auttrace_mul 779422
Flx_Flxq_eval 791454
Flxq_minpoly_pre 809757
Flv_roots_to_pol 842143
Flx_extgcd 857081
Flx_halfgcd_pre 873277
Flx_subspec 897841
Flx_divrem_Barrettspec 905535
Flxq_pow 932925
monomial_Flx 941353
Flx_mulhigh_i 949827
Flxq_auttrace_pre 960180
Flx_halfgcd_all_i 1088046
Flx_halfgcd_all_pre 1088054
Flx_halfres_basecase 1095127
Flx_halfres_i 1115091
Flxq_div 1167600
Flx_double 1179459
_Flxq_rmul 1461838
Flv_polint 1485442
_Flxq_red 1550928
Rg_to_F2 1715071
Flv_inv 1744714
Flv_producttree 1745920
Flxq_transmul_init 1746520
Flv_inv_i 1756727
Flx_Flv_multieval_tree 1786226
Flx_neg_inplace 1799550
Flx_red 1879411
_Fl2_mul 1924060
Flx_lgrenormalizespec 2132899
RgX_to_Flx 2209617
Flxq_div_pre 2313668
Flx_Flxq_eval_pre 2444865
FlvV_polint_tree 2587728
random_Flx 2646330
Flxq_sqr 2763475
FlxV_to_ZXV_inplace 3032549
Rg_to_Flxq 3461484
Flx_addshift 3768149
ZXT_to_FlxT 3797328
Flx_neg 4174941
Flx_negspec 4174955
Flxq_inv_pre 4183778
Flxq_transmul 4212542
Flx_val 4465947
Flx_resultant 4740153
Flx_mod_Xnm1 4907701
_Fl2_sqr 4909908
Fl2_sqr_pre 4909924
Flxn_mul_pre 5183905
Flx_Fl2_eval_pre 5214706
Flxq_invsafe_pre 5326727
kron_unpack_Flx_bits_narrow 5621580
kron_unpack_Flx_bits_wide 5699338
Flx_extgcd_pre 6183799
Flx_extgcd_basecase 6183812
Flxn_red 6367287
zx_to_Flx 6402240
Flx_recipspec 7288112
Flx_addspec 7337710
Flx_mulspec_Kronecker 7367696
Z_to_Flx 7593933
maxbitcoeffpol 8472199
Flx_is_squarefree 9200863
Flx_Fl_mul 9422272
Flx_Fl_add 9845299
_Flx_mul 11781022
Flx_Fl_mul_to_monic 11860560
Flx_blocks_Flm 12970517
FlxV_to_Flm_lg 12971241
Flx_FlxqV_eval_pre 13170154
Flx_Frobenius_pre 13819041
Flx_get_red 14509157
Flx_resultant_basecase_pre 14606202
Flx_resultant_pre 14608258
Fl2_mul_pre 17092436
Flxq_mul 18079960
Flv_inv_pre_inplace 19282832
Flx_Fl_mul_pre 20197443
Flx_eval 20426706
kron_pack_Flx_spec_bits 20998516
Flv_inv_pre_indir 21026415
Fl_to_Flx 21953130
_Flxq_one 22445643
Flxq_powers_pre 22445729
_Flxq_pow 22768673
Flxq_pow_Frobenius 22776088
_Flxq_powu_i 22932722
Flx_deriv 23015820
Flxq_pow_pre 23824409
Flxq_powu_pre 24186024
Flv_to_Flx 25491394
Flx_equal 26595489
Flx_mul 26712896
Flx_shift 27404025
mkF2 27667065
Flx_valrem 28451899
Flx_divrem 30453153
Flx_gcd 35027279
Flx_to_ZX_inplace 36547610
Flx_div_by_X_x 36555139
Flx_to_ZX 38376729
Flx_rem 42231227
Flx_eval_powers_pre 48527945
Flx_divrem_basecase 61242806
Flx_normalize 64793800
Flx_to_Flv 66650512
set_Flxq_pre 69756728
Rg_to_Fl 73086334
Flx_add 73807601
Flx_divrem_pre 78686224
Flx_gcd_basecase 85812026
Flx_gcd_pre 87476963
Fl2_norm_pre 97118578
Flx_get_red_pre 97514741
Flx_eval_pre 136178086
Flx_sub 136571298
_Flxq_mul 147745425
ZX_to_Flx 171060752
Flxq_mul_pre 192204869
_Flxq_sqr 267743813
Flxq_sqr_pre 274060314
Flx_sqrspec_basecase 274553163
Flx_sqr_pre 275090529
Flx_sqrspec 275244434
Flx_mulspec_basecase 347229365
Flx_mul_pre 381566405
Flx_mulspec 387177354
Flx_shiftip 631009170
Flx_rem_basecase 799661659
Flx_rem_pre 925763020
get_Flx_red 988791533
Flx_mullimb 1185789908
Flx_renormalize 2167593685
get_Fl_threshold 2322937648
Flx_mullimb_ok 3372730273

Generated by: LCOV version 1.16