L (Definitions)

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

L (Definitions)

L [def, in infotheo.probability.convex]
L_not_typ [def, in infotheo.information_theory.source_coding_vl_direct]
L_typ [def, in infotheo.information_theory.source_coding_vl_direct]
labels [def, in infotheo.ecc_modern.ldpc_algo]
lambda [def, in infotheo.information_theory.source_coding_fl_direct]
lambda [def, in infotheo.information_theory.source_coding_fl_converse]
Lambda_of_L [def, in infotheo.ecc_modern.degree_profile]
largest_stopset [def, in infotheo.ecc_modern.stopping_set]
lastE [def, in infotheo.ecc_modern.ldpc_algo_proof]
lcode [def, in infotheo.ecc_classic.hamming_code]
Lcode.lcode_coercion [def, in infotheo.ecc_classic.linearcode]
Lcode0.not_empty [def, in infotheo.ecc_classic.linearcode]
Lcode0.t [def, in infotheo.ecc_classic.linearcode]
lcode_coercion [def, in infotheo.ecc_classic.linearcode]
ldpc_algo_alpha_op__canonical__Monoid_ComLaw [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_alpha_op__canonical__Monoid_Law [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_alpha_op__canonical__SemiGroup_ComLaw [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_alpha_op__canonical__SemiGroup_Law [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_beta_op__canonical__Monoid_ComLaw [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_beta_op__canonical__Monoid_Law [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_beta_op__canonical__SemiGroup_ComLaw [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_beta_op__canonical__SemiGroup_Law [def, in infotheo.ecc_modern.ldpc_algo]
ldpc_algo_kind__canonical__eqtype_Equality [def, in infotheo.ecc_modern.ldpc_algo_proof]
ldpc_algo_tag__canonical__eqtype_Equality [def, in infotheo.ecc_modern.ldpc_algo_proof]
ldpc_algo_tn_tree__canonical__eqtype_Equality [def, in infotheo.ecc_modern.ldpc_algo_proof]
ldpc_erasure_letter__canonical__choice_Choice [def, in infotheo.ecc_modern.ldpc_erasure]
ldpc_erasure_letter__canonical__choice_Countable [def, in infotheo.ecc_modern.ldpc_erasure]
ldpc_erasure_letter__canonical__eqtype_Equality [def, in infotheo.ecc_modern.ldpc_erasure]
ldpc_erasure_letter__canonical__fintype_Finite [def, in infotheo.ecc_modern.ldpc_erasure]
le_rank [def, in infotheo.lib.ssr_ext]
lel [def, in infotheo.ecc_modern.ldpc_erasure]
letter_pickle [def, in infotheo.ecc_modern.ldpc_erasure]
letter_unpickle [def, in infotheo.ecc_modern.ldpc_erasure]
LinearAffine.HB_unnamed_factory_58 [def, in infotheo.probability.convex]
LinearAffine.Linear_sort__canonical__convex_Affine [def, in infotheo.probability.convex]
linearcode_sbound_f'__canonical__Algebra_Additive [def, in infotheo.ecc_classic.linearcode]
linearcode_sbound_f'__canonical__GRing_Linear [def, in infotheo.ecc_classic.linearcode]
linearcode_syndrome__canonical__Algebra_Additive [def, in infotheo.ecc_classic.linearcode]
linearcode_syndrome__canonical__GRing_Linear [def, in infotheo.ecc_classic.linearcode]
LmoduleConvex.convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
LmoduleConvex.HB_unnamed_factory_53 [def, in infotheo.probability.convex]
LmoduleConvex.HB_unnamed_mixin_55 [def, in infotheo.probability.convex]
LmoduleConvex.HB_unnamed_mixin_56 [def, in infotheo.probability.convex]
LmoduleConvex.HB_unnamed_mixin_57 [def, in infotheo.probability.convex]
LmoduleConvex.Lmodule_sort__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
location_polynomial_points [def, in infotheo.ecc_classic.alternant]
log [def, in infotheo.lib.realType_ln]
Log [def, in infotheo.lib.realType_ln]
log_RV [def, in infotheo.probability.proba]
log_sum_stmt [def, in infotheo.probability.log_sum]
loop [def, in infotheo.ecc_classic.cyclic_code]
lowest_size [def, in infotheo.ecc_classic.linearcode]
lt_rank [def, in infotheo.lib.ssr_ext]
lub [def, in infotheo.probability.necset]
lub_morph [def, in infotheo.probability.necset]
lubA [def, in infotheo.probability.necset]
lubC [def, in infotheo.probability.necset]
lubDr [def, in infotheo.probability.necset]
lubE [def, in infotheo.probability.necset]
lubxx [def, in infotheo.probability.necset]