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 30622-caa25a75db) Lines: 1976 2156 91.7 %
Date: 2026-01-22 09:18:00 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 799
FpXQ_sqrtn_spec 858
FpX_halfgcd 977
FpX_convol 994
Fp_neg_FpX 1025
FpXQ_sumautsum_msqr 1123
FpXQ_sqrtn 1222
FpXXkX_FpXXk_divexact 1225
FpXQ_sumautsum 1266
FpXXkX_FpXXk_divexact_s 1449
FpXC_FpXQV_eval 1470
FpX_invBarrett_Newton 1494
FpXk_mul 1603
FpXQ_autpowers 1636
FpXQ_transmul_init 1660
Z_to_FpX 1726
FpXQ_order 1814
FpXXk_primpart_FpX 1904
FpXXk_rec 1904
FpXQ_sumautsum_sqr 2264
FpXQ_autsum 2446
FpXQ_autsum_sqr 2572
FpXQ_autsum_mul 2732
get_FpXQ_star 2807
_FpXQ_zero 3360
FpXXk_divides 3507
FpX_halfres_update 3749
FpX_resultant_basecase 3974
FpX_invBarrett_basecase 3975
bounded_order 3980
FpXXk_content 3983
FpXQ_autpow 4021
FpXQ_autpow_sqr 4115
FpXV_FpX_fromdigits 4564
FpXXk_divides_i 4718
FpX_invBarrett 5522
FpXXk_content_FpX 5789
FpXXk_divexact_s 6097
FpXn_div 6412
FpXn_inv 6412
RgXXk_modXn 6496
RgXXk_shift 6496
gener_FpXQ 7029
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 13477
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 21067
Fp_red_FpX 21944
FpXV_factorback 23258
Fp_FpX_sub 25543
FpX_matFrobenius 27161
FpV_invVandermonde 29486
FpV_producttree 29500
FpX_FpV_multieval_tree 29500
FpXV_producttree_dbl 30087
FpX_FpXV_multirem_dbl_tree 30088
FpV_inv 31928
FpX_halfres_basecase 33802
_FpX_pow 35493
FpXM_FpX_mul2 36106
FpX_halfres_i 52762
_FpXQ_sub 52941
FpX_gcd_basecase 52994
FpX_integXn 55575
_FpXQ_red 59395
FpXn_mulhigh 59480
FpX_dotproduct 61210
FpXQ_matrix_pow 61958
Rg_to_FpXk 71897
FpXk_renormalize 72751
gener_FpXQ_local 73303
gener_FpXQ_i 73340
FpXQ_sqrt 78673
_FpX_sqr 86660
FpX_addmulmul 87863
FpX_halve 92694
FpV_roots_to_pol 92717
FpX_mulhigh_i 115055
_FpX_divrem 134778
FpX_Fp_mul_to_monic 136654
FpXXk_divides_s 141190
FpX_div_by_X_x 154947
FpX_rescale 158074
FpXn_red 204530
_FpXQ_one 207134
FpX_valrem 225486
random_FpX 229015
_FpXQ_pow 282142
FpXV_prod 288336
FpXQ_pow_Frobenius 295239
FpX_center 310374
FpX_powu 318342
FpXQ_norm 363819
_FpX_mul 364808
FpXQ_powers 371540
RgXV_to_RgM_lg 389713
RgX_blocks_RgM 389713
FpX_FpXQV_eval 390427
FpXV_red 391210
FpXQ_issquare 401223
FpX_resultant 410354
FpX_Frobenius 442447
FpX_neg 462209
FpX_Newton 463796
FpXn_recip 474647
FpXQ_div 533286
FpXQ_powu 540805
Fp_FpXQ_log 541876
FpX_Fp_sub 586678
FpX_extgcd_basecase 587149
FpX_Fp_div 614274
FpXQ_log 701305
FpX_is_squarefree 711206
FpX_FpXQ_eval 719691
FpX_divrem_Barrett 815574
FpX_divrem_Barrettspec 816318
FpX_Fp_add 891790
FpX_shift 925531
FpX_eval 943034
FpXQ_pow 998608
FpX_gcd 1030139
FpX_get_red 1037003
FpXQ_inv 1042775
FpXQ_invsafe 1042775
FpX_mulu 1064116
Fp_issquare 1335844
FpX_extgcd 1364296
FpX_deriv 1561866
_FpXQ_mul 1621784
Fq_issquare 1630801
FpX_recipspec 1638505
FpXT_red 1657870
ZX_lgrenormalizespec 1663107
FpX_normalize 1680307
to_Flxq 2009790
FpX_center_i 2093409
Fq_log 2416481
FpXn_mul 2564811
FpXk_sub 3718554
FpXk_red 4516967
_FpXQ_sqr 5281438
FpX_Fp_mul 5485400
FpX_Fp_mulspec 5499970
FpXQ_sqr 6196944
FpX_sqr 6389702
FpX_mulspec 9201255
FpXQ_mul 10778458
FpX_divrem 13851838
FpX_sub 14607147
FpX_subspec 15423458
FpX_add 16381104
FpXQ_red 17042968
FpX_mul 25786375
to_Flx 42117853
FpX_divrem_basecase 63767779
FpX_rem 69266216
get_FpX_red 83119595
FpX_red 92385858

Generated by: LCOV version 1.16