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 30347-cb65b7994e) Lines: 1780 1982 89.8 %
Date: 2025-06-27 09:22:08 Functions: 191 205 93.2 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpX_composedprod 0
FqC_Fq_mul 0
FqC_add 0
FqC_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
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 598
ffsumnbirred 616
ZXM_incremental_CRT 653
ZXM_init_CRT 679
FpX_translate_basecase 700
RgX_RgXY_ResBound_1 854
ffinit_Artin_Schreier 955
ffmap 1036
FqX_Fq_sub 1059
FpX_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 2499
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 5098
FpXC_center 5467
ZM_init_CRT 6013
FlxY_to_FlyX 6110
Flx_FlxY_resultant 6110
char_update_int 6594
FlxX_pseudorem 7469
Z_incremental_CRT 7742
ZM_incremental_CRT 7822
RgX_RgXY_ResBound 8165
fpinit_check 8207
FqM_to_FlxqM 8708
sqrN2 9019
_Fq_inv 9331
ZX_compositum_lambda 9701
ZX_compositum 9702
QXQ_charpoly 9772
ZX_ZXY_ResBound_1 10084
ZX_composedsum_i 10084
ZX_composedsum_worker 10347
ZX_composedsum_slice 10348
ZXQX_resultant_prime 11010
FqXY_eval 14623
Fq_powu 15050
QXQ_norm 19418
ZX_ZXY_resultant_LERS 22421
ZXQ_charpoly_sqf 22594
Flx_resultant_set_dglist 23741
FqC_red 24058
addii_abs 25557
characteristic 27622
ffinit_fact_Flx 28989
ZX_norml1_1 31651
flinit 31944
ZX_init_CRT 32487
QXQ_div 33207
FqX_translate 33880
FpXQX_normalize 38189
_Fq_equal0 38388
FqV_roots_to_pol 40455
ZX_ZXY_rnfequation_lambda 40521
Fq_Fp_mul 44041
RgX_to_FqX 49186
RgM_to_FqM 52325
init_Flxq_i 52934
init_Fq 54672
init_Fq_i 55239
FqX_Fq_add 55832
ZX_resultant 56077
ZX_ZXY_resultant_all 60212
ZX_ZXY_rnfequation 60560
Rg_is_FpXQ 60802
ZX_ZXY_resultant 79196
Fq_halve 81354
Fq_inv 89312
FqXY_evalx 97321
FqC_to_FlxqC 109022
FqV_red 109457
RgM_to_Flm 118296
QXQ_div_slice 121107
QXQ_div_worker 121107
ZX_ZXY_resultant_slice 124962
ZX_ZXY_resultant_worker 124962
QXQ_inv 146121
swap_vars 146885
ZX_incremental_CRT_raw 148373
FqX_Fq_mul_to_monic 149052
flinit_check 149709
monomialcopy 157969
ZX_ZXY_ResBound 166870
Fq_sqrtn 170786
log2N2 176956
charact 179046
QXQ_inv_slice 212878
QXQ_inv_worker 212878
RgC_to_FqC 219128
RgM_to_FpM 222349
_Fq_mul 243341
ZX_norml1 292108
_Fq_red 303247
_Fq_neg 315028
pol_x_powers 325947
Fq_div 343791
_Fq_add 362523
ZX_ZXY_resultant_prime 364907
Flx_FlxY_resultant_polint 368513
RgV_to_Flv 369001
FqX_eval 390935
QXQ_sqr 399480
Fq_mulu 490599
Fq_sqr 611418
QXQ_mul 837914
FpXV_FpC_mul 851487
Fq_neg 1080499
Fq_pow 1088149
ZX_discbound 1134898
ZX_disc 1138139
ZX_disc_all 1200206
ZXQ_charpoly 1247336
gen_crt 1274570
Rg_to_FpXQ 1291958
ZX_resultant_all 1350832
ZX_resultant_slice 1495311
ZX_resultant_worker 1495316
RgC_to_FpC 1751090
Fq_sqrt 1892926
gen_inccrt 2062288
Flx_resultant_all 2089699
FlxY_evalx_drop 2113507
RgX_to_FpX 3335671
ZX_resultant_prime 3864817
Fl_chinese_coprime 5162261
Flx_FlxY_eval_resultant 5539609
gen_inccrt_i 7815464
primelist 8398136
Fq_sub 8563060
Fq_mul 8608646
Fq_add 11592872
monomial 13612797
RgX_is_FpX 28189535
Rg_to_Fp 52286284
Rg_is_Fp 71039429

Generated by: LCOV version 1.16