Notations

Files

Definitions

Lemmas

Abbreviations

Global Index

no scope

'A [not, in infotheo.ecc_classic.linearcode] (no scope)
'D [not, in infotheo.ecc_classic.linearcode] (no scope)
'D [not, in infotheo.ecc_classic.linearcode] (no scope)
'F [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'F [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'F [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'F [not, in infotheo.ecc_modern.tanner] (no scope)
'F [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'F [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'F [not, in infotheo.ecc_modern.stopping_set] (no scope)
'F [not, in infotheo.ecc_modern.stopping_set] (no scope)
'F [not, in infotheo.ecc_modern.stopping_set] (no scope)
'F [not, in infotheo.ecc_modern.stopping_set] (no scope)
'F [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
'F [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
'F [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
'F [not, in infotheo.ecc_modern.ldpc_algo_proof] (no scope)
'F [not, in infotheo.ecc_modern.ldpc] (no scope)
'F [not, in infotheo.ecc_modern.ldpc] (no scope)
'F [not, in infotheo.ecc_modern.ldpc] (no scope)
'F [not, in infotheo.ecc_modern.ldpc] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.tanner] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.ldpc_algo_proof] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.ldpc] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.ldpc] (no scope)
'F( x , x ) [not, in infotheo.ecc_modern.ldpc] (no scope)
'G [not, in infotheo.ecc_classic.mceliece] (no scope)
'G [not, in infotheo.ecc_classic.linearcode] (no scope)
'G [not, in infotheo.ecc_classic.linearcode] (no scope)
'H [not, in infotheo.ecc_classic.mceliece] (no scope)
'H [not, in infotheo.ecc_classic.linearcode] (no scope)
'H [not, in infotheo.ecc_classic.linearcode] (no scope)
'V [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'V [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'V [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'V [not, in infotheo.ecc_modern.tanner] (no scope)
'V [not, in infotheo.ecc_modern.tanner] (no scope)
'V [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'V [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'V [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'V [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'V [not, in infotheo.ecc_modern.stopping_set] (no scope)
'V [not, in infotheo.ecc_modern.stopping_set] (no scope)
'V [not, in infotheo.ecc_modern.stopping_set] (no scope)
'V [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
'V [not, in infotheo.ecc_modern.ldpc_algo_proof] (no scope)
'V [not, in infotheo.ecc_modern.ldpc] (no scope)
'V [not, in infotheo.ecc_modern.ldpc] (no scope)
'V [not, in infotheo.ecc_modern.ldpc] (no scope)
'V [not, in infotheo.ecc_modern.ldpc] (no scope)
'V [not, in infotheo.ecc_modern.checksum] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.tanner_partition] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.tanner] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.ldpc_algo_proof] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.ldpc] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.ldpc] (no scope)
'V( x , x ) [not, in infotheo.ecc_modern.ldpc] (no scope)
'cgen [not, in infotheo.ecc_classic.cyclic_code] (no scope)
*%M [not, in infotheo.lib.bigop_ext] (no scope)
+%M [not, in infotheo.lib.bigop_ext] (no scope)
+%S [not, in infotheo.lib.ssr_ext] (no scope)
-%S [not, in infotheo.lib.ssr_ext] (no scope)
0 [not, in infotheo.probability.pinsker] (no scope)
0 [not, in infotheo.probability.partition_inequality] (no scope)
0 [not, in infotheo.lib.ssr_ext] (no scope)
1 [not, in infotheo.probability.pinsker] (no scope)
1 [not, in infotheo.probability.partition_inequality] (no scope)
C [not, in infotheo.information_theory.kraft] (no scope)
L_not_typ [not, in infotheo.information_theory.source_coding_vl_direct] (no scope)
L_not_typ [not, in infotheo.information_theory.source_coding_vl_direct] (no scope)
L_typ [not, in infotheo.information_theory.source_coding_vl_direct] (no scope)
L_typ [not, in infotheo.information_theory.source_coding_vl_direct] (no scope)
Nmax [not, in infotheo.information_theory.source_coding_vl_converse] (no scope)
PN [not, in infotheo.information_theory.source_coding_vl_converse] (no scope)
[% x , x , .. , x ] [not, in infotheo.probability.proba] (no scope)
[ point of x ] [not, in infotheo.probability.convex] (no scope)
[ point of x ] [not, in infotheo.probability.convex] (no scope)
[ weight of x ] [not, in infotheo.probability.convex] (no scope)
[ weight of x ] [not, in infotheo.probability.convex] (no scope)
\Pr_[ x | x ] [not, in infotheo.probability.jfdist_cond] (no scope)
\RSomega_( x , x ) [not, in infotheo.ecc_classic.reed_solomon] (no scope)
\RSomega_( x , x ) [not, in infotheo.ecc_classic.reed_solomon] (no scope)
\RSsynp_( x , x , x ) [not, in infotheo.ecc_classic.reed_solomon] (no scope)
\RSsynp_( x , x , x ) [not, in infotheo.ecc_classic.reed_solomon] (no scope)
\delta [not, in infotheo.ecc_modern.checksum] (no scope)
\gen_( x , x ) [not, in infotheo.ecc_classic.reed_solomon] (no scope)
\lub_ ( x < x ) x [not, in infotheo.probability.necset] (no scope)
\omega_( x , x , x ) [not, in infotheo.ecc_classic.poly_decoding] (no scope)
\rmax_ ( x <- x ) x [not, in infotheo.lib.bigop_ext] (no scope)
\rmax_ ( x in x ) x [not, in infotheo.lib.bigop_ext] (no scope)
\sigma_( x , x ) [not, in infotheo.ecc_classic.poly_decoding] (no scope)
\sigma_( x , x , x ) [not, in infotheo.ecc_classic.poly_decoding] (no scope)
\ssum_ ( x : x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x : x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x < x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x < x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x < x | x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x < x | x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x <- x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x <- x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x <- x | x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x | x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ ( x | x ) x [not, in infotheo.probability.convex] (no scope)
\ssum_ x x [not, in infotheo.probability.convex] (no scope)
\ssum_ x x [not, in infotheo.probability.convex] (no scope)
\sum_{ x } x [not, in infotheo.probability.log_sum] (no scope)
`Ch [not, in infotheo.information_theory.channel] (no scope)
`Ch* [not, in infotheo.information_theory.channel] (no scope)
`E_[ x | x ] [not, in infotheo.probability.proba] (no scope)
`F [not, in infotheo.ecc_modern.summary_tanner] (no scope)
`F [not, in infotheo.ecc_modern.summary_tanner] (no scope)
`F [not, in infotheo.ecc_modern.stopping_set] (no scope)
`F [not, in infotheo.ecc_modern.stopping_set] (no scope)
`F [not, in infotheo.ecc_modern.stopping_set] (no scope)
`F [not, in infotheo.ecc_modern.stopping_set] (no scope)
`F [not, in infotheo.ecc_modern.stopping_set] (no scope)
`F [not, in infotheo.ecc_modern.stopping_set] (no scope)
`F [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
`F( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
`F( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
`H [not, in infotheo.information_theory.entropy] (no scope)
`H( x | x ) [not, in infotheo.information_theory.entropy] (no scope)
`H[ x | x = x ] [not, in infotheo.information_theory.entropy] (no scope)
`JTS [not, in infotheo.information_theory.joint_typ_seq] (no scope)
`Pr[ x = x ] [not, in infotheo.probability.proba] (no scope)
`Pr[ x = x | x = x ] [not, in infotheo.probability.proba] (no scope)
`Pr[ x \in x ] [not, in infotheo.probability.proba] (no scope)
`Pr[ x \in x | x \in x ] [not, in infotheo.probability.proba] (no scope)
`Pr_[ x | x ] [not, in infotheo.probability.proba] (no scope)
`U x [not, in infotheo.probability.fdist] (no scope)
`V [not, in infotheo.ecc_modern.stopping_set] (no scope)
`V [not, in infotheo.ecc_modern.stopping_set] (no scope)
`V [not, in infotheo.ecc_modern.stopping_set] (no scope)
`V( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
`V( x , x ) [not, in infotheo.ecc_modern.summary_tanner] (no scope)
`V_[ x | x ] [not, in infotheo.robust.robustmean] (no scope)
`p_ x [not, in infotheo.probability.proba] (no scope)
alpha [not, in infotheo.ecc_modern.ldpc] (no scope)
beta [not, in infotheo.ecc_modern.ldpc] (no scope)
d( x , x ) [not, in infotheo.probability.variation_dist] (no scope)
e( x , x ) [not, in infotheo.information_theory.channel_code] (no scope)
echa( x , x ) [not, in infotheo.information_theory.channel_code] (no scope)
n0 [not, in infotheo.information_theory.source_coding_vl_direct] (no scope)
prob x [not, in infotheo.lib.realType_ext] (no scope)
q [not, in infotheo.lib.euclid] (no scope)
r [not, in infotheo.lib.euclid] (no scope)
r [not, in infotheo.lib.euclid] (no scope)
r [not, in infotheo.ecc_classic.reed_solomon] (no scope)
scha( x , x ) [not, in infotheo.information_theory.channel_code] (no scope)
sigma [not, in infotheo.information_theory.kraft] (no scope)
u [not, in infotheo.lib.euclid] (no scope)
v [not, in infotheo.lib.euclid] (no scope)
v [not, in infotheo.lib.euclid] (no scope)
v [not, in infotheo.ecc_classic.reed_solomon] (no scope)
v [not, in infotheo.ecc_classic.bch] (no scope)
w [not, in infotheo.information_theory.kraft] (no scope)
w [not, in infotheo.information_theory.kraft] (no scope)
{ RV x -> x } [not, in infotheo.probability.proba] (no scope)
{ dist x } [not, in infotheo.probability.fsdist] (no scope)
{ necset x } [not, in infotheo.probability.necset] (no scope)
{ oprob x } [not, in infotheo.lib.realType_ext] (no scope)
{ prob x } [not, in infotheo.lib.realType_ext] (no scope)
x !=? x [not, in infotheo.robust.weightedmean] (no scope)
x %:ne [not, in infotheo.probability.necset] (no scope)
x %:opr [not, in infotheo.lib.realType_ext] (no scope)
x %:pr [not, in infotheo.lib.realType_ext] (no scope)
x *' x [not, in infotheo.probability.convex] (no scope)
x *: x [not, in infotheo.probability.convex] (no scope)
x +' x [not, in infotheo.probability.convex] (no scope)
x .-'rV[ x ]_ x [not, in infotheo.ecc_classic.poly_decoding] (no scope)
x .-dist x [not, in infotheo.probability.fsdist] (no scope)
x .-receivable x [not, in infotheo.information_theory.pproba] (no scope)
x .~ [not, in infotheo.lib.realType_ext] (no scope)
x /:R x [not, in infotheo.information_theory.string_entropy] (no scope)
x :+: x [not, in infotheo.lib.ssr_ext] (no scope)
x :+: x [not, in infotheo.lib.ssr_ext] (no scope)
x <& x &> x [not, in infotheo.probability.convex_equiv] (no scope)
x <& x &> x [not, in infotheo.probability.convex_equiv] (no scope)
x < x < x :> x [not, in infotheo.robust.weightedmean] (no scope)
x < x <= x :> x [not, in infotheo.robust.weightedmean] (no scope)
x <= x < x :> x [not, in infotheo.robust.weightedmean] (no scope)
x <= x <= x :> x [not, in infotheo.robust.weightedmean] (no scope)
x <=* x [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
x <=? x [not, in infotheo.robust.weightedmean] (no scope)
x <=l x [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
x <=m x [not, in infotheo.ecc_modern.ldpc_erasure] (no scope)
x <| x |>: x [not, in infotheo.probability.necset] (no scope)
x ^`_ x [not, in infotheo.lib.dft] (no scope)
x ^`_ x [not, in infotheo.ecc_classic.reed_solomon] (no scope)
x ^`_ x [not, in infotheo.ecc_classic.cyclic_code] (no scope)
x `(| x ) [not, in infotheo.probability.jfdist_cond] (no scope)
x `* x [not, in infotheo.lib.ssr_ext] (no scope)
x `<< x [not, in infotheo.lib.realType_ext] (no scope)
x `<< x [not, in infotheo.lib.realType_ext] (no scope)
x ``_ x [not, in infotheo.information_theory.kraft] (no scope)
x ``_ x [not, in infotheo.information_theory.kraft] (no scope)
x ``_ x [not, in infotheo.information_theory.kraft] (no scope)
x `b_ x [not, in infotheo.lib.hamming] (no scope)
x `o x [not, in infotheo.probability.proba] (no scope)
x × x [not, in infotheo.lib.ssr_ext] (no scope)

bch_scope

\BCHomega_( x , x ) [not, in infotheo.ecc_classic.bch] (in bch_scope)
\BCHsynp_( x , x , x ) [not, in infotheo.ecc_classic.bch] (in bch_scope)

bec_scope

x BEC( x ) x [not, in infotheo.ecc_modern.ldpc_erasure] (in bec_scope)

channel_code_scope

e( x , x ) [not, in infotheo.information_theory.channel_code] (in channel_code_scope)
echa( x , x ) [not, in infotheo.information_theory.channel_code] (in channel_code_scope)
scha( x , x ) [not, in infotheo.information_theory.channel_code] (in channel_code_scope)

channel_scope

`Ch( x , x ) [not, in infotheo.information_theory.channel] (in channel_scope)
`Ch*( x , x ) [not, in infotheo.information_theory.channel] (in channel_scope)
`H( x , x ) [not, in infotheo.information_theory.channel] (in channel_scope)
`H( x `o x ) [not, in infotheo.information_theory.channel] (in channel_scope)
`H( x | x ) [not, in infotheo.information_theory.channel] (in channel_scope)
`I( x , x ) [not, in infotheo.information_theory.channel] (in channel_scope)
`O( x , x ) [not, in infotheo.information_theory.channel] (in channel_scope)
x `( x | x ) [not, in infotheo.information_theory.channel] (in channel_scope)
x ``( x | x ) [not, in infotheo.information_theory.channel] (in channel_scope)
x ``(| x ) [not, in infotheo.information_theory.channel] (in channel_scope)
x ``^ x [not, in infotheo.information_theory.channel] (in channel_scope)

convex_scope

<$>_ x x [not, in infotheo.probability.convex] (in convex_scope)
<&>_ x x [not, in infotheo.probability.convex_equiv] (in convex_scope)
<|>_ x x [not, in infotheo.probability.convex] (in convex_scope)
{ Biglub_affine x -> x } [not, in infotheo.probability.necset] (in convex_scope)
{ Biglub_morph x -> x } [not, in infotheo.probability.necset] (in convex_scope)
{ affine x -> x } [not, in infotheo.probability.convex] (in convex_scope)
{ concave x -> x } [not, in infotheo.probability.convex] (in convex_scope)
{ convex x -> x } [not, in infotheo.probability.convex] (in convex_scope)
{ convex_set x } [not, in infotheo.probability.convex] (in convex_scope)
{ necset x } [not, in infotheo.probability.necset] (in convex_scope)
x :<| x |>: x [not, in infotheo.probability.necset] (in convex_scope)
x <| x |> x [not, in infotheo.probability.convex] (in convex_scope)
x <| x |>: x [not, in infotheo.probability.necset] (in convex_scope)

cyclic_code_scope

'cgen[ x ] [not, in infotheo.ecc_classic.cyclic_code] (in cyclic_code_scope)
'pgen[ x ] [not, in infotheo.ecc_classic.cyclic_code] (in cyclic_code_scope)
`[ x ]_ x [not, in infotheo.ecc_classic.cyclic_code] (in cyclic_code_scope)

dft_scope

x ^`_( x , x ) [not, in infotheo.lib.dft] (in dft_scope)

divergence_scope

D( x || x ) [not, in infotheo.probability.divergence] (in divergence_scope)
D( x || x | x ) [not, in infotheo.information_theory.conditional_divergence] (in divergence_scope)
x |- x << x [not, in infotheo.information_theory.conditional_divergence] (in divergence_scope)
x |- x <<b x [not, in infotheo.information_theory.conditional_divergence] (in divergence_scope)

ecc_scope

x .-BDD x [not, in infotheo.ecc_classic.decoding] (in ecc_scope)

entropy_scope

`H [not, in infotheo.information_theory.entropy] (in entropy_scope)
`H( x , x ) [not, in infotheo.information_theory.entropy] (in entropy_scope)
`I( x ; x ) [not, in infotheo.information_theory.entropy] (in entropy_scope)

fdist_scope

{ fdist x } [not, in infotheo.robust.weightedmean] (in fdist_scope)
{ fdist x } [not, in infotheo.probability.fdist] (in fdist_scope)
{ fdist x } [not, in infotheo.information_theory.channel] (in fdist_scope)
x .-fdist x [not, in infotheo.probability.fdist] (in fdist_scope)
x <| x |> x [not, in infotheo.probability.fdist] (in fdist_scope)
x >>= x [not, in infotheo.probability.fdist] (in fdist_scope)
x @^-1 x [not, in infotheo.probability.fdist] (in fdist_scope)
x `1 [not, in infotheo.probability.fdist] (in fdist_scope)
x `2 [not, in infotheo.probability.fdist] (in fdist_scope)
x `X x [not, in infotheo.probability.fdist] (in fdist_scope)
x `^ x [not, in infotheo.probability.fdist] (in fdist_scope)
x `x x [not, in infotheo.probability.fdist] (in fdist_scope)

fsdist_scope

x <| x |> x [not, in infotheo.probability.fsdist] (in fsdist_scope)
x >>= x [not, in infotheo.probability.fsdist] (in fsdist_scope)

jtyp_seq_scope

`JTS [not, in infotheo.information_theory.joint_typ_seq] (in jtyp_seq_scope)

latt_scope

|_| x [not, in infotheo.probability.necset] (in latt_scope)
x [+] x [not, in infotheo.probability.necset] (in latt_scope)

letter_scope

x <=* x [not, in infotheo.ecc_modern.ldpc_erasure] (in letter_scope)
x <=l x [not, in infotheo.ecc_modern.ldpc_erasure] (in letter_scope)
x <=m x [not, in infotheo.ecc_modern.ldpc_erasure] (in letter_scope)

min_scope

\min^ x _( x in x ) x [not, in infotheo.lib.bigop_ext] (in min_scope)

num_occ_scope

N( x , x | x , x ) [not, in infotheo.lib.num_occ] (in num_occ_scope)
N( x | x ) [not, in infotheo.lib.num_occ] (in num_occ_scope)

ordered_convex_scope

\opp{ x } [not, in infotheo.probability.convex] (in ordered_convex_scope)

proba_scope

T`* x [not, in infotheo.probability.proba] (in proba_scope)
\Pr_ x [ x | x ] [not, in infotheo.probability.jfdist_cond] (in proba_scope)
`-- x [not, in infotheo.probability.proba] (in proba_scope)
`E [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x <= x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x = x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x = x | x = x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x = x | x \in x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x >= x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x \in x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x \in x | x = x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr[ x \in x | x \in x ] [not, in infotheo.probability.proba] (in proba_scope)
`Pr_ x [ x | x ] [not, in infotheo.probability.proba] (in proba_scope)
`V [not, in infotheo.probability.proba] (in proba_scope)
`V_[ x | x ] [not, in infotheo.robust.robustmean] (in proba_scope)
`log x [not, in infotheo.probability.proba] (in proba_scope)
`p_ x [not, in infotheo.probability.proba] (in proba_scope)
{ RV x -> x } [not, in infotheo.probability.proba] (in proba_scope)
{ dist x } [not, in infotheo.probability.fsdist] (in proba_scope)
x '_ x `^^ x ( x | x ) [not, in infotheo.information_theory.pproba] (in proba_scope)
x '_ x `^^ x ( x | x ) [not, in infotheo.information_theory.pproba] (in proba_scope)
x \= x @+ x [not, in infotheo.probability.proba] (in proba_scope)
x \=sum x [not, in infotheo.probability.proba] (in proba_scope)
x \=sum x [not, in infotheo.probability.proba] (in proba_scope)
x _|_ x | x [not, in infotheo.probability.proba] (in proba_scope)
x `* x [not, in infotheo.probability.proba] (in proba_scope)
x `*: x [not, in infotheo.probability.proba] (in proba_scope)
x `*T [not, in infotheo.probability.proba] (in proba_scope)
x `*cst x [not, in infotheo.probability.proba] (in proba_scope)
x `+ x [not, in infotheo.probability.proba] (in proba_scope)
x `+cst x [not, in infotheo.probability.proba] (in proba_scope)
x `- x [not, in infotheo.probability.proba] (in proba_scope)
x `- x [not, in infotheo.probability.proba] (in proba_scope)
x `-cst x [not, in infotheo.probability.proba] (in proba_scope)
x `/ x [not, in infotheo.probability.proba] (in proba_scope)
x `^2 [not, in infotheo.probability.proba] (in proba_scope)
x `^^ x ( x | x ) [not, in infotheo.information_theory.pproba] (in proba_scope)
x `cst* x [not, in infotheo.probability.proba] (in proba_scope)
x |= x _|_ x [not, in infotheo.probability.proba] (in proba_scope)
x |= x _|_ x | x [not, in infotheo.probability.proba] (in proba_scope)

reals_ext_scope

+| x | [not, in infotheo.lib.realType_ext] (in reals_ext_scope)
[ p_of x , x ] [not, in infotheo.lib.realType_ext] (in reals_ext_scope)
[ q_of x , x ] [not, in infotheo.lib.realType_ext] (in reals_ext_scope)
[ r_of x , x ] [not, in infotheo.lib.realType_ext] (in reals_ext_scope)
[ s_of x , x ] [not, in infotheo.lib.realType_ext] (in reals_ext_scope)
max( x , x ) [not, in infotheo.information_theory.source_coding_fl_converse] (in reals_ext_scope)
x `<< x [not, in infotheo.lib.realType_ext] (in reals_ext_scope)
x `<<b x [not, in infotheo.lib.realType_ext] (in reals_ext_scope)

scaled_scope

x *: x [not, in infotheo.probability.convex] (in scaled_scope)

set_scope

[ node x $ x | x ] [not, in infotheo.ecc_modern.degree_profile] (in set_scope)
x `* x [not, in infotheo.lib.ssr_ext] (in set_scope)

source_code_scope

esrc( x , x ) [not, in infotheo.information_theory.source_code] (in source_code_scope)

ssripat_scope

[conj] [not, in infotheo.robust.robustmean] (in ssripat_scope)

summary_scope

\sum_ ( x = x [~ x ] ) x [not, in infotheo.ecc_modern.summary] (in summary_scope)
\sum_ ( x = x [~ x ] | x ) x [not, in infotheo.ecc_modern.summary] (in summary_scope)

tuple_ext_scope

x !_ x [not, in infotheo.lib.ssr_ext] (in tuple_ext_scope)

typ_seq_scope

`TS [not, in infotheo.information_theory.typ_seq] (in typ_seq_scope)

type_scope

x .-RV x [not, in infotheo.robust.weightedmean] (in type_scope)
x .-RV x \o x [not, in infotheo.robust.weightedmean] (in type_scope)

types_scope

P_ x ( x ) [not, in infotheo.information_theory.types] (in types_scope)
P_ x ( x , x ) [not, in infotheo.information_theory.jtypes] (in types_scope)
T_{ x } [not, in infotheo.information_theory.types] (in types_scope)
\nu^{ x } ( x ) [not, in infotheo.information_theory.jtypes] (in types_scope)
\nu_ x ^{ x , x } ( x ) [not, in infotheo.information_theory.jtypes] (in types_scope)
`tO( x ) [not, in infotheo.information_theory.jtypes] (in types_scope)
x .-shell x [not, in infotheo.information_theory.jtypes] (in types_scope)
x .-typed_code x [not, in infotheo.information_theory.types] (in types_scope)

variation_distance_scope

d( x , x ) [not, in infotheo.probability.variation_dist] (in variation_distance_scope)

vec_ext_scope

x \# x [not, in infotheo.lib.ssralg_ext] (in vec_ext_scope)
x `[ x := x ] [not, in infotheo.lib.ssralg_ext] (in vec_ext_scope)
x ``_ x [not, in infotheo.lib.ssralg_ext] (in vec_ext_scope)