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 - polarit3.c (source / functions) Hit Total Coverage
Test: PARI/GP v2.18.1 lcov report (development 30401-87099e65a6) Lines: 1903 2156 88.3 %
Date: 2025-07-18 09:23:12 Functions: 205 225 91.1 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
Fl_chinese_coprime 5162722
FlxX_pseudorem 7498
FlxX_resultant 0
FlxX_resultant_polint 1118028
FlxX_resultant_pre 0
FlxX_resultant_subres 2510
FlxY_eval_resultant 4347846
FlxY_evalx_drop 2113703
FlxY_to_FlyX 6120
Flx_FlxY_eval_resultant 5539714
Flx_FlxY_resultant 6120
Flx_FlxY_resultant_polint 368515
Flx_Lazard 1973
Flx_resultant_all 2089843
Flx_resultant_set_dglist 23740
FpXC_center 5467
FpXM_center 1800
FpXQX_FpXQ_translate 33887
FpXQX_FpXQ_translate_basecase 33887
FpXQX_XpN_powu 0
FpXQX_normalize 38189
FpXV_FpC_mul 851487
FpXV_composedsum 1637
FpXY_FpXQ_evaly 2072
FpX_FpXY_eval_resultant 284
FpX_FpXY_resultant 15
FpX_Fp_translate 1134
FpX_Fp_translate_basecase 700
FpX_composedprod 0
FpX_composedsum 191
Fp_XpN_powu 434
FqC_FqV_mul 105
FqC_Fq_mul 0
FqC_add 0
FqC_red 24058
FqC_sub 0
FqC_to_FlxqC 109023
FqM_add 0
FqM_red 1701
FqM_sub 0
FqM_to_FlxqM 8708
FqV_red 109458
FqV_roots_to_pol 40453
FqXQ_matrix_pow 0
FqXQ_powers 0
FqXY_eval 14623
FqXY_evalx 97321
FqX_Fq_add 55832
FqX_Fq_mul_to_monic 149052
FqX_Fq_sub 1059
FqX_Fq_translate 33880
FqX_eval 390934
Fq_Fp_mul 44041
Fq_add 11592895
Fq_div 343791
Fq_halve 81354
Fq_inv 89312
Fq_invsafe 0
Fq_mul 8608662
Fq_mulu 490543
Fq_neg 1080478
Fq_neg_inv 0
Fq_pow 1088154
Fq_powu 15050
Fq_sqr 611418
Fq_sqrt 1892926
Fq_sqrtn 170786
Fq_sub 8563061
QXQ_charpoly 9772
QXQ_div 33207
QXQ_div_slice 121107
QXQ_div_worker 121107
QXQ_intnorm 0
QXQ_inv 146108
QXQ_inv_slice 212909
QXQ_inv_worker 212909
QXQ_mul 846032
QXQ_norm 19418
QXQ_sqr 407041
QX_disc 7
QX_resultant 56
RgC_to_FpC 1751090
RgC_to_FqC 219128
RgM_is_FpM 0
RgM_to_Flm 118296
RgM_to_FpM 222349
RgM_to_FqM 52325
RgV_is_FpV 0
RgV_to_Flv 369001
RgV_to_FpV 140
RgX_RgXY_ResBound 8165
RgX_RgXY_ResBound_1 854
RgX_is_FpX 28008859
RgX_is_FpXQX 3381
RgX_is_ZXX 2021494
RgX_norml1_1 3283
RgX_to_FpX 3335720
RgX_to_FpXQX 5105
RgX_to_FqX 49186
Rg_is_Fp 70276169
Rg_is_FpXQ 60802
Rg_to_Fp 52334410
Rg_to_FpXQ 1291986
ZM_incremental_CRT 7787
ZM_init_CRT 5978
ZXM_incremental_CRT 653
ZXM_init_CRT 679
ZXQX_composedsum 315
ZXQX_composedsum_bound 315
ZXQX_composedsum_slice 359
ZXQX_composedsum_worker 359
ZXQX_disc_all 3934
ZXQX_resultant_all 3997
ZXQX_resultant_bound 4000
ZXQX_resultant_bound_i 4315
ZXQX_resultant_prime 11010
ZXQX_resultant_slice 4911
ZXQX_resultant_worker 4911
ZXQ_charpoly 1247424
ZXQ_charpoly_sqf 22595
ZXQ_minpoly 1701
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZXX_ResBound 1010585
ZXX_is_sparse 2021231
ZXX_resultant 1010624
ZXX_resultant_interp 1010589
ZXX_resultant_prime 1118026
ZXX_resultant_slice 1015861
ZXX_resultant_worker 1015862
ZX_ZXY_ResBound 166910
ZX_ZXY_ResBound_1 10084
ZX_ZXY_resultant 79197
ZX_ZXY_resultant_LERS 22421
ZX_ZXY_resultant_all 60214
ZX_ZXY_resultant_prime 364909
ZX_ZXY_resultant_slice 124963
ZX_ZXY_resultant_worker 124963
ZX_ZXY_rnfequation 60563
ZX_ZXY_rnfequation_lambda 40523
ZX_composedsum 385
ZX_composedsum_i 10085
ZX_composedsum_slice 10350
ZX_composedsum_worker 10349
ZX_compositum 9699
ZX_compositum_lambda 9696
ZX_disc 1138151
ZX_disc_all 1200211
ZX_discbound 1134901
ZX_incremental_CRT 0
ZX_incremental_CRT_raw 148373
ZX_init_CRT 32487
ZX_norml1 1302814
ZX_norml1_1 31644
ZX_resultant 56077
ZX_resultant_all 1350821
ZX_resultant_prime 3864951
ZX_resultant_slice 1495325
ZX_resultant_worker 1495329
Z_incremental_CRT 7742
Z_init_CRT 406
_FpX_composedsum 191
_Fq_add 362523
_Fq_equal0 38388
_Fq_inv 9331
_Fq_mul 243341
_Fq_neg 315028
_Fq_red 303247
_Fq_s 4151
_ZXQ_powu 56
addii_abs 25555
char_update_int 6594
char_update_prime 1225
charact 176946
charact_res 4739
characteristic 27622
checkmap 2261
err_compo 84
ffcompomap 420
ffeltmap_i 2709
ffeltmaprel_i 252
ffembed 189
ffextend 91
fffrobenius 42
ffinit 567
ffinit_Artin_Schreier 957
ffinit_Artin_Schreier_2 600
ffinit_fact 1637
ffinit_fact_Flx 28991
ffinit_rand 0
ffinvmap 133
ffmap 1036
ffmap_i 4459
ffmaprel 252
ffmaprel_i 252
ffnbirred 3178
ffnbirred0 140
ffpartmapimage 1260
ffsumnbirred 616
flinit 31944
flinit_check 149711
fpinit 1828
fpinit_check 8207
gen_crt 2285212
gen_inccrt 3072995
gen_inccrt_i 8826280
get_Fq_field 4725
init_Flxq 0
init_Flxq_i 52936
init_Fq 54674
init_Fq_i 55241
log2N2 176992
monomial 13640946
monomialcopy 157969
nfX_disc 4165
nfX_resultant 119
nf_direct_compositum 315
pol_x_powers 325931
primelist 9414376
resbound 2188065
residual_characteristic 329
sqrN2 9019
swap_vars 146885
to_ZX 252
vecbinomial_Fp 0

Generated by: LCOV version 1.16