S (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 |
S (Definitions)
S1 [def, in infotheo.probability.convex]S1_inj [def, in infotheo.probability.convex]
S3.p01 [def, in infotheo.probability.convex_stone]
S3.p012 [def, in infotheo.probability.convex_stone]
S3.p02 [def, in infotheo.probability.convex_stone]
S3.p021 [def, in infotheo.probability.convex_stone]
S3.p12 [def, in infotheo.probability.convex_stone]
s_of_pq [def, in infotheo.lib.realType_ext]
sbound_f' [def, in infotheo.ecc_classic.linearcode]
scale0pt [def, in infotheo.probability.convex]
scale1pt [def, in infotheo.probability.convex]
scale_RV [def, in infotheo.probability.proba]
scaled_of_sum [def, in infotheo.probability.convex]
scaled_set [def, in infotheo.probability.convex]
scalept [def, in infotheo.probability.convex]
scaleptA [def, in infotheo.probability.convex]
scaleptDl [def, in infotheo.probability.convex]
scaleptDr [def, in infotheo.probability.convex]
scaler [def, in infotheo.probability.convex]
scha [def, in infotheo.information_theory.channel_code]
scode_fl [def, in infotheo.information_theory.source_code]
scode_vl [def, in infotheo.information_theory.source_code]
segment [def, in infotheo.probability.convex]
select_children [def, in infotheo.ecc_modern.ldpc_algo]
SemiCompSemiLatt.Exports.necset_SemiCompSemiLatt__to__choice_Choice [def, in infotheo.probability.necset]
SemiCompSemiLatt.Exports.necset_SemiCompSemiLatt__to__eqtype_Equality [def, in infotheo.probability.necset]
SemiCompSemiLatt.Exports.necset_SemiCompSemiLatt__to__necset_SemiLattice [def, in infotheo.probability.necset]
SemiCompSemiLatt.Exports.necset_SemiCompSemiLatt_class__to__choice_Choice_class [def, in infotheo.probability.necset]
SemiCompSemiLatt.Exports.necset_SemiCompSemiLatt_class__to__eqtype_Equality_class [def, in infotheo.probability.necset]
SemiCompSemiLatt.Exports.necset_SemiCompSemiLatt_class__to__necset_SemiLattice_class [def, in infotheo.probability.necset]
SemiCompSemiLatt.pack_ [def, in infotheo.probability.necset]
SemiCompSemiLatt.phant_clone [def, in infotheo.probability.necset]
SemiCompSemiLatt.phant_on_ [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.join_necset_SemiCompSemiLattConv_between_convex_ConvexSpace_and_necset_SemiCompSemiLatt [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.join_necset_SemiCompSemiLattConv_between_necset_SemiCompSemiLatt_and_necset_SemiLattConv [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv__to__choice_Choice [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv__to__convex_ConvexSpace [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv__to__eqtype_Equality [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv__to__necset_SemiCompSemiLatt [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv__to__necset_SemiLattConv [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv__to__necset_SemiLattice [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv_class__to__choice_Choice_class [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv_class__to__convex_ConvexSpace_class [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv_class__to__eqtype_Equality_class [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv_class__to__necset_SemiCompSemiLatt_class [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv_class__to__necset_SemiLattConv_class [def, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports.necset_SemiCompSemiLattConv_class__to__necset_SemiLattice_class [def, in infotheo.probability.necset]
SemiCompSemiLattConv.pack_ [def, in infotheo.probability.necset]
SemiCompSemiLattConv.phant_clone [def, in infotheo.probability.necset]
SemiCompSemiLattConv.phant_on_ [def, in infotheo.probability.necset]
SemiLattConv.Exports.join_necset_SemiLattConv_between_convex_ConvexSpace_and_necset_SemiLattice [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv__to__choice_Choice [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv__to__convex_ConvexSpace [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv__to__eqtype_Equality [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv__to__necset_SemiLattice [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv_class__to__choice_Choice_class [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv_class__to__convex_ConvexSpace_class [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv_class__to__eqtype_Equality_class [def, in infotheo.probability.necset]
SemiLattConv.Exports.necset_SemiLattConv_class__to__necset_SemiLattice_class [def, in infotheo.probability.necset]
SemiLattConv.pack_ [def, in infotheo.probability.necset]
SemiLattConv.phant_clone [def, in infotheo.probability.necset]
SemiLattConv.phant_on_ [def, in infotheo.probability.necset]
SemiLattice.Exports.necset_SemiLattice__to__choice_Choice [def, in infotheo.probability.necset]
SemiLattice.Exports.necset_SemiLattice__to__eqtype_Equality [def, in infotheo.probability.necset]
SemiLattice.Exports.necset_SemiLattice_class__to__choice_Choice_class [def, in infotheo.probability.necset]
SemiLattice.Exports.necset_SemiLattice_class__to__eqtype_Equality_class [def, in infotheo.probability.necset]
SemiLattice.pack_ [def, in infotheo.probability.necset]
SemiLattice.phant_clone [def, in infotheo.probability.necset]
SemiLattice.phant_on_ [def, in infotheo.probability.necset]
seq_nat_fdist [def, in infotheo.information_theory.string_entropy]
seqs_but1 [def, in infotheo.ecc_modern.ldpc_algo]
set1 [def, in infotheo.ecc_modern.stopping_set]
set2 [def, in infotheo.ecc_modern.stopping_set]
Set2.a [def, in infotheo.lib.ssr_ext]
Set2.b [def, in infotheo.lib.ssr_ext]
set_co_occ [def, in infotheo.lib.num_occ]
set_jtyp_seq [def, in infotheo.information_theory.joint_typ_seq]
set_occ [def, in infotheo.lib.num_occ]
set_set_co_occ [def, in infotheo.lib.num_occ]
set_typ_seq [def, in infotheo.information_theory.typ_seq]
set_val [def, in infotheo.probability.bayes]
set_vals [def, in infotheo.probability.bayes]
set_vals' [def, in infotheo.probability.bayes]
setY [def, in infotheo.lib.ssr_ext]
sgraph [def, in infotheo.ecc_modern.summary_tanner]
shell [def, in infotheo.information_theory.jtypes]
shell_partition [def, in infotheo.information_theory.jtypes]
sig_derive1_DnH2 [def, in infotheo.lib.binary_entropy_function]
sig_derive1_H2 [def, in infotheo.lib.binary_entropy_function]
sig_derive1_nH2 [def, in infotheo.lib.binary_entropy_function]
sigma [def, in infotheo.information_theory.kraft]
Sigma [def, in infotheo.ecc_classic.grs]
simple [def, in infotheo.ecc_modern.subgraph_partition]
simple_of_colorable [def, in infotheo.ecc_modern.subgraph_partition]
Sn.proj0 [def, in infotheo.probability.convex_stone]
Sn.swap_asa [def, in infotheo.probability.convex_stone]
sort_sizes [def, in infotheo.information_theory.kraft]
sort_tuple [def, in infotheo.lib.ssr_ext]
SP_BEC [def, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0 [def, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_rec [def, in infotheo.ecc_modern.ldpc_erasure]
Split.d [def, in infotheo.robust.weightedmean]
Split.f [def, in infotheo.robust.weightedmean]
Split.fst_RV [def, in infotheo.robust.weightedmean]
Split.fst_RV' [def, in infotheo.robust.weightedmean]
Split.g [def, in infotheo.robust.weightedmean]
split_prod [def, in infotheo.probability.convex]
split_prodpl [def, in infotheo.probability.convex]
split_prodpr [def, in infotheo.probability.convex]
split_tuple [def, in infotheo.information_theory.jtypes]
sq_dev [def, in infotheo.robust.weightedmean]
sq_dev_arg_max [def, in infotheo.robust.weightedmean]
sq_dev_max [def, in infotheo.robust.weightedmean]
SrcConverseBound [def, in infotheo.information_theory.source_coding_fl_converse]
SrcErrRate [def, in infotheo.information_theory.source_code]
SrcRate [def, in infotheo.information_theory.source_code]
ssgraph [def, in infotheo.ecc_modern.summary_tanner]
ssralg_ext_GF2_of_F2__canonical__Algebra_Additive [def, in infotheo.lib.ssralg_ext]
ssralg_ext_GF2_of_F2__canonical__GRing_RMorphism [def, in infotheo.lib.ssralg_ext]
ssrfun_comp__canonical__convex_Affine [def, in infotheo.probability.convex]
ssrfun_comp__canonical__necset_BiglubAffine [def, in infotheo.probability.necset]
ssrfun_comp__canonical__necset_BiglubMorph [def, in infotheo.probability.necset]
ssrfun_idfun__canonical__convex_Affine [def, in infotheo.probability.convex]
ssrfun_idfun__canonical__necset_BiglubAffine [def, in infotheo.probability.necset]
ssrfun_idfun__canonical__necset_BiglubMorph [def, in infotheo.probability.necset]
starblank [def, in infotheo.ecc_modern.ldpc_erasure]
starFnext [def, in infotheo.ecc_modern.stopping_set]
starletter [def, in infotheo.ecc_modern.ldpc_erasure]
stop [def, in infotheo.lib.euclid]
stop' [def, in infotheo.lib.euclid]
stopset [def, in infotheo.ecc_modern.stopping_set]
strictly_concavef_at [def, in infotheo.probability.convex]
strictly_convexf_at [def, in infotheo.probability.convex]
sub_vec [def, in infotheo.lib.ssralg_ext]
subgraph [def, in infotheo.ecc_modern.subgraph_partition]
subgraph_succ [def, in infotheo.ecc_modern.subgraph_partition]
subgraph_succ2_D1 [def, in infotheo.ecc_modern.subgraph_partition]
subgraph_succ_D1 [def, in infotheo.ecc_modern.subgraph_partition]
Subvec.d [def, in infotheo.probability.fdist]
success_factor [def, in infotheo.information_theory.success_decode_bound]
success_factor_bound [def, in infotheo.information_theory.success_decode_bound]
successors [def, in infotheo.ecc_modern.subgraph_partition]
suffixes [def, in infotheo.information_theory.kraft]
Sum [def, in infotheo.ecc_modern.ldpc_erasure]
sum_2 [def, in infotheo.probability.proba]
sum_coef [def, in infotheo.ecc_modern.degree_profile]
sum_letter [def, in infotheo.ecc_modern.ldpc_erasure]
sum_mlog_prod [def, in infotheo.information_theory.aep]
sum_num_occ [def, in infotheo.lib.num_occ]
sum_of_scaled [def, in infotheo.probability.convex]
sumbool_ord [def, in infotheo.ecc_modern.ldpc_algo]
summary_fold [def, in infotheo.ecc_modern.summary]
summary_powerset [def, in infotheo.ecc_modern.summary]
sumprod [def, in infotheo.ecc_modern.ldpc_algo]
sumprod_down [def, in infotheo.ecc_modern.ldpc_algo]
sumprod_ext [def, in infotheo.ecc_modern.ldpc_algo]
sumprod_spec [def, in infotheo.ecc_modern.ldpc_algo]
sumprod_up [def, in infotheo.ecc_modern.ldpc_algo]
sumproduct [def, in infotheo.ecc_modern.ldpc]
sumproduct_init [def, in infotheo.ecc_modern.ldpc]
sumproduct_loop [def, in infotheo.ecc_modern.ldpc]
supp [def, in infotheo.lib.ssralg_ext]
syndrome [def, in infotheo.ecc_classic.linearcode]
syndromep [def, in infotheo.ecc_classic.poly_decoding]
SysHamming.CSM [def, in infotheo.ecc_classic.hamming_code]
SysHamming.GEN' [def, in infotheo.ecc_classic.hamming_code]
SysHamming.GEN'' [def, in infotheo.ecc_classic.hamming_code]
SysHamming.ids1 [def, in infotheo.ecc_classic.hamming_code]
SysHamming.idsA [def, in infotheo.ecc_classic.hamming_code]
SysHamming.mx_discard [def, in infotheo.ecc_classic.hamming_code]
SysHamming.mx_discard' [def, in infotheo.ecc_classic.hamming_code]
SysHamming.non_unit_cols [def, in infotheo.ecc_classic.hamming_code]
SysHamming.ord_split [def, in infotheo.ecc_classic.hamming_code]
SysHamming.PCM [def, in infotheo.ecc_classic.hamming_code]
SysHamming.perm_ids [def, in infotheo.ecc_classic.hamming_code]
SysHamming.systematic [def, in infotheo.ecc_classic.hamming_code]
SysHamming.unit_cols [def, in infotheo.ecc_classic.hamming_code]
Syslcode.DIS [def, in infotheo.ecc_classic.linearcode]
Syslcode.discard [def, in infotheo.ecc_classic.linearcode]
Syslcode.encode [def, in infotheo.ecc_classic.linearcode]
Syslcode.GEN [def, in infotheo.ecc_classic.linearcode]
Syslcode.PCM [def, in infotheo.ecc_classic.linearcode]
Syslcode.t [def, in infotheo.ecc_classic.linearcode]