B (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 |
B (Definitions)
ball [def, in infotheo.ecc_classic.linearcode]barycenter [def, in infotheo.probability.convex]
BCH.code [def, in infotheo.ecc_classic.bch]
BCH.PCM [def, in infotheo.ecc_classic.bch]
BCH.PCM_alt [def, in infotheo.ecc_classic.bch]
BCH.syndromep [def, in infotheo.ecc_classic.bch]
BCH_err [def, in infotheo.ecc_classic.bch]
BCH_erreval [def, in infotheo.ecc_classic.bch]
BCH_mod [def, in infotheo.ecc_classic.bch]
BCH_repair [def, in infotheo.ecc_classic.bch]
BD_decoding [def, in infotheo.ecc_classic.decoding]
BEC_IO [def, in infotheo.ecc_modern.ldpc_erasure]
beta [def, in infotheo.ecc_modern.ldpc_algo]
beta [def, in infotheo.ecc_modern.ldpc]
beta_fun [def, in infotheo.ecc_modern.ldpc]
beta_op [def, in infotheo.ecc_modern.ldpc_algo]
biconvex_function [def, in infotheo.probability.convex]
biconvex_is_not_convex_in_both [def, in infotheo.probability.convex]
big_enum_in [def, in infotheo.ecc_modern.degree_profile]
big_morph_oppr [def, in infotheo.lib.bigop_ext]
big_morph_scalept [def, in infotheo.probability.convex]
big_scaleptl [def, in infotheo.probability.convex]
big_scaler [def, in infotheo.probability.convex]
big_union_disj [def, in infotheo.lib.bigop_ext]
biglub [def, in infotheo.probability.necset]
biglub1 [def, in infotheo.probability.necset]
biglub_bignesetU [def, in infotheo.probability.necset]
biglub_morph [def, in infotheo.probability.necset]
BiglubAffine.Exports.join_necset_BiglubAffine_between_convex_Affine_and_necset_BiglubMorph [def, in infotheo.probability.necset]
BiglubAffine.Exports.necset_BiglubAffine__to__convex_Affine [def, in infotheo.probability.necset]
BiglubAffine.Exports.necset_BiglubAffine__to__necset_BiglubMorph [def, in infotheo.probability.necset]
BiglubAffine.Exports.necset_BiglubAffine_class__to__convex_Affine_class [def, in infotheo.probability.necset]
BiglubAffine.Exports.necset_BiglubAffine_class__to__necset_BiglubMorph_class [def, in infotheo.probability.necset]
BiglubAffine.pack_ [def, in infotheo.probability.necset]
BiglubAffine.phant_clone [def, in infotheo.probability.necset]
BiglubAffine.phant_on_ [def, in infotheo.probability.necset]
biglubDr [def, in infotheo.probability.necset]
biglubmorph [def, in infotheo.probability.necset]
BiglubMorph.pack_ [def, in infotheo.probability.necset]
BiglubMorph.phant_clone [def, in infotheo.probability.necset]
BiglubMorph.phant_on_ [def, in infotheo.probability.necset]
BinToNary.axbary [def, in infotheo.probability.convex_equiv]
BinToNary.axproj [def, in infotheo.probability.convex_equiv]
BinToNary.ConvexSpace_sort__canonical__convex_equiv_NaryConvexSpace [def, in infotheo.probability.convex_equiv]
BinToNary.ConvexSpace_sort__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
BinToNary.HB_unnamed_factory_21 [def, in infotheo.probability.convex_equiv]
BinToNary.HB_unnamed_factory_25 [def, in infotheo.probability.convex_equiv]
BinToNary.HB_unnamed_mixin_23 [def, in infotheo.probability.convex_equiv]
BinToNary.HB_unnamed_mixin_24 [def, in infotheo.probability.convex_equiv]
BinToNary.HB_unnamed_mixin_27 [def, in infotheo.probability.convex_equiv]
BinToNary.HB_unnamed_mixin_28 [def, in infotheo.probability.convex_equiv]
bipart [def, in infotheo.probability.partition_inequality]
bipart_pmf [def, in infotheo.probability.partition_inequality]
bitseq_of_N [def, in infotheo.lib.natbin]
bitseq_of_nat [def, in infotheo.lib.natbin]
bitseq_of_pos [def, in infotheo.lib.natbin]
blank_to_star [def, in infotheo.ecc_modern.ldpc_erasure]
BN.cinde_preim [def, in infotheo.probability.bayes]
BN.independence [def, in infotheo.probability.bayes]
BN.preim_vars [def, in infotheo.probability.bayes]
BN.prod_vars [def, in infotheo.probability.bayes]
BN.topological [def, in infotheo.probability.bayes]
BN.vals0 [def, in infotheo.probability.bayes]
BN.vals1to2 [def, in infotheo.probability.bayes]
BN.vals_at [def, in infotheo.probability.bayes]
BN.wrap_set_vals [def, in infotheo.probability.bayes]
bool_of_F2 [def, in infotheo.lib.f2]
bool_of_kind [def, in infotheo.ecc_modern.ldpc_algo]
bound_evar_ineq [def, in infotheo.robust.weightedmean]
bound_intermediate [def, in infotheo.robust.weightedmean]
BSC.c [def, in infotheo.information_theory.binary_symmetric_channel]
bseq_take [def, in infotheo.lib.ssr_ext]
build_computed_tree [def, in infotheo.ecc_modern.ldpc_algo]
build_tree [def, in infotheo.ecc_modern.ldpc_algo]
build_tree_rec [def, in infotheo.ecc_modern.ldpc_algo]
Builders_1.Builders_1_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
Builders_1.Builders_1_T__canonical__convex_equiv_NaryConvexSpace [def, in infotheo.probability.convex_equiv]
Builders_1.Builders_1_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
Builders_1.Builders_1_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
Builders_1.HB_unnamed_factory_3 [def, in infotheo.probability.convex_equiv]
Builders_11.Builders_11_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
Builders_11.Builders_11_T__canonical__convex_equiv_NaryConvexSpace [def, in infotheo.probability.convex_equiv]
Builders_11.Builders_11_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
Builders_11.Builders_11_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
Builders_11.HB_unnamed_factory_13 [def, in infotheo.probability.convex_equiv]
Builders_16.Builders_16_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
Builders_16.Builders_16_T__canonical__convex_equiv_NaryConvexSpace [def, in infotheo.probability.convex_equiv]
Builders_16.Builders_16_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
Builders_16.Builders_16_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
Builders_16.convex_equiv_isNaryProjPartConstConvexSpace__to__convex_equiv_isNaryConvexSpace [def, in infotheo.probability.convex_equiv]
Builders_16.HB_unnamed_factory_18 [def, in infotheo.probability.convex_equiv]
Builders_31.Builders_31_T__canonical__choice_Choice [def, in infotheo.probability.convex]
Builders_31.Builders_31_T__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
Builders_31.Builders_31_T__canonical__eqtype_Equality [def, in infotheo.probability.convex]
Builders_31.convn [def, in infotheo.probability.convex]
Builders_31.HB_unnamed_factory_33 [def, in infotheo.probability.convex]
Builders_6.Builders_6_T__canonical__choice_Choice [def, in infotheo.probability.convex_equiv]
Builders_6.Builders_6_T__canonical__convex_equiv_NaryConvexSpace [def, in infotheo.probability.convex_equiv]
Builders_6.Builders_6_T__canonical__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
Builders_6.Builders_6_T__canonical__eqtype_Equality [def, in infotheo.probability.convex_equiv]
Builders_6.HB_unnamed_factory_8 [def, in infotheo.probability.convex_equiv]