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 - FpX.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.18.1 lcov report (development 30640-c2c58e18c5) Lines: 1976 2156 91.7 %
Date: 2026-01-27 08:51:18 Functions: 213 228 93.4 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpV_FpM_polint 0
FpX_FpV_multieval 0
FpX_FpXV_multirem 0
FpX_Fp_add_shallow 0
FpX_chinese_coprime 0
FpX_integ 0
FpXn_exp 0
FpXn_sqr 0
FqV_inv 0
Rg_is_FpXk 0
_FpXQ_add 0
_FpX_one 0
_FpX_red 0
_FpX_zero 0
get_FpX_algebra 0
FpXQ_conjvec 8
matJ2_FpXM 8
FpVV_polint_tree 15
FpXQ_charpoly 15
FpV_polint 22
FpX_extresultant_basecase 24
matid2_FpXM 24
FpXQ_autpow_msqr 42
FpX_disc 42
Fq_ispower 70
FpX_extresultant 77
FpX_halfres 106
FpXQM_autsum 147
FpX_invLaplace 186
FpXQM_autsum_sqr 217
FpXXk_FpX_div_i 238
FpXXk_divexact_i 287
FpXM_FpXQV_eval 315
FpXQM_autsum_mul 315
FpXQ_auttrace_sqr 317
FpXQ_auttrace_mul 360
FpXQ_auttrace 434
_FpXQ_easylog 469
FpXQ_sqrtl_spec 543
FpXC_FpXQ_eval 588
FpXV_chinese 588
FpXV_chinese_tree 588
FpXV_chinesetree 588
FpXV_invdivexact 588
FpXV_producttree 588
FpXV_sqr 588
FpXXk_FpX_div 588
FpX_FpXV_multirem_tree 588
gc_chinese 588
FpX_Laplace 590
FpXk_gcd 595
_FpXQ_rand 679
FpX_gcd_check 783
FpXQ_sqrtn_spec 858
FpXQ_autsum 956
FpX_halfgcd 977
FpX_convol 994
Fp_neg_FpX 1025
FpXQ_autsum_sqr 1082
FpXQ_sumautsum_msqr 1123
FpXQ_sqrtn 1222
FpXXkX_FpXXk_divexact 1225
FpXQ_autsum_mul 1242
FpXQ_sumautsum 1266
FpXXkX_FpXXk_divexact_s 1449
FpXC_FpXQV_eval 1470
FpX_invBarrett_Newton 1518
FpXk_mul 1603
FpXQ_autpowers 1610
FpXQ_transmul_init 1660
Z_to_FpX 1726
FpXQ_order 1814
FpXXk_primpart_FpX 1904
FpXXk_rec 1904
FpXQ_autpow 2091
FpXQ_autpow_sqr 2185
FpXQ_sumautsum_sqr 2264
bounded_order 2514
get_FpXQ_star 2807
_FpXQ_zero 3360
FpXXk_divides 3507
FpX_halfres_update 3749
FpX_resultant_basecase 3974
FpX_invBarrett_basecase 3975
FpXXk_content 3983
FpXV_FpX_fromdigits 4564
FpXXk_divides_i 4718
FpX_invBarrett 5546
FpXXk_content_FpX 5789
FpX_matFrobenius 5853
FpXXk_divexact_s 6097
FpXn_div 6412
FpXn_inv 6412
RgXXk_modXn 6496
RgXXk_shift 6496
gener_FpXQ 7030
FpXQ_transmul 7175
FpXT_sqr 7602
FpX_divu 8610
get_FpXQ_algebra 10199
FpX_Fp_sub_shallow 11146
FpX_fromNewton 11348
FpX_digits 11403
FpXXkX_FpXXk_divides_s 12628
FpXQ_minpoly 12830
FpX_extgcd_halfgcd 13757
FpXXk_gcd_i 14182
RgXk_var_lowest 16142
FpX_halfgcd_all_i 16550
FpX_halfgcd_all 16690
FpX_FpXM_qmul 17162
FpXM_mul2 17253
FpXn_expint 17263
FpX_halfres_split 18960
Fp2_norm 18961
Fp2_sqrt 19392
_FpX_add 20062
FpXQ_trace 21079
Fp_red_FpX 21944
FpXV_factorback 23258
FpV_invVandermonde 24743
FpX_FpV_multieval_tree 24757
FpV_producttree 24758
FpXV_producttree_dbl 25344
FpX_FpXV_multirem_dbl_tree 25345
Fp_FpX_sub 25517
FpV_inv 27184
FpX_halfres_basecase 33802
gener_FpXQ_local 34156
gener_FpXQ_i 34193
_FpX_pow 35493
FpXM_FpX_mul2 36106
FpXQ_matrix_pow 40650
FpX_halfres_i 52762
FpX_gcd_basecase 52781
_FpXQ_sub 52941
FpX_integXn 55575
_FpXQ_red 59395
FpXn_mulhigh 59480
FpX_dotproduct 61210
Rg_to_FpXk 71897
FpXk_renormalize 72751
FpXQ_sqrt 78673
_FpX_sqr 86660
FpX_addmulmul 87863
FpV_roots_to_pol 92426
FpX_halve 92694
FpX_mulhigh_i 115055
FpX_Fp_mul_to_monic 129929
random_FpX 133469
_FpX_divrem 134778
FpXXk_divides_s 141190
FpX_div_by_X_x 146341
_FpXQ_one 152486
FpX_rescale 154992
FpXn_red 204530
FpXV_prod 211239
FpX_valrem 237607
RgXV_to_RgM_lg 268337
RgX_blocks_RgM 268337
FpX_FpXQV_eval 269051
_FpXQ_pow 282142
FpXQ_pow_Frobenius 286537
FpXQ_powers 287696
FpX_center 302931
FpX_powu 318342
FpXV_red 332605
_FpX_mul 359909
FpXQ_norm 363819
FpX_Frobenius 371625
FpX_resultant 379461
FpXQ_issquare 401223
FpX_Newton 435157
FpX_neg 438425
FpXn_recip 446005
FpXQ_powu 510364
Fp_FpXQ_log 532123
FpXQ_div 533286
FpX_Fp_sub 583695
FpX_extgcd_basecase 587149
FpX_Fp_div 612846
FpX_FpXQ_eval 656658
FpXQ_log 671078
FpX_is_squarefree 688220
FpX_divrem_Barrett 815754
FpX_divrem_Barrettspec 816500
FpX_get_red 852500
FpXQ_pow 860159
FpX_Fp_add 891790
FpX_shift 896894
FpX_eval 908789
FpXQ_inv 923848
FpXQ_invsafe 923848
FpX_gcd 1001213
FpX_mulu 1064116
FpX_extgcd 1203827
Fp_issquare 1335844
FpX_deriv 1497091
_FpXQ_mul 1618102
Fq_issquare 1630801
FpX_normalize 1630995
FpX_recipspec 1638893
FpXT_red 1644751
ZX_lgrenormalizespec 1663982
to_Flxq 1777046
FpX_center_i 2061497
Fq_log 2149038
FpXn_mul 2564811
FpXk_sub 3718554
FpXk_red 4516967
FpX_Fp_mul 5126655
FpX_Fp_mulspec 5141226
_FpXQ_sqr 5226251
FpXQ_sqr 6141793
FpX_sqr 6334674
FpX_mulspec 9202582
FpXQ_mul 9926292
FpX_divrem 13285707
FpXQ_red 13620747
FpX_sub 14592968
FpX_subspec 15409463
FpX_add 16274042
FpX_mul 24778259
to_Flx 35125577
FpX_divrem_basecase 58031702
FpX_rem 62444165
get_FpX_red 75731175
FpX_red 85761012

Generated by: LCOV version 1.16