H (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

H (Lemmas)

H_out_binary_uniform [prf, in infotheo.information_theory.binary_symmetric_channel]
H_out_max [prf, in infotheo.information_theory.binary_symmetric_channel]
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'.hamming_repair_img [prf, 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.dim_len [prf, 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.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_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_img [prf, in infotheo.ecc_classic.hamming_code]
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]
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]
Hdelta [prf, in infotheo.information_theory.source_coding_fl_converse]
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_decr [prf, in infotheo.information_theory.string_entropy]
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]
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]