S (Global Index)
| 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
S1 [abbrev, in infotheo.probability.fsdist]S1 [def, in infotheo.probability.convex]
S1_Convn [prf, in infotheo.probability.convex]
S1_Convn_finType [prf, in infotheo.probability.convex]
S1_Convn_proj [prf, in infotheo.probability.convex]
S1_inj [def, in infotheo.probability.convex]
S1_neq0 [prf, in infotheo.probability.convex]
S1_proj_Convn_finType [prf, in infotheo.probability.convex]
S2 [mod, in infotheo.probability.convex_stone]
S2.generators [prf, in infotheo.probability.convex_stone]
S3 [mod, in infotheo.probability.convex_stone]
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]
S3.suff_generators [prf, in infotheo.probability.convex_stone]
S_mass [prf, in infotheo.robust.weightedmean]
s_of_0q [prf, in infotheo.lib.realType_ext]
s_of_1q [prf, in infotheo.lib.realType_ext]
s_of_gt0 [prf, in infotheo.lib.realType_ext]
s_of_gt0_oprob [prf, in infotheo.lib.realType_ext]
s_of_p0 [prf, in infotheo.lib.realType_ext]
s_of_p1 [prf, in infotheo.lib.realType_ext]
s_of_pq [def, in infotheo.lib.realType_ext]
s_of_pqE [prf, in infotheo.lib.realType_ext]
s_of_pqK [prf, in infotheo.lib.realType_ext]
s_of_rpos_probA [prf, in infotheo.lib.realType_ext]
sbound_f' [def, in infotheo.ecc_classic.linearcode]
sbound_f'D [prf, in infotheo.ecc_classic.linearcode]
sbound_f'N [prf, in infotheo.ecc_classic.linearcode]
sbound_f'Z [prf, in infotheo.ecc_classic.linearcode]
scale0pt [def, in infotheo.probability.convex]
scale1pt [def, in infotheo.probability.convex]
scale_cgen [prf, in infotheo.ecc_classic.cyclic_code]
scale_RV [def, in infotheo.probability.proba]
scale_RVA [prf, in infotheo.probability.proba]
Scaled [constr, in infotheo.probability.convex]
scaled [ind, in infotheo.probability.convex]
Scaled1rK [prf, in infotheo.probability.convex]
scaled_ind [scheme, in infotheo.probability.convex]
Scaled_inj [prf, in infotheo.probability.convex]
scaled_of_sum [def, in infotheo.probability.convex]
Scaled_point [prf, in infotheo.probability.convex]
scaled_rec [scheme, in infotheo.probability.convex]
scaled_rect [scheme, in infotheo.probability.convex]
scaled_set [def, in infotheo.probability.convex]
scaled_set_extract [prf, in infotheo.probability.convex]
scaled_sind [scheme, in infotheo.probability.convex]
scalept [def, in infotheo.probability.convex]
scalept0 [prf, in infotheo.probability.convex]
scalept_addRnng [prf, in infotheo.probability.convex]
scalept_barycenter [prf, in infotheo.probability.convex]
scalept_conv [prf, in infotheo.probability.convex]
scalept_gt0 [prf, in infotheo.probability.convex]
scalept_Scaled [prf, in infotheo.probability.convex]
scalept_scaled_set [prf, in infotheo.probability.convex]
scalept_sum [prf, in infotheo.probability.convex]
scalept_weight [prf, 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]
scaler_addpt [prf, in infotheo.probability.convex]
scaler_const_RV [prf, in infotheo.probability.proba]
scaler_scalept [prf, in infotheo.probability.convex]
scalerRVE [prf, in infotheo.probability.proba]
scalerZero [prf, in infotheo.probability.convex]
scha [def, in infotheo.information_theory.channel_code]
scha_pos [prf, in infotheo.information_theory.channel_code]
schaE [prf, in infotheo.information_theory.channel_code]
scode [rec, in infotheo.information_theory.source_code]
scode_fl [def, in infotheo.information_theory.source_code]
scode_vl [def, in infotheo.information_theory.source_code]
second_derivative_convexf_pt [prf, in infotheo.probability.convex]
second_summand [prf, in infotheo.information_theory.channel_coding_direct]
segment [def, in infotheo.probability.convex]
segment_hull [prf, in infotheo.probability.convex]
segment_is_convex [prf, in infotheo.probability.convex]
segment_sym [prf, in infotheo.probability.convex]
segmentC [prf, in infotheo.probability.convex]
segmentL [prf, in infotheo.probability.convex]
segmentR [prf, in infotheo.probability.convex]
select_children [def, in infotheo.ecc_modern.ldpc_algo]
select_children_def [prf, in infotheo.ecc_modern.ldpc_algo_proof]
select_children_spec [prf, in infotheo.ecc_modern.ldpc_algo_proof]
select_children_uniq [prf, in infotheo.ecc_modern.ldpc_algo_proof]
SemiCompSemiLatt [abbrev, in infotheo.probability.necset]
SemiCompSemiLatt [mod, in infotheo.probability.necset]
SemiCompSemiLatt.axioms_ [rec, in infotheo.probability.necset]
SemiCompSemiLatt.choice_hasChoice_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLatt.class [proj, in infotheo.probability.necset]
SemiCompSemiLatt.clone [abbrev, in infotheo.probability.necset]
SemiCompSemiLatt.copy [abbrev, in infotheo.probability.necset]
SemiCompSemiLatt.eqtype_hasDecEq_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLatt.Exports [mod, in infotheo.probability.necset]
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.Exports.semiCompSemiLattType [abbrev, in infotheo.probability.necset]
SemiCompSemiLatt.necset_isSemiCompSemiLatt_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLatt.necset_isSemiLattice_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLatt.on [abbrev, in infotheo.probability.necset]
SemiCompSemiLatt.on_ [abbrev, 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]
SemiCompSemiLatt.sort [proj, in infotheo.probability.necset]
SemiCompSemiLatt.type [rec, in infotheo.probability.necset]
SemiCompSemiLattConv [abbrev, in infotheo.probability.necset]
SemiCompSemiLattConv [mod, in infotheo.probability.necset]
SemiCompSemiLattConv.axioms_ [rec, in infotheo.probability.necset]
SemiCompSemiLattConv.choice_hasChoice_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.class [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.clone [abbrev, in infotheo.probability.necset]
SemiCompSemiLattConv.convex_isConvexSpace0_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.copy [abbrev, in infotheo.probability.necset]
SemiCompSemiLattConv.eqtype_hasDecEq_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.Exports [mod, 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.Exports.semiCompSemiLattConvType [abbrev, in infotheo.probability.necset]
SemiCompSemiLattConv.necset_isSemiCompSemiLatt_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.necset_isSemiCompSemiLattConv_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.necset_isSemiLattConv_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.necset_isSemiLattice_mixin [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.on [abbrev, in infotheo.probability.necset]
SemiCompSemiLattConv.on_ [abbrev, 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]
SemiCompSemiLattConv.sort [proj, in infotheo.probability.necset]
SemiCompSemiLattConv.type [rec, in infotheo.probability.necset]
SemiCompSemiLattConvElpiOperations [mod, in infotheo.probability.necset]
SemiCompSemiLattElpiOperations [mod, in infotheo.probability.necset]
SemiLattConv [abbrev, in infotheo.probability.necset]
SemiLattConv [mod, in infotheo.probability.necset]
SemiLattConv.axioms_ [rec, in infotheo.probability.necset]
SemiLattConv.choice_hasChoice_mixin [proj, in infotheo.probability.necset]
SemiLattConv.class [proj, in infotheo.probability.necset]
SemiLattConv.clone [abbrev, in infotheo.probability.necset]
SemiLattConv.convex_isConvexSpace0_mixin [proj, in infotheo.probability.necset]
SemiLattConv.copy [abbrev, in infotheo.probability.necset]
SemiLattConv.eqtype_hasDecEq_mixin [proj, in infotheo.probability.necset]
SemiLattConv.Exports [mod, 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.Exports.semiLattConvType [abbrev, in infotheo.probability.necset]
SemiLattConv.necset_isSemiLattConv_mixin [proj, in infotheo.probability.necset]
SemiLattConv.necset_isSemiLattice_mixin [proj, in infotheo.probability.necset]
SemiLattConv.on [abbrev, in infotheo.probability.necset]
SemiLattConv.on_ [abbrev, 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]
SemiLattConv.sort [proj, in infotheo.probability.necset]
SemiLattConv.type [rec, in infotheo.probability.necset]
SemiLattConvElpiOperations [mod, in infotheo.probability.necset]
SemiLattice [abbrev, in infotheo.probability.necset]
SemiLattice [mod, in infotheo.probability.necset]
SemiLattice.axioms_ [rec, in infotheo.probability.necset]
SemiLattice.choice_hasChoice_mixin [proj, in infotheo.probability.necset]
SemiLattice.class [proj, in infotheo.probability.necset]
SemiLattice.clone [abbrev, in infotheo.probability.necset]
SemiLattice.copy [abbrev, in infotheo.probability.necset]
SemiLattice.eqtype_hasDecEq_mixin [proj, in infotheo.probability.necset]
SemiLattice.Exports [mod, 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.Exports.semiLattType [abbrev, in infotheo.probability.necset]
SemiLattice.necset_isSemiLattice_mixin [proj, in infotheo.probability.necset]
SemiLattice.on [abbrev, in infotheo.probability.necset]
SemiLattice.on_ [abbrev, 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]
SemiLattice.sort [proj, in infotheo.probability.necset]
SemiLattice.type [rec, in infotheo.probability.necset]
SemiLatticeElpiOperations [mod, in infotheo.probability.necset]
seq_block_inv [prf, in infotheo.ecc_classic.repcode]
seq_full [prf, in infotheo.ecc_modern.ldpc_algo_proof]
seq_index_enum_card [prf, in infotheo.lib.ssr_ext]
seq_nat_fdist [def, in infotheo.information_theory.string_entropy]
seqs_but1 [def, in infotheo.ecc_modern.ldpc_algo]
set0T [prf, in infotheo.probability.proba]
set0X [prf, in infotheo.lib.ssr_ext]
set0Y [prf, in infotheo.lib.ssr_ext]
set1 [def, in infotheo.ecc_modern.stopping_set]
set1_inj [prf, in infotheo.lib.classical_sets_ext]
set1_is_stopset [prf, in infotheo.ecc_modern.stopping_set]
set1_neq0 [prf, in infotheo.probability.necset]
set1_set2 [prf, in infotheo.lib.ssr_ext]
set1F [prf, in infotheo.ecc_modern.ldpc_algo_proof]
Set2 [mod, in infotheo.lib.ssr_ext]
set2 [def, in infotheo.ecc_modern.stopping_set]
Set2.a [def, in infotheo.lib.ssr_ext]
Set2.a_neq_b [prf, in infotheo.lib.ssr_ext]
Set2.b [def, in infotheo.lib.ssr_ext]
Set2.E [prf, in infotheo.lib.ssr_ext]
Set2.enumE [prf, in infotheo.lib.ssr_ext]
Set2.ind [prf, in infotheo.lib.ssr_ext]
Set2.neq_a_b [prf, in infotheo.lib.ssr_ext]
set2_is_not_stopset [prf, in infotheo.ecc_modern.stopping_set]
set2_set1 [prf, in infotheo.lib.ssr_ext]
Set2sumE [prf, in infotheo.lib.bigop_ext]
set_co_occ [def, in infotheo.lib.num_occ]
set_cons [prf, in infotheo.ecc_modern.degree_profile]
set_flatten_cond [prf, in infotheo.ecc_modern.degree_profile]
set_jtyp_seq [def, in infotheo.information_theory.joint_typ_seq]
set_mem [prf, in infotheo.ecc_modern.summary]
set_nil [prf, in infotheo.ecc_modern.degree_profile]
set_occ [def, in infotheo.lib.num_occ]
set_predleq_size [prf, in infotheo.lib.num_occ]
set_set_co_occ [def, in infotheo.lib.num_occ]
set_swap [prf, in infotheo.lib.ssr_ext]
set_typ_seq [def, in infotheo.information_theory.typ_seq]
set_typ_seq_incl [prf, in infotheo.information_theory.typ_seq]
set_typ_seq_not0 [prf, in infotheo.information_theory.typ_seq]
set_val [def, in infotheo.probability.bayes]
set_val_hd [prf, in infotheo.probability.bayes]
set_val_tl [prf, in infotheo.probability.bayes]
set_vals [def, in infotheo.probability.bayes]
set_vals' [def, in infotheo.probability.bayes]
set_vals_eq [prf, in infotheo.probability.bayes]
set_vals_hd [prf, in infotheo.probability.bayes]
set_vals_id [prf, in infotheo.probability.bayes]
set_vals_inj [prf, in infotheo.probability.bayes]
set_vals_prod_vals [prf, in infotheo.probability.bayes]
set_vals_prod_vals_id [prf, in infotheo.probability.bayes]
set_vals_prod_vals_join [prf, in infotheo.probability.bayes]
set_vals_tl [prf, in infotheo.probability.bayes]
set_valsC [prf, in infotheo.probability.bayes]
setCX [prf, in infotheo.lib.ssr_ext]
setDAC [prf, in infotheo.lib.ssr_ext]
setDIlW [prf, in infotheo.lib.ssr_ext]
setDUKl [prf, in infotheo.lib.ssr_ext]
setIDACW [prf, in infotheo.lib.ssr_ext]
setIUY [prf, in infotheo.lib.ssr_ext]
setIX [prf, in infotheo.lib.ssr_ext]
setIYI_disj [prf, in infotheo.lib.ssr_ext]
setIYl [prf, in infotheo.lib.ssr_ext]
setNY [prf, in infotheo.lib.ssr_ext]
setT_bool [prf, in infotheo.lib.ssr_ext]
setTE [prf, in infotheo.probability.proba]
setTT [prf, in infotheo.probability.proba]
setTX [prf, in infotheo.lib.ssr_ext]
setU_setUD [prf, in infotheo.lib.ssr_ext]
setX0 [prf, in infotheo.lib.ssr_ext]
setX1 [prf, in infotheo.lib.ssr_ext]
setX1r [prf, in infotheo.lib.ssr_ext]
setY [def, in infotheo.lib.ssr_ext]
setYA [prf, in infotheo.lib.ssr_ext]
setYC [prf, in infotheo.lib.ssr_ext]
sgraph [def, in infotheo.ecc_modern.summary_tanner]
shannon_fano [file, in infotheo.information_theory.shannon_fano]
shannon_fano_average_entropy [prf, in infotheo.information_theory.shannon_fano]
shannon_fano_is_kraft [prf, in infotheo.information_theory.shannon_fano]
shell [def, in infotheo.information_theory.jtypes]
shell_injective [prf, in infotheo.information_theory.jtypes]
shell_not_empty [prf, in infotheo.information_theory.jtypes]
shell_not_empty' [prf, in infotheo.information_theory.jtypes]
shell_not_empty_sorted [prf, in infotheo.information_theory.jtypes]
shell_partition [def, in infotheo.information_theory.jtypes]
shell_subset_output_type [prf, in infotheo.information_theory.jtypes]
shift_codeword [prf, in infotheo.ecc_classic.cyclic_code]
shift_linearity_codeword [prf, in infotheo.ecc_classic.cyclic_code]
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]
sigmaE0 [prf, in infotheo.information_theory.kraft]
simple [def, in infotheo.ecc_modern.subgraph_partition]
simple_edge [proj, in infotheo.ecc_modern.subgraph_partition]
simple_graph [rec, in infotheo.ecc_modern.subgraph_partition]
simple_neg [prf, in infotheo.ecc_modern.subgraph_partition]
simple_of_colorable [def, in infotheo.ecc_modern.subgraph_partition]
simple_prop [proj, in infotheo.ecc_modern.subgraph_partition]
simple_tanner_rel [prf, in infotheo.ecc_modern.tanner]
singleton_bound [prf, in infotheo.ecc_classic.linearcode]
size1_polyC_F2 [prf, in infotheo.lib.f2]
size_ary_of_nat [prf, in infotheo.information_theory.kraft]
size_bitseq_of_N_lb [prf, in infotheo.lib.natbin]
size_bitseq_of_N_lb' [prf, in infotheo.lib.natbin]
size_bitseq_of_N_ub [prf, in infotheo.lib.natbin]
size_bitseq_of_N_ub' [prf, in infotheo.lib.natbin]
size_bitseq_of_nat [prf, in infotheo.lib.natbin]
size_canonical_cgen [prf, in infotheo.ecc_classic.cyclic_code]
size_erreval [prf, in infotheo.ecc_classic.poly_decoding]
size_erreval_twisted [prf, in infotheo.ecc_classic.bch]
size_errloc [prf, in infotheo.ecc_classic.poly_decoding]
size_errloc_eq [prf, in infotheo.ecc_classic.poly_decoding]
size_index_enum [prf, in infotheo.lib.ssr_ext]
size_is_cgen [prf, in infotheo.ecc_classic.cyclic_code]
size_lead_coef_F2 [prf, in infotheo.lib.f2]
size_lead_coefK [prf, in infotheo.lib.poly_ext]
size_lowest [prf, in infotheo.ecc_classic.linearcode]
size_lowestP [prf, in infotheo.ecc_classic.linearcode]
size_N_of_bitseqK [prf, in infotheo.lib.natbin]
size_one_minus_X [prf, in infotheo.ecc_classic.poly_decoding]
size_pad_positive [prf, in infotheo.lib.natbin]
size_pad_seqL [prf, in infotheo.lib.ssr_ext]
size_pad_seqR [prf, in infotheo.lib.ssr_ext]
size_quot_eq0 [prf, in infotheo.lib.poly_ext]
size_r0_sum [prf, in infotheo.lib.euclid]
size_rcs [prf, in infotheo.ecc_classic.cyclic_code]
size_rcs_poly [prf, in infotheo.ecc_classic.cyclic_code]
size_rcs_poly_old [prf, in infotheo.ecc_classic.cyclic_code]
size_rs_gen [prf, in infotheo.ecc_classic.reed_solomon]
size_rstop [prf, in infotheo.lib.euclid]
size_seqs_but1 [prf, in infotheo.ecc_modern.ldpc_algo_proof]
size_sigma [prf, in infotheo.information_theory.kraft]
size_sort_sizes [prf, in infotheo.information_theory.kraft]
size_spec [ind, in infotheo.ecc_modern.degree_profile]
size_sub [prf, in infotheo.lib.poly_ext]
size_syndromep [prf, in infotheo.ecc_classic.poly_decoding]
size_v01 [prf, in infotheo.lib.euclid]
size_v12 [prf, in infotheo.lib.euclid]
size_v_incr [prf, in infotheo.lib.euclid]
size_v_incr_new [prf, in infotheo.lib.euclid]
size_v_sum [prf, in infotheo.lib.euclid]
SizeCons [constr, in infotheo.ecc_modern.degree_profile]
SizeNil [constr, in infotheo.ecc_modern.degree_profile]
sizeP [prf, in infotheo.ecc_modern.degree_profile]
Sn [mod, in infotheo.probability.convex_stone]
Sn.decomp_swap [prf, in infotheo.probability.convex_stone]
Sn.proj0 [def, in infotheo.probability.convex_stone]
Sn.proj0_inj [prf, in infotheo.probability.convex_stone]
Sn.suff_generators [prf, in infotheo.probability.convex_stone]
Sn.suff_generators0 [prf, in infotheo.probability.convex_stone]
Sn.swap_asa [def, in infotheo.probability.convex_stone]
Sn.swap_asa_inj [prf, in infotheo.probability.convex_stone]
Sn.swap_asaE [prf, in infotheo.probability.convex_stone]
snd_Pr_domin_setX [prf, in infotheo.probability.proba]
snd_RV2 [prf, in infotheo.probability.proba]
snd_RV3 [prf, in infotheo.probability.proba]
snd_tnth_prod_rV [prf, in infotheo.lib.ssralg_ext]
solve_key_equation [prf, in infotheo.lib.euclid]
solve_key_equation_coprimep [prf, in infotheo.lib.euclid]
sort_sizes [def, in infotheo.information_theory.kraft]
sort_tuple [def, in infotheo.lib.ssr_ext]
sorted_cat [prf, in infotheo.lib.ssr_ext]
sorted_enum [prf, in infotheo.lib.ssr_ext]
sorted_is_flattened [prf, in infotheo.lib.ssr_ext]
sorted_leq_last [prf, in infotheo.information_theory.kraft]
sorted_of_nth [prf, in infotheo.lib.ssr_ext]
sorted_of_tnth [prf, in infotheo.lib.ssr_ext]
sorted_of_tnth_leq [prf, in infotheo.lib.ssr_ext]
sorted_sort_sizes [prf, in infotheo.information_theory.kraft]
source_code [file, in infotheo.information_theory.source_code]
source_coding' [prf, in infotheo.information_theory.source_coding_fl_direct]
source_coding_converse [prf, in infotheo.information_theory.source_coding_fl_converse]
source_coding_converse' [prf, in infotheo.information_theory.source_coding_fl_converse]
source_coding_direct [prf, in infotheo.information_theory.source_coding_fl_direct]
source_coding_fl_converse [file, in infotheo.information_theory.source_coding_fl_converse]
source_coding_fl_direct [file, in infotheo.information_theory.source_coding_fl_direct]
source_coding_vl_converse [file, in infotheo.information_theory.source_coding_vl_converse]
source_coding_vl_direct [file, in infotheo.information_theory.source_coding_vl_direct]
source_direct_bound [prf, in infotheo.information_theory.source_coding_fl_direct]
SP_BEC [def, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0 [def, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_is_a_fixpoint [prf, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_is_iter [prf, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_is_mxlel [prf, in infotheo.ecc_modern.ldpc_erasure]
SP_BEC0_rec [def, in infotheo.ecc_modern.ldpc_erasure]
sphere_not_empty [prf, in infotheo.lib.hamming]
Split [mod, in infotheo.robust.weightedmean]
Split.cEx [prf, in infotheo.robust.weightedmean]
Split.cEx' [prf, in infotheo.robust.weightedmean]
Split.cVar [prf, in infotheo.robust.weightedmean]
Split.d [def, in infotheo.robust.weightedmean]
Split.dE [prf, 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.g_ge0 [prf, in infotheo.robust.weightedmean]
Split.Pr_setXT [prf, in infotheo.robust.weightedmean]
split_cons_tuples [prf, in infotheo.information_theory.jtypes]
split_lshift [prf, in infotheo.lib.ssr_ext]
split_nocc_rec [prf, in infotheo.information_theory.jtypes]
split_prod [def, in infotheo.probability.convex]
split_prodK [prf, in infotheo.probability.convex]
split_prodpl [def, in infotheo.probability.convex]
split_prodpr [def, in infotheo.probability.convex]
split_rshift [prf, in infotheo.lib.ssr_ext]
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_ge0 [prf, in infotheo.robust.weightedmean]
sq_dev_max [def, in infotheo.robust.weightedmean]
sq_dev_max_eq_arg [prf, in infotheo.robust.weightedmean]
sq_dev_max_ge [prf, in infotheo.robust.weightedmean]
sq_dev_max_ge0 [prf, in infotheo.robust.weightedmean]
sq_dev_max_neq0 [prf, in infotheo.robust.weightedmean]
sq_RV_ge0 [prf, in infotheo.probability.proba]
sq_RVE [prf, in infotheo.probability.proba]
sq_RVE' [prf, in infotheo.robust.robustmean]
sqrBC [prf, in infotheo.lib.ssralg_ext]
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]
ssr_ext [file, in infotheo.lib.ssr_ext]
ssralg_ext [file, in infotheo.lib.ssralg_ext]
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]
ssum_fdist_convn [prf, in infotheo.probability.convex]
ssum_perm [prf, in infotheo.probability.convex]
ssum_scaled_set [prf, in infotheo.probability.convex]
ssum_seq_finsuppE [prf, in infotheo.probability.fsdist]
ssum_seq_finsuppE' [prf, in infotheo.probability.fsdist]
ssum_seq_finsuppE'' [prf, in infotheo.probability.fsdist]
ssum_widen_finsupp [prf, in infotheo.probability.fsdist]
Star [constr, in infotheo.ecc_modern.ldpc_erasure]
starblank [def, in infotheo.ecc_modern.ldpc_erasure]
starblankP [prf, in infotheo.ecc_modern.ldpc_erasure]
starFnext [def, in infotheo.ecc_modern.stopping_set]
starFnext_iter_mxSumProd [prf, in infotheo.ecc_modern.stopping_set]
starFnext_iter_mxSumProdS [prf, in infotheo.ecc_modern.stopping_set]
starFnext_mxStar [prf, in infotheo.ecc_modern.stopping_set]
starletter [def, in infotheo.ecc_modern.ldpc_erasure]
starletter_letter [prf, in infotheo.ecc_modern.ldpc_erasure]
starletter_mxProd_erase [prf, in infotheo.ecc_modern.stopping_set]
starletter_PiSP_BEC0 [prf, in infotheo.ecc_modern.stopping_set]
start_in_subgraph [prf, in infotheo.ecc_modern.subgraph_partition]
step1 [prf, in infotheo.information_theory.source_coding_fl_converse]
step2 [prf, in infotheo.information_theory.source_coding_fl_converse]
step3 [prf, in infotheo.information_theory.source_coding_fl_converse]
step4 [prf, in infotheo.information_theory.source_coding_fl_converse]
step5 [prf, in infotheo.information_theory.source_coding_fl_converse]
step6 [prf, in infotheo.information_theory.source_coding_fl_converse]
stop [def, in infotheo.lib.euclid]
stop' [def, in infotheo.lib.euclid]
stop'_is_before [prf, in infotheo.lib.euclid]
stop_is_after [prf, in infotheo.lib.euclid]
stopping_set [file, in infotheo.ecc_modern.stopping_set]
stopset [def, in infotheo.ecc_modern.stopping_set]
stopset0 [prf, in infotheo.ecc_modern.stopping_set]
stopset_erasures_SP_BEC [prf, in infotheo.ecc_modern.stopping_set]
stopset_erasures_SP_BEC_stable [prf, in infotheo.ecc_modern.stopping_set]
stopset_subset_erasures_SP_BEC [prf, in infotheo.ecc_modern.stopping_set]
stopsetE [prf, in infotheo.ecc_modern.stopping_set]
stopsetE_help [prf, in infotheo.ecc_modern.stopping_set]
stopsetU [prf, in infotheo.ecc_modern.stopping_set]
strictly_concavef_at [def, in infotheo.probability.convex]
strictly_convexf_at [def, in infotheo.probability.convex]
string_entropy [file, in infotheo.information_theory.string_entropy]
sub_path_except [prf, in infotheo.ecc_modern.subgraph_partition]
sub_RV_neg [prf, in infotheo.probability.proba]
sub_vec [def, in infotheo.lib.ssralg_ext]
sub_vec_dproj [prf, in infotheo.ecc_modern.summary_tanner]
sub_vec_dprojs [prf, in infotheo.ecc_modern.summary_tanner]
sub_vec_dprojs_V2 [prf, in infotheo.ecc_modern.summary_tanner]
sub_XrVpoly_rcs [prf, in infotheo.ecc_classic.cyclic_code]
subgraph [def, in infotheo.ecc_modern.subgraph_partition]
subgraph_connect [prf, in infotheo.ecc_modern.subgraph_partition]
subgraph_empty [prf, in infotheo.ecc_modern.subgraph_partition]
subgraph_partition [file, 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]
subr_onem [prf, in infotheo.lib.realType_ext]
subrel_refl [prf, in infotheo.ecc_modern.degree_profile]
subrel_trans [prf, in infotheo.ecc_modern.degree_profile]
subseq_estimation [prf, in infotheo.ecc_modern.ldpc_algo_proof]
subseq_flatten [prf, in infotheo.lib.ssr_ext]
subseq_labels [prf, in infotheo.ecc_modern.ldpc_algo_proof]
subset_cover1 [prf, in infotheo.ecc_modern.degree_profile]
subset_erasures_Esti [prf, in infotheo.ecc_modern.stopping_set]
subset_hull [prf, in infotheo.probability.convex]
subset_image [prf, in infotheo.lib.classical_sets_ext]
subset_leq_card_split_tuple [prf, in infotheo.information_theory.jtypes]
subset_Pr [prf, in infotheo.probability.proba]
Subvec [mod, in infotheo.probability.fdist]
Subvec.d [def, in infotheo.probability.fdist]
success_bound [prf, in infotheo.information_theory.success_decode_bound]
success_decode_bound [file, in infotheo.information_theory.success_decode_bound]
success_factor [def, in infotheo.information_theory.success_decode_bound]
success_factor_bound [def, in infotheo.information_theory.success_decode_bound]
success_factor_bound_part1 [prf, in infotheo.information_theory.success_decode_bound]
success_factor_bound_part2 [prf, in infotheo.information_theory.success_decode_bound]
success_factor_ub [prf, in infotheo.information_theory.success_decode_bound]
successor_subgraph_successor [prf, in infotheo.ecc_modern.subgraph_partition]
successors [def, in infotheo.ecc_modern.subgraph_partition]
suffixes [def, in infotheo.information_theory.kraft]
suffixes_not_empty [prf, in infotheo.information_theory.kraft]
Sum [def, in infotheo.ecc_modern.ldpc_erasure]
sum_2 [def, in infotheo.probability.proba]
Sum_blank_inv [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_coef [def, in infotheo.ecc_modern.degree_profile]
sum_coef_horner [prf, in infotheo.ecc_modern.degree_profile]
sum_coef_pos [prf, in infotheo.ecc_modern.degree_profile]
sum_expr_S [prf, in infotheo.ecc_modern.degree_profile]
sum_exprz [prf, in infotheo.lib.ssralg_ext]
sum_fdist_binary_supp [prf, in infotheo.probability.fdist]
sum_fdist_binary_swap [prf, in infotheo.probability.fdist]
sum_fdist_supp [prf, in infotheo.probability.fdist]
sum_letter [def, in infotheo.ecc_modern.ldpc_erasure]
sum_messages_types [prf, in infotheo.information_theory.types]
sum_messages_types' [prf, in infotheo.information_theory.types]
sum_mlog_prod [def, in infotheo.information_theory.aep]
sum_mlog_prod_sum_map_mlog [prf, in infotheo.information_theory.aep]
sum_n [ind, in infotheo.probability.proba]
sum_n_1 [constr, in infotheo.probability.proba]
sum_n_cons [constr, in infotheo.probability.proba]
sum_n_ind [scheme, in infotheo.probability.proba]
sum_n_sind [scheme, in infotheo.probability.proba]
sum_num_occ [def, in infotheo.lib.num_occ]
sum_num_occ_0 [prf, in infotheo.lib.num_occ]
sum_num_occ_all [prf, in infotheo.lib.num_occ]
sum_num_occ_alt [prf, in infotheo.lib.num_occ]
sum_num_occ_enum_val [prf, in infotheo.lib.num_occ]
sum_num_occ_inc [prf, in infotheo.lib.num_occ]
sum_num_occ_inc_loc [prf, in infotheo.lib.num_occ]
sum_num_occ_is_enum_val [prf, in infotheo.lib.num_occ]
sum_num_occ_leq_n [prf, in infotheo.lib.num_occ]
sum_num_occ_rec [prf, in infotheo.lib.num_occ]
sum_num_occ_seq1 [prf, in infotheo.lib.num_occ]
sum_num_occ_size [prf, in infotheo.lib.num_occ]
sum_num_occ_size [prf, in infotheo.information_theory.jtypes]
sum_num_occ_sub [prf, in infotheo.lib.num_occ]
sum_of_scaled [def, in infotheo.probability.convex]
sum_of_scaledK [prf, in infotheo.probability.convex]
sum_pfwd1 [prf, in infotheo.probability.proba]
sum_poly_weaken [prf, in infotheo.ecc_modern.degree_profile]
sum_rowVnextD1 [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_rowVnextD1_Bit [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_rowVnextD1_nostars [prf, in infotheo.ecc_modern.ldpc_erasure]
sum_rV_ffun [prf, in infotheo.information_theory.channel_coding_direct]
sum_sqr [prf, in infotheo.lib.ssralg_ext]
sum_supp [prf, in infotheo.lib.ssralg_ext]
sum_tuples_ctypes [prf, in infotheo.information_theory.jtypes]
sum_wH_row [prf, in infotheo.lib.hamming]
sumbool_ord [def, in infotheo.ecc_modern.ldpc_algo]
summary [file, in infotheo.ecc_modern.summary]
summary_fold [def, in infotheo.ecc_modern.summary]
summary_foldE [prf, in infotheo.ecc_modern.summary]
summary_powerset [def, in infotheo.ecc_modern.summary]
summary_powersetE [prf, in infotheo.ecc_modern.summary]
summary_tanner [file, in infotheo.ecc_modern.summary_tanner]
sumn_big_addn [prf, in infotheo.lib.ssr_ext]
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_ok [prf, in infotheo.ecc_modern.ldpc_algo_proof]
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]
sumrRVE [prf, in infotheo.probability.proba]
supp [def, in infotheo.lib.ssralg_ext]
supp0 [prf, in infotheo.lib.ssralg_ext]
supp_F2_to_GF2 [prf, in infotheo.lib.ssralg_ext]
supp_fdist1 [prf, in infotheo.probability.fdist]
supp_fsdist1 [prf, in infotheo.probability.fsdist]
supp_fsdist_conv [prf, in infotheo.probability.fsdist]
supp_fsdist_conv' [prf, in infotheo.probability.fsdist]
supp_fsdist_convn [prf, in infotheo.probability.fsdist]
supp_fsdistbind [prf, in infotheo.probability.fsdist]
supp_fsdistmap [prf, in infotheo.probability.fsdist]
supp_neq0 [prf, in infotheo.ecc_classic.poly_decoding]
supp_set0 [prf, in infotheo.lib.ssralg_ext]
supp_twisted [prf, in infotheo.ecc_classic.poly_decoding]
sym_tanner_rel [prf, in infotheo.ecc_modern.tanner]
symmetric_except [prf, in infotheo.ecc_modern.subgraph_partition]
symmetric_var_dist [prf, in infotheo.probability.variation_dist]
symmetry [prf, in infotheo.probability.graphoid]
syndrome [def, in infotheo.ecc_classic.linearcode]
syndrome0 [prf, in infotheo.ecc_classic.linearcode]
syndrome_hamming_err [prf, in infotheo.ecc_classic.hamming_code]
syndromeD [prf, in infotheo.ecc_classic.linearcode]
syndromeN [prf, in infotheo.ecc_classic.linearcode]
syndromep [def, in infotheo.ecc_classic.poly_decoding]
syndromep0 [prf, in infotheo.ecc_classic.poly_decoding]
syndromep_t0 [prf, in infotheo.ecc_classic.poly_decoding]
syndromepB [prf, in infotheo.ecc_classic.poly_decoding]
syndromepD [prf, in infotheo.ecc_classic.poly_decoding]
syndromepE [prf, in infotheo.ecc_classic.poly_decoding]
syndromepN [prf, in infotheo.ecc_classic.poly_decoding]
syndromeZ [prf, in infotheo.ecc_classic.linearcode]
SysHamming [mod, in infotheo.ecc_classic.hamming_code]
SysHamming.card_all_cols [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.card_non_unit [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.card_unit_cols [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.col_PCM_inj [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.cols_1 [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.cols_1_inj [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.cols_PCM [prf, in infotheo.ecc_classic.hamming_code]
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.GEN'E [prf, 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.idsA_ids1 [prf, 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.mx_discard_GEN' [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.mx_discardE [prf, 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.PCM_A_1 [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.PCM_GEN' [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.PCM_GEN'_alt [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.perm_ids [def, in infotheo.ecc_classic.hamming_code]
SysHamming.perm_ids_inj [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.size_idsA [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.systematic [def, in infotheo.ecc_classic.hamming_code]
SysHamming.uniq_idsA [prf, in infotheo.ecc_classic.hamming_code]
SysHamming.unit_cols [def, in infotheo.ecc_classic.hamming_code]
Syslcode [mod, in infotheo.ecc_classic.linearcode]
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.encode_code [prf, in infotheo.ecc_classic.linearcode]
Syslcode.encode_inj [prf, in infotheo.ecc_classic.linearcode]
Syslcode.G_H_T [prf, in infotheo.ecc_classic.linearcode]
Syslcode.GEN [def, in infotheo.ecc_classic.linearcode]
Syslcode.H_G_T [prf, in infotheo.ecc_classic.linearcode]
Syslcode.PCM [def, in infotheo.ecc_classic.linearcode]
Syslcode.rank_GEN [prf, in infotheo.ecc_classic.linearcode]
Syslcode.t [def, in infotheo.ecc_classic.linearcode]
szHs_is_nHs [prf, in infotheo.information_theory.string_entropy]
szHs_is_nHs_full [prf, in infotheo.information_theory.string_entropy]