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

R (Definitions)

R [def, in infotheo.information_theory.joint_typ_seq]
R [def, in infotheo.information_theory.channel_coding_direct]
R2 [def, in infotheo.ecc_modern.ldpc_algo]
r_of_pq [def, in infotheo.lib.realType_ext]
raw_weight [def, in infotheo.probability.convex]
rbehead [def, in infotheo.lib.ssralg_ext]
rbelast [def, in infotheo.lib.ssralg_ext]
rcode_coercion [def, in infotheo.ecc_classic.linearcode]
RConvex.avgnR [def, in infotheo.probability.convex]
RConvex.big_scaleR [def, in infotheo.probability.convex]
RConvex.convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
RConvex.GRing_regular__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
RConvex.HB_unnamed_factory_60 [def, in infotheo.probability.convex]
RConvex.HB_unnamed_mixin_62 [def, in infotheo.probability.convex]
RConvex.scaleR [def, in infotheo.probability.convex]
rcs [def, in infotheo.ecc_classic.cyclic_code]
rcs' [def, in infotheo.ecc_classic.cyclic_code]
rcs_perm [def, in infotheo.ecc_classic.cyclic_code]
rcs_perm_ffun [def, in infotheo.ecc_classic.cyclic_code]
rcs_poly [def, in infotheo.ecc_classic.cyclic_code]
rcsP [def, in infotheo.ecc_classic.cyclic_code]
RealCone.Exports.convex_RealCone__to__choice_Choice [def, in infotheo.probability.convex]
RealCone.Exports.convex_RealCone__to__convex_QuasiRealCone [def, in infotheo.probability.convex]
RealCone.Exports.convex_RealCone__to__eqtype_Equality [def, in infotheo.probability.convex]
RealCone.Exports.convex_RealCone_class__to__choice_Choice_class [def, in infotheo.probability.convex]
RealCone.Exports.convex_RealCone_class__to__convex_QuasiRealCone_class [def, in infotheo.probability.convex]
RealCone.Exports.convex_RealCone_class__to__eqtype_Equality_class [def, in infotheo.probability.convex]
RealCone.pack_ [def, in infotheo.probability.convex]
RealCone.phant_clone [def, in infotheo.probability.convex]
RealCone.phant_on_ [def, in infotheo.probability.convex]
receivable_prop [def, in infotheo.information_theory.pproba]
reg_rate [def, in infotheo.ecc_modern.ldpc]
relYn [def, in infotheo.information_theory.jtypes]
rem_lea_false [def, in infotheo.lib.natbin]
Rep.code [def, in infotheo.ecc_classic.repcode]
Rep.CSM [def, in infotheo.ecc_classic.repcode]
Rep.Lcode_wo_repair [def, in infotheo.ecc_classic.repcode]
repair [def, in infotheo.ecc_classic.repcode]
repairT [def, in infotheo.ecc_classic.decoding]
rev_fin_img [def, in infotheo.probability.bayes]
rlast [def, in infotheo.lib.ssralg_ext]
Rnonneg_interval [def, in infotheo.probability.convex]
row_drop [def, in infotheo.lib.ssralg_ext]
row_num_occ [def, in infotheo.information_theory.jtypes]
row_of_bitseq [def, in infotheo.lib.ssralg_ext]
row_of_seq [def, in infotheo.lib.ssralg_ext]
row_of_tuple [def, in infotheo.lib.ssralg_ext]
row_set [def, in infotheo.lib.ssralg_ext]
row_take [def, in infotheo.lib.ssralg_ext]
rowF2_tuplebool [def, in infotheo.lib.ssralg_ext]
rowVnextD1 [def, in infotheo.ecc_modern.ldpc_erasure]
Rpos_interval [def, in infotheo.probability.convex]
RS.code [def, in infotheo.ecc_classic.reed_solomon]
RS.codebook [def, in infotheo.ecc_classic.reed_solomon]
RS.errors_ub [def, in infotheo.ecc_classic.reed_solomon]
RS.PCM [def, in infotheo.ecc_classic.reed_solomon]
RS.redundancy_ub [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.decoder [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.encoder [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.high [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.low [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.RS_as_lcode [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.RS_code [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.RS_discard [def, in infotheo.ecc_classic.reed_solomon]
RS_encoder.RS_discard' [def, in infotheo.ecc_classic.reed_solomon]
RS_err [def, in infotheo.ecc_classic.reed_solomon]
rs_gen [def, in infotheo.ecc_classic.reed_solomon]
RS_mod [def, in infotheo.ecc_classic.reed_solomon]
RS_repair [def, in infotheo.ecc_classic.reed_solomon]
RV [def, in infotheo.probability.proba]
RV2 [def, in infotheo.probability.proba]
RV_equiv [def, in infotheo.probability.bayes]
RV_fctE [def, in infotheo.probability.proba]
RV_lmodMixin [def, in infotheo.probability.proba]
RV_of [def, in infotheo.probability.proba]
rV_of_nat [def, in infotheo.lib.natbin]
RV_op [def, in infotheo.probability.proba]
rV_prod [def, in infotheo.lib.ssralg_ext]
rvar_choice [def, in infotheo.probability.bayes]
rVexp [def, in infotheo.lib.dft]
RVn [def, in infotheo.probability.proba]