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) Coverage Total Hit
Test: PARI/GP v2.18.1 lcov report (development 31042-0fbe168e69) Lines: 86.5 % 2201 1904
Test Date: 2026-07-23 17:04:59 Functions: 89.9 % 228 205
Legend: Lines:     hit not hit

Function Name Sort by function name Hit count Sort by function hit count
Fl_chinese_coprime 5170772
FlxX_pseudorem 7667
FlxX_resultant 0
FlxX_resultant_polint 1118537
FlxX_resultant_pre 0
FlxX_resultant_subres 2565
FlxY_eval_resultant 4350903
FlxY_evalx_drop 2114579
FlxY_to_FlyX 6176
Flx_FlxY_eval_resultant 5522456
Flx_FlxY_resultant 6176
Flx_FlxY_resultant_polint 367308
Flx_Lazard 2017
Flx_resultant_all 2090859
Flx_resultant_set_dglist 23720
FpXC_center 5467
FpXM_center 1800
FpXQX_FpXQ_translate 33887
FpXQX_FpXQ_translate_basecase 33887
FpXQX_XpN_powu 0
FpXQX_normalize 38203
FpXV_FpC_mul 861854
FpXV_composedsum 1588
FpXY_FpXQ_evaly 1890
FpX_FpXY_eval_resultant 284
FpX_FpXY_resultant 15
FpX_Fp_translate 1134
FpX_Fp_translate_basecase 700
FpX_composedprod 0
FpX_composedsum 93
Fp_XpN_powu 434
FqC_FqV_mul 105
FqC_Fq_mul 0
FqC_add 0
FqC_red 24058
FqC_sub 0
FqC_to_FlxqC 109015
FqM_add 0
FqM_red 1701
FqM_sub 0
FqM_to_FlxqM 8708
FqV_red 109644
FqV_roots_to_pol 40451
FqXQ_matrix_pow 0
FqXQ_powers 0
FqXY_eval 14476
FqXY_evalx 97118
FqX_Fq_add 55097
FqX_Fq_mul_to_monic 149045
FqX_Fq_sub 1045
FqX_Fq_translate 33880
FqX_eval 388086
Fq_Fp_mul 43222
Fq_add 11593710
Fq_div 342657
Fq_halve 81305
Fq_inv 89079
Fq_invsafe 0
Fq_mul 8638235
Fq_mulu 488638
Fq_neg 1083034
Fq_neg_inv 0
Fq_pow 1088309
Fq_powu 14882
Fq_sqr 610888
Fq_sqrt 1893017
Fq_sqrtn 170786
Fq_sub 8584412
QXQ_charpoly 9793
QXQ_div 33207
QXQ_div_slice 121144
QXQ_div_worker 121144
QXQ_intnorm 0
QXQ_inv 146230
QXQ_inv_slice 213171
QXQ_inv_worker 213171
QXQ_mul 846058
QXQ_norm 19418
QXQ_sqr 407294
QX_disc 7
QX_resultant 56
RgC_to_FpC 1751713
RgC_to_FqC 219128
RgM_is_FpM 0
RgM_to_Flm 118296
RgM_to_FpM 222552
RgM_to_FqM 52325
RgV_is_FpV 0
RgV_to_Flv 369001
RgV_to_FpV 140
RgX_RgXY_ResBound 8207
RgX_RgXY_ResBound_1 854
RgX_is_FpX 28037752
RgX_is_FpXQX 22974
RgX_is_ZXX 2022126
RgX_norml1_1 3283
RgX_to_FpX 3342333
RgX_to_FpXQX 4517
RgX_to_FqX 49200
Rg_is_Fp 70442978
Rg_is_FpXQ 442918
Rg_to_Fp 59521378
Rg_to_FpXQ 1287493
ZM_incremental_CRT 8104
ZM_init_CRT 6202
ZXM_incremental_CRT 653
ZXM_init_CRT 679
ZXQXQ_minpoly 0
ZXQXQ_minpoly_slice 0
ZXQXQ_minpoly_worker 0
ZXQX_composedsum 315
ZXQX_composedsum_bound 315
ZXQX_composedsum_slice 359
ZXQX_composedsum_worker 359
ZXQX_disc_all 3941
ZXQX_resultant_all 4004
ZXQX_resultant_bound 4007
ZXQX_resultant_bound_i 4322
ZXQX_resultant_prime 11041
ZXQX_resultant_slice 4925
ZXQX_resultant_worker 4925
ZXQ_charpoly 1248317
ZXQ_charpoly_sqf 22610
ZXQ_minpoly 1701
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZXX_ResBound 1010902
ZXX_is_sparse 2021860
ZXX_resultant 1010937
ZXX_resultant_interp 1010902
ZXX_resultant_prime 1118537
ZXX_resultant_slice 1016202
ZXX_resultant_worker 1016202
ZX_ZXY_ResBound 165943
ZX_ZXY_ResBound_1 10227
ZX_ZXY_resultant 78568
ZX_ZXY_resultant_LERS 22337
ZX_ZXY_resultant_all 60116
ZX_ZXY_resultant_prime 363697
ZX_ZXY_resultant_slice 124330
ZX_ZXY_resultant_worker 124330
ZX_ZXY_rnfequation 60564
ZX_ZXY_rnfequation_lambda 40509
ZX_composedsum 511
ZX_composedsum_i 10227
ZX_composedsum_slice 10500
ZX_composedsum_worker 10500
ZX_compositum 9716
ZX_compositum_lambda 9716
ZX_disc 1151693
ZX_disc_all 1213805
ZX_discbound 1104951
ZX_incremental_CRT 0
ZX_incremental_CRT_raw 148356
ZX_init_CRT 32466
ZX_norml1 1297412
ZX_norml1_1 32144
ZX_resultant 55867
ZX_resultant_all 1317167
ZX_resultant_prime 3871803
ZX_resultant_slice 1466925
ZX_resultant_worker 1466925
Z_incremental_CRT 7469
Z_init_CRT 357
_FpX_composedsum 93
_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 26236
char_update_int 5873
char_update_prime 1225
charact 176022
charact_res 4354
characteristic 28077
checkmap 2261
err_compo 84
ffcompomap 420
ffeltmap_i 2709
ffeltmaprel_i 252
ffembed 189
ffextend 91
fffrobenius 42
ffinit 567
ffinit_Artin_Schreier 968
ffinit_Artin_Schreier_2 611
ffinit_fact 1588
ffinit_fact_Flx 29009
ffinit_rand 0
ffinvmap 133
ffmap 1036
ffmap_i 4459
ffmaprel 252
ffmaprel_i 252
ffnbirred 2338
ffnbirred0 140
ffpartmapimage 1260
ffsumnbirred 280
flinit 31937
flinit_check 149638
fpinit 1681
fpinit_check 7332
gen_crt 2252711
gen_inccrt 3042391
gen_inccrt_i 8754307
get_Fq_field 4725
init_Flxq 0
init_Flxq_i 52975
init_Fq 54685
init_Fq_i 55252
log2N2 176170
monomial 13510456
monomialcopy 158039
nfX_disc 4172
nfX_resultant 119
nf_direct_compositum 315
pol_x_powers 326399
primelist 9346263
resbound 2187747
residual_characteristic 336
sqrN2 9061
swap_vars 146161
to_ZX 252
vecbinomial_Fp 0

Generated by: LCOV version 2.0-1