H (Global Index)

Files

Definitions

Lemmas

Abbreviations

Global Index

H

H2 [def, in infotheo.lib.binary_entropy_function]
H2ln [def, in infotheo.lib.binary_entropy_function]
H_out_binary_uniform [prf, in infotheo.information_theory.binary_symmetric_channel]
H_out_max [prf, in infotheo.information_theory.binary_symmetric_channel]
hamming [file, in infotheo.lib.hamming]
Hamming [mod, in infotheo.ecc_classic.hamming_code]
Hamming' [mod, in infotheo.ecc_classic.hamming_code]
Hamming'.channel_code [def, in infotheo.ecc_classic.hamming_code]
Hamming'.discard [def, in infotheo.ecc_classic.hamming_code]
Hamming'.enc_discard_is_id [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.enc_img_is_code [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.encode_inj [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.GEN [def, in infotheo.ecc_classic.hamming_code]
Hamming'.hamming_repair_img [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.mx_discard [def, in infotheo.ecc_classic.hamming_code]
Hamming'.mx_discard_GEN [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.PCM_GEN [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.syndrome_enc [prf, in infotheo.ecc_classic.hamming_code]
Hamming'.systematic [abbrev, in infotheo.ecc_classic.hamming_code]
Hamming.code [def, in infotheo.ecc_classic.hamming_code]
Hamming.dim_len [prf, in infotheo.ecc_classic.hamming_code]
Hamming.len [def, in infotheo.ecc_classic.hamming_code]
Hamming.len_dim [prf, in infotheo.ecc_classic.hamming_code]
Hamming.len_two_m [prf, in infotheo.ecc_classic.hamming_code]
Hamming.PCM [def, in infotheo.ecc_classic.hamming_code]
Hamming.two_len [prf, in infotheo.ecc_classic.hamming_code]
hamming_01 [prf, in infotheo.lib.hamming]
hamming_bound [prf, in infotheo.ecc_classic.linearcode]
hamming_code [file, in infotheo.ecc_classic.hamming_code]
hamming_err [def, in infotheo.ecc_classic.hamming_code]
hamming_err_enc [prf, in infotheo.ecc_classic.hamming_code]
hamming_error_rate [prf, in infotheo.ecc_classic.hamming_code]
hamming_MD_alt [prf, in infotheo.ecc_classic.hamming_code]
hamming_MD_decoding [prf, in infotheo.ecc_classic.hamming_code]
hamming_min_dist [prf, in infotheo.ecc_classic.hamming_code]
hamming_not_trivial [prf, in infotheo.ecc_classic.hamming_code]
hamming_repair [def, in infotheo.ecc_classic.hamming_code]
hamming_repair_img [prf, in infotheo.ecc_classic.hamming_code]
HammingBitstring [mod, in infotheo.lib.hamming]
HammingBitstring.dH [def, in infotheo.lib.hamming]
HammingBitstring.dH_cat [prf, in infotheo.lib.hamming]
HammingBitstring.dH_count [prf, in infotheo.lib.hamming]
HammingBitstring.dH_sym [prf, in infotheo.lib.hamming]
HammingBitstring.dH_tri_ine [prf, in infotheo.lib.hamming]
HammingBitstring.wH [def, in infotheo.lib.hamming]
han [prf, in infotheo.information_theory.entropy]
han_helper [prf, in infotheo.information_theory.entropy]
has_starblank_rowVnextD1 [prf, in infotheo.ecc_modern.ldpc_erasure]
hasNaryConvOp [abbrev, in infotheo.probability.convex_equiv]
hasNaryConvOp [mod, in infotheo.probability.convex_equiv]
hasNaryConvOp.axioms [abbrev, in infotheo.probability.convex_equiv]
hasNaryConvOp.axioms_ [rec, in infotheo.probability.convex_equiv]
hasNaryConvOp.Build [abbrev, in infotheo.probability.convex_equiv]
hasNaryConvOp.convn [proj, in infotheo.probability.convex_equiv]
hasNaryConvOp.Exports [mod, in infotheo.probability.convex_equiv]
hasNaryConvOp.hasNaryConvOp_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
hasNaryConvOp.hasNaryConvOp_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
hasNaryConvOp.identity_builder [def, in infotheo.probability.convex_equiv]
hasNaryConvOp.phant_axioms [def, in infotheo.probability.convex_equiv]
hasNaryConvOp.phant_Build [def, in infotheo.probability.convex_equiv]
HB_unnamed_factory_1 [def, in infotheo.probability.necset]
HB_unnamed_factory_1 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_1 [def, in infotheo.probability.convex]
HB_unnamed_factory_1 [def, in infotheo.information_theory.entropy_convex]
HB_unnamed_factory_1 [def, in infotheo.ecc_modern.ldpc_erasure]
HB_unnamed_factory_1 [def, in infotheo.ecc_modern.ldpc_algo_proof]
HB_unnamed_factory_1 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_factory_1 [def, in infotheo.ecc_classic.linearcode]
HB_unnamed_factory_10 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_10 [def, in infotheo.probability.convex]
HB_unnamed_factory_105 [def, in infotheo.probability.convex]
HB_unnamed_factory_11 [def, in infotheo.probability.necset]
HB_unnamed_factory_111 [def, in infotheo.probability.convex]
HB_unnamed_factory_113 [def, in infotheo.probability.convex]
HB_unnamed_factory_115 [def, in infotheo.probability.convex]
HB_unnamed_factory_12 [def, in infotheo.information_theory.types]
HB_unnamed_factory_12 [def, in infotheo.information_theory.jtypes]
HB_unnamed_factory_12 [def, in infotheo.ecc_classic.linearcode]
HB_unnamed_factory_14 [def, in infotheo.probability.necset]
HB_unnamed_factory_14 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_14 [def, in infotheo.probability.convex]
HB_unnamed_factory_17 [def, in infotheo.probability.proba]
HB_unnamed_factory_17 [def, in infotheo.probability.necset]
HB_unnamed_factory_17 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_19 [def, in infotheo.probability.necset]
HB_unnamed_factory_19 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_2 [def, in infotheo.probability.proba]
HB_unnamed_factory_2 [def, in infotheo.probability.fdist]
HB_unnamed_factory_2 [def, in infotheo.lib.ssralg_ext]
HB_unnamed_factory_2 [def, in infotheo.information_theory.types]
HB_unnamed_factory_2 [def, in infotheo.information_theory.jtypes]
HB_unnamed_factory_20 [def, in infotheo.information_theory.jtypes]
HB_unnamed_factory_21 [def, in infotheo.probability.necset]
HB_unnamed_factory_21 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_21 [def, in infotheo.probability.convex]
HB_unnamed_factory_22 [def, in infotheo.probability.proba]
HB_unnamed_factory_23 [def, in infotheo.probability.convex]
HB_unnamed_factory_24 [def, in infotheo.probability.necset]
HB_unnamed_factory_25 [def, in infotheo.probability.proba]
HB_unnamed_factory_25 [def, in infotheo.probability.convex]
HB_unnamed_factory_26 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_27 [def, in infotheo.probability.necset]
HB_unnamed_factory_27 [def, in infotheo.probability.convex]
HB_unnamed_factory_28 [def, in infotheo.probability.proba]
HB_unnamed_factory_29 [def, in infotheo.probability.convex]
HB_unnamed_factory_3 [def, in infotheo.probability.necset]
HB_unnamed_factory_3 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_3 [def, in infotheo.probability.convex]
HB_unnamed_factory_3 [def, in infotheo.information_theory.entropy_convex]
HB_unnamed_factory_3 [def, in infotheo.ecc_modern.ldpc_erasure]
HB_unnamed_factory_3 [def, in infotheo.ecc_modern.ldpc_algo_proof]
HB_unnamed_factory_30 [def, in infotheo.probability.necset]
HB_unnamed_factory_33 [def, in infotheo.probability.necset]
HB_unnamed_factory_34 [def, in infotheo.probability.convex_equiv]
HB_unnamed_factory_36 [def, in infotheo.probability.necset]
HB_unnamed_factory_39 [def, in infotheo.probability.necset]
HB_unnamed_factory_4 [def, in infotheo.probability.proba]
HB_unnamed_factory_4 [def, in infotheo.ecc_classic.linearcode]
HB_unnamed_factory_40 [def, in infotheo.probability.convex]
HB_unnamed_factory_42 [def, in infotheo.probability.necset]
HB_unnamed_factory_42 [def, in infotheo.probability.convex]
HB_unnamed_factory_45 [def, in infotheo.probability.necset]
HB_unnamed_factory_45 [def, in infotheo.probability.convex]
HB_unnamed_factory_47 [def, in infotheo.probability.necset]
HB_unnamed_factory_48 [def, in infotheo.probability.convex]
HB_unnamed_factory_49 [def, in infotheo.probability.necset]
HB_unnamed_factory_5 [def, in infotheo.probability.fdist]
HB_unnamed_factory_5 [def, in infotheo.information_theory.types]
HB_unnamed_factory_5 [def, in infotheo.information_theory.jtypes]
HB_unnamed_factory_5 [def, in infotheo.information_theory.entropy_convex]
HB_unnamed_factory_5 [def, in infotheo.ecc_modern.ldpc_algo_proof]
HB_unnamed_factory_51 [def, in infotheo.probability.necset]
HB_unnamed_factory_51 [def, in infotheo.probability.convex]
HB_unnamed_factory_53 [def, in infotheo.probability.necset]
HB_unnamed_factory_56 [def, in infotheo.probability.necset]
HB_unnamed_factory_59 [def, in infotheo.probability.necset]
HB_unnamed_factory_6 [def, in infotheo.probability.proba]
HB_unnamed_factory_6 [def, in infotheo.probability.fsdist]
HB_unnamed_factory_6 [def, in infotheo.probability.convex]
HB_unnamed_factory_6 [def, in infotheo.lib.ssralg_ext]
HB_unnamed_factory_62 [def, in infotheo.probability.necset]
HB_unnamed_factory_66 [def, in infotheo.probability.necset]
HB_unnamed_factory_7 [def, in infotheo.ecc_classic.linearcode]
HB_unnamed_factory_70 [def, in infotheo.probability.necset]
HB_unnamed_factory_74 [def, in infotheo.probability.necset]
HB_unnamed_factory_77 [def, in infotheo.probability.convex]
HB_unnamed_factory_78 [def, in infotheo.probability.necset]
HB_unnamed_factory_8 [def, in infotheo.probability.necset]
HB_unnamed_factory_8 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_factory_80 [def, in infotheo.probability.convex]
HB_unnamed_factory_9 [def, in infotheo.ecc_modern.ldpc_erasure]
HB_unnamed_factory_91 [def, in infotheo.probability.convex]
HB_unnamed_factory_98 [def, in infotheo.probability.convex]
HB_unnamed_mixin_10 [def, in infotheo.information_theory.types]
HB_unnamed_mixin_10 [def, in infotheo.information_theory.jtypes]
HB_unnamed_mixin_10 [def, in infotheo.ecc_classic.linearcode]
HB_unnamed_mixin_103 [def, in infotheo.probability.convex]
HB_unnamed_mixin_104 [def, in infotheo.probability.convex]
HB_unnamed_mixin_12 [def, in infotheo.probability.proba]
HB_unnamed_mixin_12 [def, in infotheo.probability.fsdist]
HB_unnamed_mixin_13 [def, in infotheo.probability.proba]
HB_unnamed_mixin_13 [def, in infotheo.probability.convex]
HB_unnamed_mixin_14 [def, in infotheo.probability.proba]
HB_unnamed_mixin_15 [def, in infotheo.probability.proba]
HB_unnamed_mixin_15 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_mixin_16 [def, in infotheo.probability.proba]
HB_unnamed_mixin_16 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_mixin_17 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_mixin_18 [def, in infotheo.probability.convex]
HB_unnamed_mixin_19 [def, in infotheo.probability.convex]
HB_unnamed_mixin_20 [def, in infotheo.probability.proba]
HB_unnamed_mixin_20 [def, in infotheo.probability.convex]
HB_unnamed_mixin_21 [def, in infotheo.probability.proba]
HB_unnamed_mixin_24 [def, in infotheo.probability.proba]
HB_unnamed_mixin_24 [def, in infotheo.probability.fsdist]
HB_unnamed_mixin_25 [def, in infotheo.probability.fsdist]
HB_unnamed_mixin_27 [def, in infotheo.probability.proba]
HB_unnamed_mixin_3 [def, in infotheo.ecc_classic.linearcode]
HB_unnamed_mixin_30 [def, in infotheo.probability.proba]
HB_unnamed_mixin_36 [def, in infotheo.probability.convex_equiv]
HB_unnamed_mixin_37 [def, in infotheo.probability.convex_equiv]
HB_unnamed_mixin_38 [def, in infotheo.probability.convex_equiv]
HB_unnamed_mixin_4 [def, in infotheo.lib.ssralg_ext]
HB_unnamed_mixin_5 [def, in infotheo.probability.fsdist]
HB_unnamed_mixin_5 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_mixin_6 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_mixin_7 [def, in infotheo.information_theory.entropy_convex]
HB_unnamed_mixin_7 [def, in infotheo.ecc_modern.ldpc_erasure]
HB_unnamed_mixin_7 [def, in infotheo.ecc_modern.ldpc_algo]
HB_unnamed_mixin_72 [def, in infotheo.probability.necset]
HB_unnamed_mixin_76 [def, in infotheo.probability.necset]
HB_unnamed_mixin_79 [def, in infotheo.probability.convex]
HB_unnamed_mixin_8 [def, in infotheo.probability.fdist]
HB_unnamed_mixin_8 [def, in infotheo.probability.convex]
HB_unnamed_mixin_8 [def, in infotheo.lib.ssralg_ext]
HB_unnamed_mixin_8 [def, in infotheo.ecc_modern.ldpc_erasure]
HB_unnamed_mixin_83 [def, in infotheo.probability.necset]
HB_unnamed_mixin_9 [def, in infotheo.probability.fsdist]
HB_unnamed_mixin_9 [def, in infotheo.probability.fdist]
HB_unnamed_mixin_9 [def, in infotheo.information_theory.types]
HB_unnamed_mixin_9 [def, in infotheo.information_theory.jtypes]
HB_unnamed_mixin_96 [def, in infotheo.probability.convex]
HB_unnamed_mixin_97 [def, in infotheo.probability.convex]
Hdef [def, in infotheo.information_theory.types]
Hdelta [prf, in infotheo.information_theory.source_coding_fl_converse]
head_of_fdist_rV [def, in infotheo.probability.fdist]
head_of_fdist_rV_belast_last [prf, in infotheo.probability.fdist]
head_of_fdist_rV_fdist_nth [prf, in infotheo.probability.fdist]
head_of_fdist_rV_fdist_rV [prf, in infotheo.probability.fdist]
head_ofE [prf, in infotheo.probability.fdist]
Hepsilon1 [prf, in infotheo.information_theory.source_coding_fl_converse]
Hlambdar [prf, in infotheo.information_theory.source_coding_fl_direct]
hoH [def, in infotheo.information_theory.string_entropy]
hoH_decr [prf, in infotheo.information_theory.string_entropy]
hom_syndrome [def, in infotheo.ecc_classic.linearcode]
horner_errloc_0 [prf, in infotheo.ecc_classic.poly_decoding]
HP_HPW [prf, in infotheo.information_theory.binary_symmetric_channel]
Hr1 [prf, in infotheo.information_theory.source_coding_fl_converse]
Hreg [proj, in infotheo.ecc_modern.ldpc]
Hreg_ldpc [def, in infotheo.ecc_modern.ldpc]
Hs0 [def, in infotheo.information_theory.string_entropy]
hull [def, in infotheo.probability.convex]
hull0 [prf, in infotheo.probability.convex]
hull_add [prf, in infotheo.probability.convex]
hull_conv_set_strr [prf, in infotheo.probability.necset]
hull_cset [prf, in infotheo.probability.convex]
hull_eq0 [prf, in infotheo.probability.convex]
hull_eqEsubset [prf, in infotheo.probability.convex]
hull_is_convex [prf, in infotheo.probability.convex]
hull_iter_conv_set [prf, in infotheo.probability.necset]
hull_monotone [prf, in infotheo.probability.convex]
hull_setU [prf, in infotheo.probability.convex]
hull_sub_convex [prf, in infotheo.probability.convex]
hullI [prf, in infotheo.probability.convex]
hullU_strl [prf, in infotheo.probability.convex]
hullU_strr [prf, in infotheo.probability.convex]
hullUA [prf, in infotheo.probability.convex]