S (Lemmas)
| Files | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Definitions | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Lemmas | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Abbreviations | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Global Index | A | B | C | D | E | F | G | H | I | J | K | L | M | N | O | P | Q | R | S | T | U | V | W | X | Y | Z | _ |
| Notations |
S (Lemmas)
S1_Convn [prf, in infotheo.probability.convex]S1_Convn_finType [prf, in infotheo.probability.convex]
S1_Convn_proj [prf, in infotheo.probability.convex]
S1_neq0 [prf, in infotheo.probability.convex]
S1_proj_Convn_finType [prf, in infotheo.probability.convex]
S2.generators [prf, in infotheo.probability.convex_stone]
S3.suff_generators [prf, in infotheo.probability.convex_stone]
S_mass [prf, in infotheo.robust.weightedmean]
s_of_0q [prf, in infotheo.lib.realType_ext]
s_of_1q [prf, in infotheo.lib.realType_ext]
s_of_gt0 [prf, in infotheo.lib.realType_ext]
s_of_gt0_oprob [prf, in infotheo.lib.realType_ext]
s_of_p0 [prf, in infotheo.lib.realType_ext]
s_of_p1 [prf, in infotheo.lib.realType_ext]
s_of_pqE [prf, in infotheo.lib.realType_ext]
s_of_pqK [prf, in infotheo.lib.realType_ext]
s_of_rpos_probA [prf, in infotheo.lib.realType_ext]
sbound_f'D [prf, in infotheo.ecc_classic.linearcode]
sbound_f'N [prf, in infotheo.ecc_classic.linearcode]
sbound_f'Z [prf, in infotheo.ecc_classic.linearcode]
scale_cgen [prf, in infotheo.ecc_classic.cyclic_code]
scale_RVA [prf, in infotheo.probability.proba]
Scaled1rK [prf, in infotheo.probability.convex]
Scaled_inj [prf, in infotheo.probability.convex]
Scaled_point [prf, in infotheo.probability.convex]
scaled_set_extract [prf, in infotheo.probability.convex]
scalept0 [prf, in infotheo.probability.convex]
scalept_addRnng [prf, in infotheo.probability.convex]
scalept_barycenter [prf, in infotheo.probability.convex]
scalept_conv [prf, in infotheo.probability.convex]
scalept_gt0 [prf, in infotheo.probability.convex]
scalept_Scaled [prf, in infotheo.probability.convex]
scalept_scaled_set [prf, in infotheo.probability.convex]
scalept_sum [prf, in infotheo.probability.convex]
scalept_weight [prf, in infotheo.probability.convex]
scaler_addpt [prf, in infotheo.probability.convex]
scaler_const_RV [prf, in infotheo.probability.proba]
scaler_scalept [prf, in infotheo.probability.convex]
scalerRVE [prf, in infotheo.probability.proba]
scalerZero [prf, in infotheo.probability.convex]
scha_pos [prf, in infotheo.information_theory.channel_code]
schaE [prf, in infotheo.information_theory.channel_code]
second_derivative_convexf_pt [prf, in infotheo.probability.convex]
second_summand [prf, in infotheo.information_theory.channel_coding_direct]
segment_hull [prf, in infotheo.probability.convex]
segment_is_convex [prf, in infotheo.probability.convex]
segment_sym [prf, in infotheo.probability.convex]
segmentC [prf, in infotheo.probability.convex]
segmentL [prf, in infotheo.probability.convex]
segmentR [prf, in infotheo.probability.convex]
select_children_def [prf, in infotheo.ecc_modern.ldpc_algo_proof]
select_children_spec [prf, in infotheo.ecc_modern.ldpc_algo_proof]
select_children_uniq [prf, in infotheo.ecc_modern.ldpc_algo_proof]
seq_block_inv [prf, in infotheo.ecc_classic.repcode]
seq_full [prf, in infotheo.ecc_modern.ldpc_algo_proof]
seq_index_enum_card [prf, in infotheo.lib.ssr_ext]
set0T [prf, in infotheo.probability.proba]
set0X [prf, in infotheo.lib.ssr_ext]
set0Y [prf, in infotheo.lib.ssr_ext]
set1_inj [prf, in infotheo.lib.classical_sets_ext]
set1_is_stopset [prf, in infotheo.ecc_modern.stopping_set]
set1_neq0 [prf, in infotheo.probability.necset]
set1_set2 [prf, in infotheo.lib.ssr_ext]
set1F [prf, in infotheo.ecc_modern.ldpc_algo_proof]
Set2.a_neq_b [prf, in infotheo.lib.ssr_ext]
Set2.E [prf, in infotheo.lib.ssr_ext]
Set2.enumE [prf, in infotheo.lib.ssr_ext]
Set2.ind [prf, in infotheo.lib.ssr_ext]
Set2.neq_a_b [prf, in infotheo.lib.ssr_ext]
set2_is_not_stopset [prf, in infotheo.ecc_modern.stopping_set]
set2_set1 [prf, in infotheo.lib.ssr_ext]
Set2sumE [prf, in infotheo.lib.bigop_ext]
set_cons [prf, in infotheo.ecc_modern.degree_profile]
set_flatten_cond [prf, in infotheo.ecc_modern.degree_profile]
set_mem [prf, in infotheo.ecc_modern.summary]
set_nil [prf, in infotheo.ecc_modern.degree_profile]
set_predleq_size [prf, in infotheo.lib.num_occ]
set_swap [prf, in infotheo.lib.ssr_ext]
set_typ_seq_incl [prf, in infotheo.information_theory.typ_seq]
set_typ_seq_not0 [prf, in infotheo.information_theory.typ_seq]
set_val_hd [prf, in infotheo.probability.bayes]
set_val_tl [prf, in infotheo.probability.bayes]
set_vals_eq [prf, in infotheo.probability.bayes]
set_vals_hd [prf, in infotheo.probability.bayes]
set_vals_id [prf, in infotheo.probability.bayes]
set_vals_inj [prf, in infotheo.probability.bayes]
set_vals_prod_vals [prf, in infotheo.probability.bayes]
set_vals_prod_vals_id [prf, in infotheo.probability.bayes]
set_vals_prod_vals_join [prf, in infotheo.probability.bayes]
set_vals_tl [prf, in infotheo.probability.bayes]
set_valsC [prf, in infotheo.probability.bayes]
setCX [prf, in infotheo.lib.ssr_ext]
setDAC [prf, in infotheo.lib.ssr_ext]
setDIlW [prf, in infotheo.lib.ssr_ext]
setDUKl [prf, in infotheo.lib.ssr_ext]
setIDACW [prf, in infotheo.lib.ssr_ext]
setIUY [prf, in infotheo.lib.ssr_ext]
setIX [prf, in infotheo.lib.ssr_ext]
setIYI_disj [prf, in infotheo.lib.ssr_ext]
setIYl [prf, in infotheo.lib.ssr_ext]
setNY [prf, in infotheo.lib.ssr_ext]
setT_bool [prf, in infotheo.lib.ssr_ext]
setTE [prf, in infotheo.probability.proba]
setTT [prf, in infotheo.probability.proba]
setTX [prf, in infotheo.lib.ssr_ext]
setU_setUD [prf, in infotheo.lib.ssr_ext]
setX0 [prf, in infotheo.lib.ssr_ext]
setX1 [prf, in infotheo.lib.ssr_ext]
setX1r [prf, in infotheo.lib.ssr_ext]
setYA [prf, in infotheo.lib.ssr_ext]
setYC [prf, in infotheo.lib.ssr_ext]
shannon_fano_average_entropy [prf, in infotheo.information_theory.shannon_fano]
shannon_fano_is_kraft [prf, in infotheo.information_theory.shannon_fano]
shell_injective [prf, in infotheo.information_theory.jtypes]
shell_not_empty [prf, in infotheo.information_theory.jtypes]
shell_not_empty' [prf, in infotheo.information_theory.jtypes]
shell_not_empty_sorted [prf, in infotheo.information_theory.jtypes]
shell_subset_output_type [prf, in infotheo.information_theory.jtypes]
shift_codeword [prf, in infotheo.ecc_classic.cyclic_code]
shift_linearity_codeword [prf, in infotheo.ecc_classic.cyclic_code]
sigmaE0 [prf, in infotheo.information_theory.kraft]
simple_neg [prf, in infotheo.ecc_modern.subgraph_partition]
simple_tanner_rel [prf, in infotheo.ecc_modern.tanner]
singleton_bound [prf, in infotheo.ecc_classic.linearcode]
size1_polyC_F2 [prf, in infotheo.lib.f2]
size_ary_of_nat [prf, in infotheo.information_theory.kraft]
size_bitseq_of_N_lb [prf, in infotheo.lib.natbin]
size_bitseq_of_N_lb' [prf, in infotheo.lib.natbin]
size_bitseq_of_N_ub [prf, in infotheo.lib.natbin]
size_bitseq_of_N_ub' [prf, in infotheo.lib.natbin]
size_bitseq_of_nat [prf, in infotheo.lib.natbin]
size_canonical_cgen [prf, in infotheo.ecc_classic.cyclic_code]
size_erreval [prf, in infotheo.ecc_classic.poly_decoding]
size_erreval_twisted [prf, in infotheo.ecc_classic.bch]
size_errloc [prf, in infotheo.ecc_classic.poly_decoding]
size_errloc_eq [prf, in infotheo.ecc_classic.poly_decoding]
size_index_enum [prf, in infotheo.lib.ssr_ext]
size_is_cgen [prf, in infotheo.ecc_classic.cyclic_code]
size_lead_coef_F2 [prf, in infotheo.lib.f2]
size_lead_coefK [prf, in infotheo.lib.poly_ext]
size_lowest [prf, in infotheo.ecc_classic.linearcode]
size_lowestP [prf, in infotheo.ecc_classic.linearcode]
size_N_of_bitseqK [prf, in infotheo.lib.natbin]
size_one_minus_X [prf, in infotheo.ecc_classic.poly_decoding]
size_pad_positive [prf, in infotheo.lib.natbin]
size_pad_seqL [prf, in infotheo.lib.ssr_ext]
size_pad_seqR [prf, in infotheo.lib.ssr_ext]
size_quot_eq0 [prf, in infotheo.lib.poly_ext]
size_r0_sum [prf, in infotheo.lib.euclid]
size_rcs [prf, in infotheo.ecc_classic.cyclic_code]
size_rcs_poly [prf, in infotheo.ecc_classic.cyclic_code]
size_rcs_poly_old [prf, in infotheo.ecc_classic.cyclic_code]
size_rs_gen [prf, in infotheo.ecc_classic.reed_solomon]
size_rstop [prf, in infotheo.lib.euclid]
size_seqs_but1 [prf, in infotheo.ecc_modern.ldpc_algo_proof]
size_sigma [prf, in infotheo.information_theory.kraft]
size_sort_sizes [prf, in infotheo.information_theory.kraft]
size_sub [prf, in infotheo.lib.poly_ext]
size_syndromep [prf, in infotheo.ecc_classic.poly_decoding]
size_v01 [prf, in infotheo.lib.euclid]
size_v12 [prf, in infotheo.lib.euclid]
size_v_incr [prf, in infotheo.lib.euclid]
size_v_incr_new [prf, in infotheo.lib.euclid]
size_v_sum [prf, in infotheo.lib.euclid]
sizeP [prf, in infotheo.ecc_modern.degree_profile]
Sn.decomp_swap [prf, in infotheo.probability.convex_stone]
Sn.proj0_inj [prf, in infotheo.probability.convex_stone]
Sn.suff_generators [prf, in infotheo.probability.convex_stone]
Sn.suff_generators0 [prf, in infotheo.probability.convex_stone]
Sn.swap_asa_inj [prf, in infotheo.probability.convex_stone]
Sn.swap_asaE [prf, in infotheo.probability.convex_stone]
snd_Pr_domin_setX [prf, in infotheo.probability.proba]
snd_RV2 [prf, in infotheo.probability.proba]
snd_RV3 [prf, in infotheo.probability.proba]
snd_tnth_prod_rV [prf, in infotheo.lib.ssralg_ext]
solve_key_equation [prf, in infotheo.lib.euclid]
solve_key_equation_coprimep [prf, in infotheo.lib.euclid]
sorted_cat [prf, in infotheo.lib.ssr_ext]
sorted_enum [prf, in infotheo.lib.ssr_ext]
sorted_is_flattened [prf, in infotheo.lib.ssr_ext]
sorted_leq_last [prf, in infotheo.information_theory.kraft]
sorted_of_nth [prf, in infotheo.lib.ssr_ext]
sorted_of_tnth [prf, in infotheo.lib.ssr_ext]
sorted_of_tnth_leq [prf, in infotheo.lib.ssr_ext]
sorted_sort_sizes [prf, in infotheo.information_theory.kraft]
source_coding' [prf, in infotheo.information_theory.source_coding_fl_direct]
source_coding_converse [prf, in infotheo.information_theory.source_coding_fl_converse]
source_coding_converse' [prf, in infotheo.information_theory.source_coding_fl_converse]
source_coding_direct [prf, in infotheo.information_theory.source_coding_fl_direct]
source_direct_bound [prf, in infotheo.information_theory.source_coding_fl_direct]
SP_BEC0_is_a_fixpoint [prf, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_is_iter [prf, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_is_mxlel [prf, in infotheo.ecc_modern.ldpc_erasure]
sphere_not_empty [prf, in infotheo.lib.hamming]
Split.cEx [prf, in infotheo.robust.weightedmean]
Split.cEx' [prf, in infotheo.robust.weightedmean]
Split.cVar [prf, in infotheo.robust.weightedmean]
Split.dE [prf, in infotheo.robust.weightedmean]
Split.g_ge0 [prf, in infotheo.robust.weightedmean]
Split.Pr_setXT [prf, in infotheo.robust.weightedmean]
split_cons_tuples [prf, in infotheo.information_theory.jtypes]
split_lshift [prf, in infotheo.lib.ssr_ext]
split_nocc_rec [prf, in infotheo.information_theory.jtypes]
split_prodK [prf, in infotheo.probability.convex]
split_rshift [prf, in infotheo.lib.ssr_ext]
sq_dev_ge0 [prf, in infotheo.robust.weightedmean]
sq_dev_max_eq_arg [prf, in infotheo.robust.weightedmean]
sq_dev_max_ge [prf, in infotheo.robust.weightedmean]
sq_dev_max_ge0 [prf, in infotheo.robust.weightedmean]
sq_dev_max_neq0 [prf, in infotheo.robust.weightedmean]
sq_RV_ge0 [prf, in infotheo.probability.proba]
sq_RVE [prf, in infotheo.probability.proba]
sq_RVE' [prf, in infotheo.robust.robustmean]
sqrBC [prf, in infotheo.lib.ssralg_ext]
ssum_fdist_convn [prf, in infotheo.probability.convex]
ssum_perm [prf, in infotheo.probability.convex]
ssum_scaled_set [prf, in infotheo.probability.convex]
ssum_seq_finsuppE [prf, in infotheo.probability.fsdist]
ssum_seq_finsuppE' [prf, in infotheo.probability.fsdist]
ssum_seq_finsuppE'' [prf, in infotheo.probability.fsdist]
ssum_widen_finsupp [prf, in infotheo.probability.fsdist]
starblankP [prf, in infotheo.ecc_modern.ldpc_erasure]
starFnext_iter_mxSumProd [prf, in infotheo.ecc_modern.stopping_set]
starFnext_iter_mxSumProdS [prf, in infotheo.ecc_modern.stopping_set]
starFnext_mxStar [prf, in infotheo.ecc_modern.stopping_set]
starletter_letter [prf, in infotheo.ecc_modern.ldpc_erasure]
starletter_mxProd_erase [prf, in infotheo.ecc_modern.stopping_set]
starletter_PiSP_BEC0 [prf, in infotheo.ecc_modern.stopping_set]
start_in_subgraph [prf, in infotheo.ecc_modern.subgraph_partition]
step1 [prf, in infotheo.information_theory.source_coding_fl_converse]
step2 [prf, in infotheo.information_theory.source_coding_fl_converse]
step3 [prf, in infotheo.information_theory.source_coding_fl_converse]
step4 [prf, in infotheo.information_theory.source_coding_fl_converse]
step5 [prf, in infotheo.information_theory.source_coding_fl_converse]
step6 [prf, in infotheo.information_theory.source_coding_fl_converse]
stop'_is_before [prf, in infotheo.lib.euclid]
stop_is_after [prf, in infotheo.lib.euclid]
stopset0 [prf, in infotheo.ecc_modern.stopping_set]
stopset_erasures_SP_BEC [prf, in infotheo.ecc_modern.stopping_set]
stopset_erasures_SP_BEC_stable [prf, in infotheo.ecc_modern.stopping_set]
stopset_subset_erasures_SP_BEC [prf, in infotheo.ecc_modern.stopping_set]
stopsetE [prf, in infotheo.ecc_modern.stopping_set]
stopsetE_help [prf, in infotheo.ecc_modern.stopping_set]
stopsetU [prf, in infotheo.ecc_modern.stopping_set]
sub_path_except [prf, in infotheo.ecc_modern.subgraph_partition]
sub_RV_neg [prf, in infotheo.probability.proba]
sub_vec_dproj [prf, in infotheo.ecc_modern.summary_tanner]
sub_vec_dprojs [prf, in infotheo.ecc_modern.summary_tanner]
sub_vec_dprojs_V2 [prf, in infotheo.ecc_modern.summary_tanner]
sub_XrVpoly_rcs [prf, in infotheo.ecc_classic.cyclic_code]
subgraph_connect [prf, in infotheo.ecc_modern.subgraph_partition]
subgraph_empty [prf, in infotheo.ecc_modern.subgraph_partition]
subr_onem [prf, in infotheo.lib.realType_ext]
subrel_refl [prf, in infotheo.ecc_modern.degree_profile]
subrel_trans [prf, in infotheo.ecc_modern.degree_profile]
subseq_estimation [prf, in infotheo.ecc_modern.ldpc_algo_proof]
subseq_flatten [prf, in infotheo.lib.ssr_ext]
subseq_labels [prf, in infotheo.ecc_modern.ldpc_algo_proof]
subset_cover1 [prf, in infotheo.ecc_modern.degree_profile]
subset_erasures_Esti [prf, in infotheo.ecc_modern.stopping_set]
subset_hull [prf, in infotheo.probability.convex]
subset_image [prf, in infotheo.lib.classical_sets_ext]
subset_leq_card_split_tuple [prf, in infotheo.information_theory.jtypes]
subset_Pr [prf, in infotheo.probability.proba]
success_bound [prf, in infotheo.information_theory.success_decode_bound]
success_factor_bound_part1 [prf, in infotheo.information_theory.success_decode_bound]
success_factor_bound_part2 [prf, in infotheo.information_theory.success_decode_bound]
success_factor_ub [prf, in infotheo.information_theory.success_decode_bound]
successor_subgraph_successor [prf, in infotheo.ecc_modern.subgraph_partition]
suffixes_not_empty [prf, in infotheo.information_theory.kraft]
Sum_blank_inv [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_coef_horner [prf, in infotheo.ecc_modern.degree_profile]
sum_coef_pos [prf, in infotheo.ecc_modern.degree_profile]
sum_expr_S [prf, in infotheo.ecc_modern.degree_profile]
sum_exprz [prf, in infotheo.lib.ssralg_ext]
sum_fdist_binary_supp [prf, in infotheo.probability.fdist]
sum_fdist_binary_swap [prf, in infotheo.probability.fdist]
sum_fdist_supp [prf, in infotheo.probability.fdist]
sum_messages_types [prf, in infotheo.information_theory.types]
sum_messages_types' [prf, in infotheo.information_theory.types]
sum_mlog_prod_sum_map_mlog [prf, in infotheo.information_theory.aep]
sum_num_occ_0 [prf, in infotheo.lib.num_occ]
sum_num_occ_all [prf, in infotheo.lib.num_occ]
sum_num_occ_alt [prf, in infotheo.lib.num_occ]
sum_num_occ_enum_val [prf, in infotheo.lib.num_occ]
sum_num_occ_inc [prf, in infotheo.lib.num_occ]
sum_num_occ_inc_loc [prf, in infotheo.lib.num_occ]
sum_num_occ_is_enum_val [prf, in infotheo.lib.num_occ]
sum_num_occ_leq_n [prf, in infotheo.lib.num_occ]
sum_num_occ_rec [prf, in infotheo.lib.num_occ]
sum_num_occ_seq1 [prf, in infotheo.lib.num_occ]
sum_num_occ_size [prf, in infotheo.lib.num_occ]
sum_num_occ_size [prf, in infotheo.information_theory.jtypes]
sum_num_occ_sub [prf, in infotheo.lib.num_occ]
sum_of_scaledK [prf, in infotheo.probability.convex]
sum_pfwd1 [prf, in infotheo.probability.proba]
sum_poly_weaken [prf, in infotheo.ecc_modern.degree_profile]
sum_rowVnextD1 [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_rowVnextD1_Bit [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_rowVnextD1_nostars [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_rV_ffun [prf, in infotheo.information_theory.channel_coding_direct]
sum_sqr [prf, in infotheo.lib.ssralg_ext]
sum_supp [prf, in infotheo.lib.ssralg_ext]
sum_tuples_ctypes [prf, in infotheo.information_theory.jtypes]
sum_wH_row [prf, in infotheo.lib.hamming]
summary_foldE [prf, in infotheo.ecc_modern.summary]
summary_powersetE [prf, in infotheo.ecc_modern.summary]
sumn_big_addn [prf, in infotheo.lib.ssr_ext]
sumprod_ok [prf, in infotheo.ecc_modern.ldpc_algo_proof]
sumrRVE [prf, in infotheo.probability.proba]
supp0 [prf, in infotheo.lib.ssralg_ext]
supp_F2_to_GF2 [prf, in infotheo.lib.ssralg_ext]
supp_fdist1 [prf, in infotheo.probability.fdist]
supp_fsdist1 [prf, in infotheo.probability.fsdist]
supp_fsdist_conv [prf, in infotheo.probability.fsdist]
supp_fsdist_conv' [prf, in infotheo.probability.fsdist]
supp_fsdist_convn [prf, in infotheo.probability.fsdist]
supp_fsdistbind [prf, in infotheo.probability.fsdist]
supp_fsdistmap [prf, in infotheo.probability.fsdist]
supp_neq0 [prf, in infotheo.ecc_classic.poly_decoding]
supp_set0 [prf, in infotheo.lib.ssralg_ext]
supp_twisted [prf, in infotheo.ecc_classic.poly_decoding]
sym_tanner_rel [prf, in infotheo.ecc_modern.tanner]
symmetric_except [prf, in infotheo.ecc_modern.subgraph_partition]
symmetric_var_dist [prf, in infotheo.probability.variation_dist]
symmetry [prf, in infotheo.probability.graphoid]
syndrome0 [prf, in infotheo.ecc_classic.linearcode]
syndrome_hamming_err [prf, in infotheo.ecc_classic.hamming_code]
syndromeD [prf, in infotheo.ecc_classic.linearcode]
syndromeN [prf, in infotheo.ecc_classic.linearcode]
syndromep0 [prf, in infotheo.ecc_classic.poly_decoding]
syndromep_t0 [prf, in infotheo.ecc_classic.poly_decoding]
syndromepB [prf, in infotheo.ecc_classic.poly_decoding]
syndromepD [prf, in infotheo.ecc_classic.poly_decoding]
syndromepE [prf, in infotheo.ecc_classic.poly_decoding]
syndromepN [prf, in infotheo.ecc_classic.poly_decoding]
syndromeZ [prf, in infotheo.ecc_classic.linearcode]
SysHamming.card_all_cols [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.card_non_unit [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.card_unit_cols [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.col_PCM_inj [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.cols_1 [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.cols_1_inj [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.cols_PCM [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.GEN'E [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.idsA_ids1 [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.mx_discard_GEN' [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.mx_discardE [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.PCM_A_1 [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.PCM_GEN' [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.PCM_GEN'_alt [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.perm_ids_inj [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.size_idsA [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.uniq_idsA [prf, in infotheo.ecc_classic.hamming_code]
Syslcode.encode_code [prf, in infotheo.ecc_classic.linearcode]
Syslcode.encode_inj [prf, in infotheo.ecc_classic.linearcode]
Syslcode.G_H_T [prf, in infotheo.ecc_classic.linearcode]
Syslcode.H_G_T [prf, in infotheo.ecc_classic.linearcode]
Syslcode.rank_GEN [prf, in infotheo.ecc_classic.linearcode]
szHs_is_nHs [prf, in infotheo.information_theory.string_entropy]
szHs_is_nHs_full [prf, in infotheo.information_theory.string_entropy]