T (Global Index)

Files

Definitions

Lemmas

Abbreviations

Global Index

T

tag [ind, in infotheo.ecc_modern.ldpc_algo]
tag_eq_bool [def, in infotheo.ecc_modern.ldpc_algo_proof]
tag_eqP [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tag_ind [scheme, in infotheo.ecc_modern.ldpc_algo]
tag_of_id [def, in infotheo.ecc_modern.ldpc_algo]
tag_of_kind [def, in infotheo.ecc_modern.ldpc_algo]
tag_rec [scheme, in infotheo.ecc_modern.ldpc_algo]
tag_rect [scheme, in infotheo.ecc_modern.ldpc_algo]
tag_sind [scheme, in infotheo.ecc_modern.ldpc_algo]
tail_of_fdist_rV [def, in infotheo.probability.fdist]
tail_of_fdist_rV_fdist_col' [prf, in infotheo.probability.fdist]
tail_of_fdist_rV_fdist_rV [prf, in infotheo.probability.fdist]
take_index [prf, in infotheo.lib.ssr_ext]
take_shell [def, in infotheo.information_theory.jtypes]
takes [def, in infotheo.information_theory.string_entropy]
tanner [file, in infotheo.ecc_modern.tanner]
Tanner [mod, in infotheo.ecc_modern.tanner]
tanner [def, in infotheo.ecc_modern.ldpc_algo_proof]
Tanner.acyclic [proj, in infotheo.ecc_modern.tanner]
Tanner.acyclic_graph [rec, in infotheo.ecc_modern.tanner]
Tanner.bipartite [proj, in infotheo.ecc_modern.tanner]
Tanner.connected [proj, in infotheo.ecc_modern.tanner]
Tanner.edges [proj, in infotheo.ecc_modern.tanner]
Tanner.graph [rec, in infotheo.ecc_modern.tanner]
Tanner.undirected [proj, in infotheo.ecc_modern.tanner]
tanner_partition [file, in infotheo.ecc_modern.tanner_partition]
tanner_rel [def, in infotheo.ecc_modern.tanner]
tanner_rel' [def, in infotheo.ecc_modern.tanner]
tanner_rel_kind [def, in infotheo.ecc_modern.tanner]
tanner_rel_split [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tanner_relE [prf, in infotheo.ecc_modern.tanner]
tanner_split [def, in infotheo.ecc_modern.ldpc_algo_proof]
tanner_split_cons [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tanner_split_nil [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tanner_split_tanner [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tanner_split_uncons [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tanneredges [def, in infotheo.ecc_modern.tanner]
tbehead [def, in infotheo.lib.ssr_ext]
tbeheadE [prf, in infotheo.ecc_modern.degree_profile]
tcast2tval [prf, in infotheo.lib.ssr_ext]
tcast_take_inj [prf, in infotheo.lib.ssr_ext]
tcode [def, in infotheo.information_theory.types]
tcode_typed_prop [prf, in infotheo.information_theory.types]
tcode_untyped_code [def, in infotheo.information_theory.types]
td [prf, in infotheo.ecc_classic.reed_solomon]
tdcoor_of_fdcoor [prf, in infotheo.lib.dft]
tdcoorZ [prf, in infotheo.lib.dft]
test [mod, in infotheo.probability.convex_equiv]
test.A [def, in infotheo.probability.convex_equiv]
test.convex_equiv_isNaryBeaulieuConvexSpace__to__convex_equiv_isNaryConvexSpace [def, in infotheo.probability.convex_equiv]
test.convex_equiv_NaryConvOp__to__choice_hasChoice [def, in infotheo.probability.convex_equiv]
test.convex_equiv_NaryConvOp__to__convex_equiv_hasNaryConvOp [def, in infotheo.probability.convex_equiv]
test.convex_equiv_NaryConvOp__to__eqtype_hasDecEq [def, in infotheo.probability.convex_equiv]
test.HB_unnamed_factory_39 [def, in infotheo.probability.convex_equiv]
test.HB_unnamed_mixin_43 [def, in infotheo.probability.convex_equiv]
test.HB_unnamed_mixin_44 [def, in infotheo.probability.convex_equiv]
test.HB_unnamed_mixin_45 [def, in infotheo.probability.convex_equiv]
test.HB_unnamed_mixin_47 [def, in infotheo.probability.convex_equiv]
test.T [def, in infotheo.probability.convex_equiv]
test.test [def, in infotheo.probability.convex_equiv]
test.test [def, in infotheo.probability.convex_equiv]
test.test [def, in infotheo.probability.convex_equiv]
test.test_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
test.test_T__canonical__convex_equiv_NaryConvexSpace [def, in infotheo.probability.convex_equiv]
test.test_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
test.test_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
test_acyclic [prf, in infotheo.ecc_modern.ldpc_algo_proof]
test_connected [prf, in infotheo.ecc_modern.ldpc_algo_proof]
test_graph [prf, in infotheo.ecc_modern.ldpc_algo_proof]
test_mat [def, in infotheo.ecc_modern.stopping_set]
Tfin_img [def, in infotheo.probability.bayes]
thead_tuple1 [prf, in infotheo.lib.ssr_ext]
time_shift [prf, in infotheo.lib.dft]
tn_tree [rec, in infotheo.ecc_modern.ldpc_algo]
tn_tree_eq_bool [def, in infotheo.ecc_modern.ldpc_algo_proof]
tn_tree_eqP [prf, in infotheo.ecc_modern.ldpc_algo_proof]
tn_tree_ind [scheme, in infotheo.ecc_modern.ldpc_algo]
tn_tree_rec [scheme, in infotheo.ecc_modern.ldpc_algo]
tn_tree_rect [scheme, in infotheo.ecc_modern.ldpc_algo]
tn_tree_sind [scheme, in infotheo.ecc_modern.ldpc_algo]
tnth_uniq [prf, in infotheo.lib.ssr_ext]
tnth_zip_1 [prf, in infotheo.lib.ssr_ext]
tnth_zip_2 [prf, in infotheo.lib.ssr_ext]
total_cEx [prf, in infotheo.robust.robustmean]
total_prob [prf, in infotheo.probability.proba]
total_prob_cond [prf, in infotheo.probability.proba]
trans_add_RV [def, in infotheo.probability.proba]
trans_add_RVE [prf, in infotheo.probability.proba]
trans_RV_unif [prf, in infotheo.probability.proba]
trans_sub_RV [def, in infotheo.probability.proba]
trans_sub_RVE [prf, in infotheo.probability.proba]
tree_ok [prf, in infotheo.ecc_modern.ldpc_algo_proof]
TreeEnsemble [mod, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.all_max_def_tree_enum [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.allpairs_flatten [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.cancel_fintree [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.cancel_tree [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Choice__to__choice_hasChoice [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Choice__to__choice_hasChoice__20 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Choice__to__eqtype_hasDecEq [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Choice__to__eqtype_hasDecEq__22 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Countable__to__choice_Choice_isCountable [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Countable__to__choice_Choice_isCountable__37 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Countable__to__choice_hasChoice [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Countable__to__choice_hasChoice__33 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Countable__to__eqtype_hasDecEq [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.choice_Countable__to__eqtype_hasDecEq__35 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.count_allpairs [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.count_map_muln [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.decode_tree [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.deriv [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.encode_tree [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.ensemble [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.eqtype_Equality__to__eqtype_hasDecEq [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.eqtype_Equality__to__eqtype_hasDecEq__15 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.f0 [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.f0_tree [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.f0R [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.f1 [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.f1_tree [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.f1R [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.finseqs [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.finseqs_deg [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.fintree [rec, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.fintree_decode [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.fintree_dist [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.fintree_enum [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.fintree_enum_dep [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.fintree_enumP [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.foldr_maxnE [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.Frontier [constr, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.ft [proj, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_1 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_13 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_18 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_25 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_31 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_4 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_40 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_factory_8 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_mixin_11 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_mixin_16 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_mixin_23 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_mixin_29 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_mixin_38 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.HB_unnamed_mixin_6 [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.integ [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.integ_deg [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kf [constr, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind [ind, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind_eq_bool [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind_eqP [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind_ind [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind_rec [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind_rect [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kind_sind [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.kv [constr, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.limit_get [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.limit_get_fintree [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.limit_get_id [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.LR_pos [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.max_deg [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.max_deg_all [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.negk [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.negk_involution [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.Node [constr, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.Node_inj [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.norm [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.norm_deg [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.norm_integ_deg [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.nseqs [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.nseqs_deg [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.size_finseqs [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.size_integ [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.size_integ_eq0 [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.size_norm [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.size_nseqs [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.size_take_leq [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree [ind, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_children [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_children_node [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_dist [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_dist_children [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_ensemble [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_enum [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_enumP [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_frontier [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_ind [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_node_children [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_node_inv [prf, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_rec [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_rect [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.tree_sind [scheme, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_fintree__canonical__choice_Choice [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_fintree__canonical__choice_Countable [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_fintree__canonical__eqtype_Equality [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_fintree__canonical__fintype_Finite [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_kind__canonical__eqtype_Equality [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_tree__canonical__choice_Choice [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_tree__canonical__choice_Countable [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.TreeEnsemble_tree__canonical__eqtype_Equality [def, in infotheo.ecc_modern.degree_profile]
TreeEnsemble.uniq_tree_enum [prf, in infotheo.ecc_modern.degree_profile]
tri_ine [prf, in infotheo.lib.hamming]
triangular_laws_left0 [prf, in infotheo.probability.fsdist]
trivIset0 [prf, in infotheo.ecc_modern.degree_profile]
trivIset1 [prf, in infotheo.ecc_modern.degree_profile]
trivIset_disjoint [prf, in infotheo.ecc_modern.degree_profile]
trivIset_enc_pre_img [prf, in infotheo.information_theory.types]
trivIset_Fgraph_part_Fgraph [prf, in infotheo.ecc_modern.tanner_partition]
trivIset_Fgraph_part_fnode [prf, in infotheo.ecc_modern.tanner_partition]
trivIset_I1 [prf, in infotheo.ecc_modern.degree_profile]
trivIset_in [prf, in infotheo.ecc_modern.degree_profile]
trivIset_out [prf, in infotheo.ecc_modern.degree_profile]
trivIset_set_set_co_occ [prf, in infotheo.lib.num_occ]
trivIset_shell [prf, in infotheo.information_theory.jtypes]
trivIset_shell' [prf, in infotheo.information_theory.jtypes]
trivIset_sub_ver_suc_suc_helper [prf, in infotheo.ecc_modern.subgraph_partition]
trivIset_subgraph_succ [prf, in infotheo.ecc_modern.subgraph_partition]
trivIset_subgraph_succ2_D1 [prf, in infotheo.ecc_modern.subgraph_partition]
trivIset_subgraph_succ2_D1_helper [prf, in infotheo.ecc_modern.subgraph_partition]
trivIset_Vgraph_part_Vgraph [prf, in infotheo.ecc_modern.tanner_partition]
trivIset_Vgraph_part_vnode [prf, in infotheo.ecc_modern.tanner_partition]
trivIsetS_f [prf, in infotheo.ecc_modern.tanner_partition]
TS_0 [def, in infotheo.information_theory.typ_seq]
TS_0_is_typ_seq [prf, in infotheo.information_theory.typ_seq]
TS_inf [prf, in infotheo.information_theory.typ_seq]
TS_sup [prf, in infotheo.information_theory.typ_seq]
Tset0 [prf, in infotheo.probability.proba]
TsetT [prf, in infotheo.probability.proba]
tuple2N [def, in infotheo.lib.natbin]
tuple2N_0 [prf, in infotheo.lib.natbin]
tuple_dist_type [prf, in infotheo.information_theory.types]
tuple_dist_type_entropy [prf, in infotheo.information_theory.types]
tuple_exist_perm_sort [prf, in infotheo.lib.ssr_ext]
tuple_of_row [def, in infotheo.lib.ssralg_ext]
tuple_of_row_inj [prf, in infotheo.lib.ssralg_ext]
tuple_of_row_ord0 [prf, in infotheo.lib.ssralg_ext]
tuple_of_row_row_mx [prf, in infotheo.lib.ssralg_ext]
tuple_of_rowK [prf, in infotheo.lib.ssralg_ext]
twisted [def, in infotheo.ecc_classic.poly_decoding]
typ_seq [file, in infotheo.information_theory.typ_seq]
typ_seq [def, in infotheo.information_theory.typ_seq]
typ_seq_definition_equiv [prf, in infotheo.information_theory.typ_seq]
typ_seq_definition_equiv2 [prf, in infotheo.information_theory.typ_seq]
type [mod, in infotheo.information_theory.types]
type.d [proj, in infotheo.information_theory.types]
type.d_f [proj, in infotheo.information_theory.types]
type.f [proj, in infotheo.information_theory.types]
type.type [rec, in infotheo.information_theory.types]
type_card_neq0 [prf, in infotheo.information_theory.types]
type_choice_f [def, in infotheo.information_theory.types]
type_choice_pcancel [prf, in infotheo.information_theory.types]
type_co_occ [prf, in infotheo.information_theory.jtypes]
type_coercion [def, in infotheo.information_theory.types]
type_counting [prf, in infotheo.information_theory.types]
type_empty1 [prf, in infotheo.information_theory.types]
type_empty2 [prf, in infotheo.information_theory.types]
type_enum [def, in infotheo.information_theory.types]
type_enum_f [def, in infotheo.information_theory.types]
type_enumP [prf, in infotheo.information_theory.types]
type_eq [def, in infotheo.information_theory.types]
type_eqP [prf, in infotheo.information_theory.types]
type_ext [prf, in infotheo.information_theory.types]
type_ffunP [prf, in infotheo.information_theory.types]
type_fun_type [prf, in infotheo.information_theory.types]
type_numocc [prf, in infotheo.information_theory.types]
type_of_row [def, in infotheo.information_theory.jtypes]
type_of_tuple [def, in infotheo.information_theory.types]
type_pickle [def, in infotheo.information_theory.types]
type_type__canonical__choice_Choice [def, in infotheo.information_theory.types]
type_type__canonical__choice_Countable [def, in infotheo.information_theory.types]
type_type__canonical__eqtype_Equality [def, in infotheo.information_theory.types]
type_type__canonical__fintype_Finite [def, in infotheo.information_theory.types]
typed_code [rec, in infotheo.information_theory.types]
typed_prop [proj, in infotheo.information_theory.types]
typed_success [prf, in infotheo.information_theory.success_decode_bound]
typed_success_bound [prf, in infotheo.information_theory.success_decode_bound]
typed_tuples [def, in infotheo.information_theory.types]
typed_tuples_are_typ_seq [prf, in infotheo.information_theory.types]
typed_tuples_not_empty [prf, in infotheo.information_theory.types]
typed_tuples_not_empty' [prf, in infotheo.information_theory.types]
typed_tuples_not_empty_alt [prf, in infotheo.information_theory.types]
types [file, in infotheo.information_theory.types]
typical_sequence1_JTS [prf, in infotheo.information_theory.joint_typ_seq]
typical_sequence1_JTS' [prf, in infotheo.information_theory.joint_typ_seq]