H (Definitions)

Files

Definitions

Lemmas

Abbreviations

Global Index

H (Definitions)

H2 [def, in infotheo.lib.binary_entropy_function]
H2ln [def, in infotheo.lib.binary_entropy_function]
Hamming'.channel_code [def, in infotheo.ecc_classic.hamming_code]
Hamming'.discard [def, in infotheo.ecc_classic.hamming_code]
Hamming'.GEN [def, in infotheo.ecc_classic.hamming_code]
Hamming'.mx_discard [def, in infotheo.ecc_classic.hamming_code]
Hamming.code [def, in infotheo.ecc_classic.hamming_code]
Hamming.len [def, in infotheo.ecc_classic.hamming_code]
Hamming.PCM [def, in infotheo.ecc_classic.hamming_code]
hamming_err [def, in infotheo.ecc_classic.hamming_code]
hamming_repair [def, in infotheo.ecc_classic.hamming_code]
HammingBitstring.dH [def, in infotheo.lib.hamming]
HammingBitstring.wH [def, in infotheo.lib.hamming]
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]
head_of_fdist_rV [def, in infotheo.probability.fdist]
hoH [def, in infotheo.information_theory.string_entropy]
hom_syndrome [def, in infotheo.ecc_classic.linearcode]
Hreg_ldpc [def, in infotheo.ecc_modern.ldpc]
Hs0 [def, in infotheo.information_theory.string_entropy]
hull [def, in infotheo.probability.convex]