lg-filter(P;G) ==
let rms = filter(
i.(
(P (fst(G[i]))));upto(lg-size(G))) in
reduce(x,g.lg-remove(g;x);G;rms)
Definitions :
let: let,
filter: filter(P;l),
bnot: b,
apply: f a,
pi1: fst(t),
select: l[i],
upto: upto(n),
lg-size: lg-size(g),
reduce: reduce(f;k;as),
lambda: x.A[x],
lg-remove: lg-remove(g;n)
FDL editor aliases :
lg-filter
lg-filter(P;G) ==
let rms = filter(\mlambda{}i.(\mneg{}\msubb{}(P (fst(G[i]))));upto(lg-size(G))) in
reduce(\mlambda{}x,g.lg-remove(g;x);G;rms)
Date html generated:
2010_08_27-PM-03_40_39
Last ObjectModification:
2010_06_08-AM-11_36_57
Home
Index