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 30601-812dd05845) Lines: 1903 2156 88.3 %
Date: 2026-01-06 09:22:34 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 5162954
FlxX_pseudorem 7452
FlxX_resultant 0
FlxX_resultant_polint 1117904
FlxX_resultant_pre 0
FlxX_resultant_subres 2493
FlxY_eval_resultant 4347212
FlxY_evalx_drop 2114203
FlxY_to_FlyX 6102
Flx_FlxY_eval_resultant 5517986
Flx_FlxY_resultant 6102
Flx_FlxY_resultant_polint 367235
Flx_Lazard 1959
Flx_resultant_all 2090424
Flx_resultant_set_dglist 23718
FpXC_center 5467
FpXM_center 1800
FpXQX_FpXQ_translate 33887
FpXQX_FpXQ_translate_basecase 33887
FpXQX_XpN_powu 0
FpXQX_normalize 38187
FpXV_FpC_mul 851487
FpXV_composedsum 1588
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 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 109022
FqM_add 0
FqM_red 1701
FqM_sub 0
FqM_to_FlxqM 8708
FqV_red 109464
FqV_roots_to_pol 40456
FqXQ_matrix_pow 0
FqXQ_powers 0
FqXY_eval 14623
FqXY_evalx 97391
FqX_Fq_add 55832
FqX_Fq_mul_to_monic 149052
FqX_Fq_sub 1059
FqX_Fq_translate 33880
FqX_eval 391145
Fq_Fp_mul 43985
Fq_add 11593387
Fq_div 343791
Fq_halve 81417
Fq_inv 89311
Fq_invsafe 0
Fq_mul 8609154
Fq_mulu 490217
Fq_neg 1080037
Fq_neg_inv 0
Fq_pow 1088231
Fq_powu 15050
Fq_sqr 611236
Fq_sqrt 1893010
Fq_sqrtn 170786
Fq_sub 8563005
QXQ_charpoly 9793
QXQ_div 33207
QXQ_div_slice 121144
QXQ_div_worker 121144
QXQ_intnorm 0
QXQ_inv 145992
QXQ_inv_slice 212700
QXQ_inv_worker 212700
QXQ_mul 845885
QXQ_norm 19418
QXQ_sqr 407032
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 8207
RgX_RgXY_ResBound_1 854
RgX_is_FpX 28009624
RgX_is_FpXQX 3395
RgX_is_ZXX 2021066
RgX_norml1_1 3283
RgX_to_FpX 3335594
RgX_to_FpXQX 5105
RgX_to_FqX 49186
Rg_is_Fp 70277092
Rg_is_FpXQ 60900
Rg_to_Fp 52333978
Rg_to_FpXQ 1291986
ZM_incremental_CRT 7787
ZM_init_CRT 5985
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 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 1247175
ZXQ_charpoly_sqf 22594
ZXQ_minpoly 1701
ZXQ_minpoly_slice 3523
ZXQ_minpoly_worker 3523
ZXX_ResBound 1010372
ZXX_is_sparse 2020799
ZXX_resultant 1010407
ZXX_resultant_interp 1010373
ZXX_resultant_prime 1117905
ZXX_resultant_slice 1015675
ZXX_resultant_worker 1015675
ZX_ZXY_ResBound 166068
ZX_ZXY_ResBound_1 10084
ZX_ZXY_resultant 78551
ZX_ZXY_resultant_LERS 22336
ZX_ZXY_resultant_all 60116
ZX_ZXY_resultant_prime 363626
ZX_ZXY_resultant_slice 124307
ZX_ZXY_resultant_worker 124309
ZX_ZXY_rnfequation 60548
ZX_ZXY_rnfequation_lambda 40509
ZX_composedsum 385
ZX_composedsum_i 10084
ZX_composedsum_slice 10347
ZX_composedsum_worker 10347
ZX_compositum 9702
ZX_compositum_lambda 9698
ZX_disc 1137888
ZX_disc_all 1199940
ZX_discbound 1134640
ZX_incremental_CRT 0
ZX_incremental_CRT_raw 148355
ZX_init_CRT 32463
ZX_norml1 1296562
ZX_norml1_1 31640
ZX_resultant 55867
ZX_resultant_all 1346934
ZX_resultant_prime 3864259
ZX_resultant_slice 1494940
ZX_resultant_worker 1494953
Z_incremental_CRT 7525
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 25550
char_update_int 6594
char_update_prime 1225
charact 177338
charact_res 4739
characteristic 28014
checkmap 2261
err_compo 84
ffcompomap 420
ffeltmap_i 2709
ffeltmaprel_i 252
ffembed 189
ffextend 91
fffrobenius 42
ffinit 567
ffinit_Artin_Schreier 952
ffinit_Artin_Schreier_2 595
ffinit_fact 1588
ffinit_fact_Flx 28958
ffinit_rand 0
ffinvmap 133
ffmap 1036
ffmap_i 4459
ffmaprel 252
ffmaprel_i 252
ffnbirred 3178
ffnbirred0 140
ffpartmapimage 1260
ffsumnbirred 616
flinit 31888
flinit_check 149419
fpinit 1681
fpinit_check 7325
gen_crt 2283988
gen_inccrt 3071372
gen_inccrt_i 8784246
get_Fq_field 4725
init_Flxq 0
init_Flxq_i 52910
init_Fq 54599
init_Fq_i 55166
log2N2 176148
monomial 13634155
monomialcopy 157969
nfX_disc 4172
nfX_resultant 119
nf_direct_compositum 315
pol_x_powers 325826
primelist 9372611
resbound 2186803
residual_characteristic 329
sqrN2 9061
swap_vars 146141
to_ZX 252
vecbinomial_Fp 0

Generated by: LCOV version 1.16