Files

  • infotheo

    • P (Definitions)

    Files ABCDEFGHIJKLMNOPQRSTUVWXYZ_
    Definitions ABCDEFGHIJKLMNOPQRSTUVWXYZ_
    Lemmas ABCDEFGHIJKLMNOPQRSTUVWXYZ_
    Abbreviations ABCDEFGHIJKLMNOPQRSTUVWXYZ_
    Global Index ABCDEFGHIJKLMNOPQRSTUVWXYZ_
    Notations

    P (Definitions)

    P [def, in infotheo.toy_examples.expected_value_variance_tuple]
    p [def, in infotheo.toy_examples.expected_value_variance_tuple]
    P [def, in infotheo.toy_examples.expected_value_variance_ordn]
    P [def, in infotheo.probability.fsdist]
    p_of_rs [def, in infotheo.lib.realType_ext]
    pad_seqL [def, in infotheo.lib.ssr_ext]
    pad_seqR [def, in infotheo.lib.ssr_ext]
    PairConvexSpace.convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
    PairConvexSpace.Datatypes_prod__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
    PairConvexSpace.HB_unnamed_factory_74 [def, in infotheo.probability.convex]
    PairConvexSpace.HB_unnamed_mixin_76 [def, in infotheo.probability.convex]
    pairwise_inde [def, in infotheo.probability.proba]
    parity_check [def, in infotheo.ecc_classic.cyclic_code]
    PartialComputationGraph.build_traces [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.check_ports [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.comp_graph_eqb [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.connected_ports [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.dest_dist [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.dest_port [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.dest_ports [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.dest_ports_seqs [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.empty_hemi_graph [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.fintree_of_graph [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.fintree_of_trace [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.flip [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.free_coports [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.graph_dom [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.graph_node [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.graph_of_trace [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.graph_rel [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.HB_unnamed_factory_42 [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.HB_unnamed_factory_44 [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.hemi_comp_graph_eqb [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.known_coports [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.known_port [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.ksets [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.ksetsP [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.monotonic_codom_step_it [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.monotonic_switch_edges_step_it [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.partial_connected [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.partial_to_tuple [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.PartialComputationGraph_comp_graph__canonical__eqtype_Equality [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.PartialComputationGraph_hemi_comp_graph__canonical__eqtype_Equality [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.single_hemi_graph [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.start_dist [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.start_graph [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_cond [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_conodes [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_dist [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_dist_it [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_edges [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_end_cond [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_it [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_nodes [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_start_cond [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.step_trivIset [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.switch [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.switch_edges [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.switch_graph_node [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.switch_path_node [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.switch_step_dist_it [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.switch_step_it [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.tree'_of_graph [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.tree'_of_trace [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.tree_like [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.tree_of_graph [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.tree_of_trace [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.tuple_to_partial [def, in infotheo.ecc_modern.degree_profile]
    PartialComputationGraph.weighted_count [def, in infotheo.ecc_modern.degree_profile]
    pchar [def, in infotheo.information_theory.string_entropy]
    PCM_instance [def, in infotheo.ecc_modern.stopping_set]
    pcode_coercion [def, in infotheo.ecc_classic.cyclic_code]
    perfect [def, in infotheo.ecc_classic.linearcode]
    perm_tuple [def, in infotheo.lib.ssr_ext]
    perm_tuple_set [def, in infotheo.lib.ssr_ext]
    Pf [def, in infotheo.information_theory.source_coding_vl_converse]
    Pf' [def, in infotheo.information_theory.source_coding_vl_converse]
    pfwd1 [def, in infotheo.probability.proba]
    phase_shift [def, in infotheo.lib.dft]
    phi [def, in infotheo.information_theory.source_coding_vl_direct]
    phi [def, in infotheo.information_theory.source_coding_fl_direct]
    phi_def [def, in infotheo.information_theory.source_coding_vl_direct]
    pinsker_fun [def, in infotheo.probability.pinsker]
    pinsker_fun' [def, in infotheo.probability.pinsker]
    pinsker_function_spec [def, in infotheo.probability.pinsker]
    pinsker_function_spec' [def, in infotheo.probability.pinsker]
    PiSP_BEC0 [def, in infotheo.ecc_modern.ldpc_erasure]
    pmf [def, in infotheo.toy_examples.expected_value_variance_ordn]
    pmf [def, in infotheo.toy_examples.expected_value_variance]
    PN [def, in infotheo.information_theory.source_coding_vl_converse]
    point [def, in infotheo.probability.convex]
    pos_of_bitseq [def, in infotheo.lib.natbin]
    post_prob_uniform_cst [def, in infotheo.information_theory.pproba]
    Pr [def, in infotheo.probability.proba]
    pr_geq [def, in infotheo.probability.proba]
    pr_in [def, in infotheo.probability.proba]
    pr_leq [def, in infotheo.probability.proba]
    prec_node [def, in infotheo.ecc_modern.ldpc_algo]
    prefix [def, in infotheo.information_theory.kraft]
    prefix_code [def, in infotheo.information_theory.kraft]
    prefix_code_strong [def, in infotheo.information_theory.kraft]
    preimC [def, in infotheo.information_theory.channel_code]
    prepend [def, in infotheo.information_theory.kraft]
    Prob.mk [def, in infotheo.lib.realType_ext]
    Prob.p [def, in infotheo.lib.realType_ext]
    prob0 [def, in infotheo.lib.realType_ext]
    prob1 [def, in infotheo.lib.realType_ext]
    prob_invprob [def, in infotheo.lib.realType_ext]
    proba_RV_of__canonical__Algebra_AddMagma [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_AddSemigroup [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_AddUMagma [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_BaseAddMagma [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_BaseAddUMagma [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_BaseZmodule [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_ChoiceBaseAddMagma [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_ChoiceBaseAddUMagma [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_Nmodule [def, in infotheo.probability.proba]
    proba_RV_of__canonical__Algebra_Zmodule [def, in infotheo.probability.proba]
    proba_RV_of__canonical__choice_Choice [def, in infotheo.probability.proba]
    proba_RV_of__canonical__eqtype_Equality [def, in infotheo.probability.proba]
    proba_RV_of__canonical__GRing_ComPzRing [def, in infotheo.probability.proba]
    proba_RV_of__canonical__GRing_ComPzSemiRing [def, in infotheo.probability.proba]
    proba_RV_of__canonical__GRing_Lmodule [def, in infotheo.probability.proba]
    proba_RV_of__canonical__GRing_LSemiModule [def, in infotheo.probability.proba]
    proba_RV_of__canonical__GRing_PzRing [def, in infotheo.probability.proba]
    proba_RV_of__canonical__GRing_PzSemiRing [def, in infotheo.probability.proba]
    probConvex.convex_isConvexSpace__to__convex_isConvexSpace0 [def, in infotheo.probability.convex]
    probConvex.HB_unnamed_factory_117 [def, in infotheo.probability.convex]
    probConvex.HB_unnamed_mixin_119 [def, in infotheo.probability.convex]
    probConvex.Itv_def__canonical__convex_ConvexSpace [def, in infotheo.probability.convex]
    probConvex.Itv_def__canonical__convex_OrderedConvexSpace [def, in infotheo.probability.convex]
    probcplt [def, in infotheo.lib.realType_ext]
    probdivrnnm [def, in infotheo.lib.realType_ext]
    probfdist [def, in infotheo.probability.fdist]
    probinvn [def, in infotheo.lib.realType_ext]
    probmulr [def, in infotheo.lib.realType_ext]
    probset [def, in infotheo.probability.necset]
    Prod [def, in infotheo.ecc_modern.ldpc_erasure]
    prod__canonical__convex_OrderedConvexSpace [def, in infotheo.probability.convex]
    prod_rV [def, in infotheo.lib.ssralg_ext]
    prod_types [def, in infotheo.probability.bayes]
    prod_vals [def, in infotheo.probability.bayes]
    prod_vals' [def, in infotheo.probability.bayes]
    prodA [def, in infotheo.probability.fdist]
    prodAC [def, in infotheo.probability.fdist]
    ps [def, in infotheo.toy_examples.expected_value_variance_tuple]
    Psets [def, in infotheo.ecc_modern.max_subset]
    push_init [def, in infotheo.ecc_modern.ldpc_algo]
    put_back [def, in infotheo.information_theory.entropy]
    put_front [def, in infotheo.information_theory.entropy]
    put_front_perm [def, in infotheo.information_theory.entropy]
    Generated by rocqnavi