Nuprl Definition : bag-mapfilter-fast
bag-mapfilter-fast(f;P;bs) == bag-accum(b,x.if P[x] then f[x].b else b fi ;{};bs)
Definitions occuring in Statement :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
cons-bag: x.b,
empty-bag: {},
ifthenelse: if b then t else f fi ,
so_apply: x[s]
Definitions occuring in definition :
bag-accum: bag-accum(v,x.f[v; x];init;bs),
ifthenelse: if b then t else f fi ,
cons-bag: x.b,
so_apply: x[s],
empty-bag: {}
FDL editor aliases :
bag-mapfilter-fast
Latex:
bag-mapfilter-fast(f;P;bs) == bag-accum(b,x.if P[x] then f[x].b else b fi ;\{\};bs)
Date html generated:
2016_05_15-PM-02_49_28
Last ObjectModification:
2015_09_23-AM-07_40_25
Theory : bags
Home
Index