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 30390-1de8c4c561) Lines: 1878 2131 88.1 %
Date: 2025-07-13 09:22:39 Functions: 202 222 91.0 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FlxX_resultant 0
FlxX_resultant_pre 0
FpXQX_XpN_powu 0
FpX_composedprod 0
FqC_Fq_mul 0
FqC_add 0
FqC_sub 0
FqM_add 0
FqM_sub 0
FqXQ_matrix_pow 0
FqXQ_powers 0
Fq_invsafe 0
Fq_neg_inv 0
QXQ_intnorm 0
RgM_is_FpM 0
RgV_is_FpV 0
ZX_incremental_CRT 0
ffinit_rand 0
init_Flxq 0
vecbinomial_Fp 0
QX_disc 7
FpX_FpXY_resultant 15
fffrobenius 42
QX_resultant 56
_ZXQ_powu 56
err_compo 84
ffextend 91
FqC_FqV_mul 105
nfX_resultant 119
ffinvmap 133
RgV_to_FpV 140
ffnbirred0 140
ffembed 189
FpX_composedsum 191
_FpX_composedsum 191
ffeltmaprel_i 252
ffmaprel 252
ffmaprel_i 252
to_ZX 252
FpX_FpXY_eval_resultant 284
ZXQX_composedsum 315
ZXQX_composedsum_bound 315
nf_direct_compositum 315
residual_characteristic 329
ZXQX_composedsum_slice 359
ZXQX_composedsum_worker 359
ZX_composedsum 385
Z_init_CRT 406
ffcompomap 420
Fp_XpN_powu 434
ffinit 567
ffinit_Artin_Schreier_2 604
ffsumnbirred 616
ZXM_incremental_CRT 653
ZXM_init_CRT 679
FpX_Fp_translate_basecase 700
RgX_RgXY_ResBound_1 854
ffinit_Artin_Schreier 962
ffmap 1036
FqX_Fq_sub 1059
FpX_Fp_translate 1134
char_update_prime 1225
ffpartmapimage 1260
FpXV_composedsum 1637
ffinit_fact 1637
FqM_red 1701
ZXQ_minpoly 1701
FpXM_center 1800
fpinit 1828
FpXY_FpXQ_evaly 2072
checkmap 2261
FlxX_resultant_subres 2538
ffeltmap_i 2709
ffnbirred 3178
RgX_norml1_1 3283
RgX_is_FpXQX 3381
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZXQX_disc_all 3934
ZXQX_resultant_all 3997
ZXQX_resultant_bound 4000
_Fq_s 4151
nfX_disc 4165
ZXQX_resultant_bound_i 4315
ffmap_i 4459
get_Fq_field 4725
charact_res 4739
ZXQX_resultant_slice 4911
ZXQX_resultant_worker 4911
RgX_to_FpXQX 5105
FpXC_center 5467
ZM_init_CRT 5978
FlxY_to_FlyX 6148
Flx_FlxY_resultant 6148
char_update_int 6594
FlxX_pseudorem 7585
Z_incremental_CRT 7742
ZM_incremental_CRT 7787
RgX_RgXY_ResBound 8165
fpinit_check 8207
FqM_to_FlxqM 8708
sqrN2 9019
_Fq_inv 9331
ZX_compositum_lambda 9692
ZX_compositum 9695
QXQ_charpoly 9772
ZX_ZXY_ResBound_1 10081
ZX_composedsum_i 10083
ZX_composedsum_slice 10348
ZX_composedsum_worker 10348
ZXQX_resultant_prime 11008
FqXY_eval 14623
Fq_powu 15050
QXQ_norm 19418
ZX_ZXY_resultant_LERS 22421
ZXQ_charpoly_sqf 22595
Flx_resultant_set_dglist 23739
FqC_red 24058
addii_abs 25553
characteristic 27622
ffinit_fact_Flx 28996
ZX_norml1_1 31646
flinit 31944
ZX_init_CRT 32487
QXQ_div 33207
FqX_Fq_translate 33880
FpXQX_FpXQ_translate 33887
FpXQX_FpXQ_translate_basecase 33887
FpXQX_normalize 38189
_Fq_equal0 38388
FqV_roots_to_pol 40455
ZX_ZXY_rnfequation_lambda 40523
Fq_Fp_mul 44041
RgX_to_FqX 49186
RgM_to_FqM 52325
init_Flxq_i 52940
init_Fq 54679
init_Fq_i 55246
FqX_Fq_add 55832
ZX_resultant 56077
ZX_ZXY_resultant_all 60214
ZX_ZXY_rnfequation 60563
Rg_is_FpXQ 60802
ZX_ZXY_resultant 79196
Fq_halve 81354
Fq_inv 89312
FqXY_evalx 97321
FqC_to_FlxqC 109022
FqV_red 109458
RgM_to_Flm 118296
QXQ_div_slice 121107
QXQ_div_worker 121107
ZX_ZXY_resultant_slice 124963
ZX_ZXY_resultant_worker 124964
QXQ_inv 146114
swap_vars 146884
ZX_incremental_CRT_raw 148377
FqX_Fq_mul_to_monic 149052
flinit_check 149715
monomialcopy 157969
ZX_ZXY_ResBound 166922
Fq_sqrtn 170786
charact 176946
log2N2 177005
QXQ_inv_slice 212911
QXQ_inv_worker 212911
RgC_to_FqC 219128
RgM_to_FpM 222349
_Fq_mul 243341
_Fq_red 303247
_Fq_neg 315028
pol_x_powers 325934
Fq_div 343791
_Fq_add 362523
ZX_ZXY_resultant_prime 364908
Flx_FlxY_resultant_polint 368519
RgV_to_Flv 369001
FqX_eval 390935
QXQ_sqr 407039
Fq_mulu 490598
Fq_sqr 611418
QXQ_mul 846033
FpXV_FpC_mul 851487
ZXX_ResBound 1010665
ZXX_resultant 1010666
ZXX_resultant_worker 1015947
ZXX_resultant_slice 1015948
Fq_neg 1080504
Fq_pow 1088148
ZXX_resultant_prime 1118172
FlxX_resultant_polint 1118174
ZX_discbound 1134884
ZX_disc 1138134
ZX_disc_all 1200199
ZXQ_charpoly 1247474
Rg_to_FpXQ 1291986
ZX_norml1 1303322
ZX_resultant_all 1350853
ZX_resultant_slice 1495339
ZX_resultant_worker 1495356
RgC_to_FpC 1751090
Fq_sqrt 1892926
RgX_is_ZXX 2021585
Flx_resultant_all 2089612
FlxY_evalx_drop 2113392
resbound 2188234
gen_crt 2285302
gen_inccrt 3073131
RgX_to_FpX 3335720
ZX_resultant_prime 3865073
FlxY_eval_resultant 4387583
Fl_chinese_coprime 5161835
Flx_FlxY_eval_resultant 5539821
Fq_sub 8563061
Fq_mul 8608669
gen_inccrt_i 8826403
primelist 9414492
Fq_add 11592895
monomial 13641012
RgX_is_FpX 28008380
Rg_to_Fp 52334458
Rg_is_Fp 70272524

Generated by: LCOV version 1.16