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 30365-beea1ff998) Lines: 1787 2015 88.7 %
Date: 2025-07-01 09:21:48 Functions: 193 209 92.3 %
Legend: Lines: hit not hit

Function Name Sort by function name Hit count Sort by hit count
FpXQX_XpN_powu 0
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
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 605
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 2539
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 6150
Flx_FlxY_resultant 6150
char_update_int 6594
FlxX_pseudorem 7586
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 9697
ZX_compositum 9699
QXQ_charpoly 9772
ZX_ZXY_ResBound_1 10086
ZX_composedsum_i 10086
ZX_composedsum_slice 10350
ZX_composedsum_worker 10350
ZXQX_resultant_prime 11008
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 25560
characteristic 27622
ffinit_fact_Flx 28997
ZX_norml1_1 31661
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 40456
ZX_ZXY_rnfequation_lambda 40522
Fq_Fp_mul 44041
RgX_to_FqX 49186
RgM_to_FqM 52325
init_Flxq_i 52942
init_Fq 54680
init_Fq_i 55247
FqX_Fq_add 55832
ZX_resultant 56077
ZX_ZXY_resultant_all 60213
ZX_ZXY_rnfequation 60561
Rg_is_FpXQ 60802
ZX_ZXY_resultant 79195
Fq_halve 81354
Fq_inv 89311
FqXY_evalx 97321
FqC_to_FlxqC 109023
FqV_red 109459
RgM_to_Flm 118296
QXQ_div_slice 121107
QXQ_div_worker 121107
ZX_ZXY_resultant_slice 124962
ZX_ZXY_resultant_worker 124962
QXQ_inv 146113
swap_vars 146886
ZX_incremental_CRT_raw 148379
FqX_Fq_mul_to_monic 149052
flinit_check 149717
monomialcopy 157969
ZX_ZXY_ResBound 166946
Fq_sqrtn 170786
charact 176946
log2N2 177030
QXQ_inv_slice 212915
QXQ_inv_worker 212915
RgC_to_FqC 219128
RgM_to_FpM 222349
_Fq_mul 243341
ZX_norml1 292107
_Fq_red 303247
_Fq_neg 315028
pol_x_powers 325942
Fq_div 343791
_Fq_add 362523
ZX_ZXY_resultant_prime 364908
Flx_FlxY_resultant_polint 368519
RgV_to_Flv 369001
FqX_eval 390933
QXQ_sqr 407040
Fq_mulu 490581
Fq_sqr 611418
QXQ_mul 846036
FpXV_FpC_mul 851487
Fq_neg 1080491
Fq_pow 1088152
ZX_discbound 1134908
ZX_disc 1138155
ZX_disc_all 1200224
ZXQ_charpoly 1247428
gen_crt 1274661
Rg_to_FpXQ 1291986
ZX_resultant_all 1350884
ZX_resultant_slice 1495355
ZX_resultant_worker 1495370
RgC_to_FpC 1751090
Fq_sqrt 1892926
gen_inccrt 2062403
Flx_resultant_all 2089715
FlxY_evalx_drop 2113548
RgX_to_FpX 3335720
ZX_resultant_prime 3864987
Fl_chinese_coprime 5162275
Flx_FlxY_eval_resultant 5540451
gen_inccrt_i 7815682
primelist 8398493
Fq_sub 8563061
Fq_mul 8608660
Fq_add 11592894
monomial 13640949
RgX_is_FpX 28194334
Rg_to_Fp 52334558
Rg_is_Fp 71065710

Generated by: LCOV version 1.16