N (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 |
N (Definitions)
n [def, in infotheo.information_theory.source_coding_fl_direct]n0 [def, in infotheo.information_theory.source_coding_vl_direct]
n_condition [def, in infotheo.information_theory.channel_coding_direct]
N_of_bitseq [def, in infotheo.lib.natbin]
NaryConvexSpace.Exports.convex_equiv_NaryConvexSpace__to__choice_Choice [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.Exports.convex_equiv_NaryConvexSpace__to__convex_equiv_NaryConvOp [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.Exports.convex_equiv_NaryConvexSpace__to__eqtype_Equality [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.Exports.convex_equiv_NaryConvexSpace_class__to__choice_Choice_class [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.Exports.convex_equiv_NaryConvexSpace_class__to__convex_equiv_NaryConvOp_class [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.Exports.convex_equiv_NaryConvexSpace_class__to__eqtype_Equality_class [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.pack_ [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.phant_clone [def, in infotheo.probability.convex_equiv]
NaryConvexSpace.phant_on_ [def, in infotheo.probability.convex_equiv]
NaryConvexSpace_sort__canonical__convex_ConvexSpace [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_bary [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_barypart [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_const [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_idem [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_injmap [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_map [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_part [def, in infotheo.probability.convex_equiv]
NaryConvLaws.ax_proj [def, in infotheo.probability.convex_equiv]
NaryConvLaws.sumbool_of_bool [def, in infotheo.probability.convex_equiv]
NaryConvOp.Exports.convex_equiv_NaryConvOp__to__choice_Choice [def, in infotheo.probability.convex_equiv]
NaryConvOp.Exports.convex_equiv_NaryConvOp__to__eqtype_Equality [def, in infotheo.probability.convex_equiv]
NaryConvOp.Exports.convex_equiv_NaryConvOp_class__to__choice_Choice_class [def, in infotheo.probability.convex_equiv]
NaryConvOp.Exports.convex_equiv_NaryConvOp_class__to__eqtype_Equality_class [def, in infotheo.probability.convex_equiv]
NaryConvOp.pack_ [def, in infotheo.probability.convex_equiv]
NaryConvOp.phant_clone [def, in infotheo.probability.convex_equiv]
NaryConvOp.phant_on_ [def, in infotheo.probability.convex_equiv]
NaryToBin.binconv [def, in infotheo.probability.convex_equiv]
NaryToBin.binconv_mixin [def, in infotheo.probability.convex_equiv]
NaryToBinToNary.convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex_equiv]
NaryToBinToNary.HB_unnamed_factory_29 [def, in infotheo.probability.convex_equiv]
NaryToBinToNary.HB_unnamed_mixin_31 [def, in infotheo.probability.convex_equiv]
NaryToBinToNary.HB_unnamed_mixin_32 [def, in infotheo.probability.convex_equiv]
NaryToBinToNary.HB_unnamed_mixin_33 [def, in infotheo.probability.convex_equiv]
NaryToBinToNary.NaryConvexSpace_sort__canonical__convex_ConvexSpace [def, in infotheo.probability.convex_equiv]
nat_of_ary [def, in infotheo.information_theory.kraft]
nat_of_cV [def, in infotheo.lib.natbin]
nat_of_rV [def, in infotheo.lib.natbin]
natset [def, in infotheo.probability.necset]
NECSet.Exports.join_necset_NECSet_between_convex_ConvexSet_and_necset_NESet [def, in infotheo.probability.necset]
NECSet.Exports.necset_NECSet__to__convex_ConvexSet [def, in infotheo.probability.necset]
NECSet.Exports.necset_NECSet__to__necset_NESet [def, in infotheo.probability.necset]
NECSet.Exports.necset_NECSet_class__to__convex_ConvexSet_class [def, in infotheo.probability.necset]
NECSet.Exports.necset_NECSet_class__to__necset_NESet_class [def, in infotheo.probability.necset]
NECSet.pack_ [def, in infotheo.probability.necset]
NECSet.phant_clone [def, in infotheo.probability.necset]
NECSet.phant_on_ [def, in infotheo.probability.necset]
necset_bind [def, in infotheo.probability.necset]
necset_conv_pt_set__canonical__convex_ConvexSet [def, in infotheo.probability.necset]
necset_conv_pt_set__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_conv_set__canonical__convex_ConvexSet [def, in infotheo.probability.necset]
necset_conv_set__canonical__necset_NECSet [def, in infotheo.probability.necset]
necset_conv_set__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_convType [def, in infotheo.probability.necset]
necset_convType.conv [def, in infotheo.probability.necset]
necset_convType_conv [def, in infotheo.probability.necset]
necset_fmap [def, in infotheo.probability.necset]
necset_isNESet__to__necset_isNESet [def, in infotheo.probability.necset]
necset_isNESet__to__necset_isNESet__68 [def, in infotheo.probability.necset]
necset_isNESet__to__necset_isNESet__80 [def, in infotheo.probability.necset]
necset_iter_conv_set__canonical__convex_ConvexSet [def, in infotheo.probability.necset]
necset_iter_conv_set__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_join.Exports.necset_join [def, in infotheo.probability.necset]
necset_join.F [def, in infotheo.probability.necset]
necset_join.F1join0 [def, in infotheo.probability.necset]
necset_join.F1join0' [def, in infotheo.probability.necset]
necset_join.FFT [def, in infotheo.probability.necset]
necset_join.join [def, in infotheo.probability.necset]
necset_join.join1 [def, in infotheo.probability.necset]
necset_join.join1' [def, in infotheo.probability.necset]
necset_join.L [def, in infotheo.probability.necset]
necset_join.L' [def, in infotheo.probability.necset]
necset_natset__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_necset_convType_conv__canonical__convex_ConvexSet [def, in infotheo.probability.necset]
necset_necset_convType_conv__canonical__necset_NECSet [def, in infotheo.probability.necset]
necset_necset_convType_conv__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_NESet__to__necset_isNESet [def, in infotheo.probability.necset]
necset_oplus_conv_set__canonical__convex_ConvexSet [def, in infotheo.probability.necset]
necset_oplus_conv_set__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_predType [def, in infotheo.probability.necset]
necset_probset__canonical__necset_NESet [def, in infotheo.probability.necset]
necset_ret [def, in infotheo.probability.necset]
necset_semiCompSemiLattConvType.HB_unnamed_factory_88 [def, in infotheo.probability.necset]
necset_semiCompSemiLattConvType.HB_unnamed_factory_90 [def, in infotheo.probability.necset]
necset_semiCompSemiLattConvType.NECSet_type__canonical__necset_SemiCompSemiLattConv [def, in infotheo.probability.necset]
necset_semiCompSemiLattConvType.NECSet_type__canonical__necset_SemiLattConv [def, in infotheo.probability.necset]
necset_semiCompSemiLattType.biglub_necset [def, in infotheo.probability.necset]
necset_semiCompSemiLattType.HB_unnamed_factory_84 [def, in infotheo.probability.necset]
necset_semiCompSemiLattType.HB_unnamed_factory_86 [def, in infotheo.probability.necset]
necset_semiCompSemiLattType.NECSet_type__canonical__necset_SemiCompSemiLatt [def, in infotheo.probability.necset]
necset_semiCompSemiLattType.NECSet_type__canonical__necset_SemiLattice [def, in infotheo.probability.necset]
necset_semiCompSemiLattType.pre_op [def, in infotheo.probability.necset]
Necset_to_convType [def, in infotheo.probability.necset]
Necset_to_semiCompSemiLattConvType [def, in infotheo.probability.necset]
NECSet_type__canonical__choice_Choice [def, in infotheo.probability.necset]
NECSet_type__canonical__convex_ConvexSpace [def, in infotheo.probability.necset]
NECSet_type__canonical__eqtype_Equality [def, in infotheo.probability.necset]
negF2 [def, in infotheo.lib.f2]
negk [def, in infotheo.ecc_modern.ldpc_algo]
NESet.pack_ [def, in infotheo.probability.necset]
NESet.phant_clone [def, in infotheo.probability.necset]
NESet.phant_on_ [def, in infotheo.probability.necset]
neset1 [def, in infotheo.probability.necset]
neset_predType [def, in infotheo.probability.necset]
neset_repr [def, in infotheo.probability.necset]
NESet_type__canonical__choice_Choice [def, in infotheo.probability.necset]
NESet_type__canonical__eqtype_Equality [def, in infotheo.probability.necset]
nHs [def, in infotheo.information_theory.string_entropy]
Nmax [def, in infotheo.information_theory.source_coding_vl_converse]
nneg_fun_of_pre_jtype [def, in infotheo.information_theory.jtypes]
nneg_fun_of_pre_jtype_ge0 [def, in infotheo.information_theory.jtypes]
no_failure [def, in infotheo.information_theory.source_coding_fl_converse]
non0_codeword_lowest_deg [def, in infotheo.ecc_classic.linearcode]
non_0_cw [def, in infotheo.ecc_classic.linearcode]
normalize [def, in infotheo.ecc_modern.ldpc_algo]
not_trivial [def, in infotheo.lib.ssralg_ext]
not_uroot_on [def, in infotheo.lib.dft]
nth_fin_img [def, in infotheo.probability.bayes]
num_co_occ [def, in infotheo.lib.num_occ]
num_co_occ_jtype [def, in infotheo.information_theory.jtypes]
num_occ [def, in infotheo.lib.num_occ]
num_occ_dist [def, in infotheo.information_theory.string_entropy]
num_stars [def, in infotheo.ecc_modern.ldpc_erasure]
Nup [def, in infotheo.information_theory.joint_typ_seq]
nzdegdist_coerce [def, in infotheo.ecc_modern.degree_profile]