---

es-collect-accum(X;x.num[x];init;a,v.f[a; v];a.P[a]) ==
  collect_filter()[
  es-interface-accum(collect_accum(x.num[x];init;a,v.f[a; v];a.P[a]);<-1
                     , init
                     , inr 0 >;X)]

---

Definitions :  es-filter-image: f[X],  collect_filter: collect_filter(),  es-interface-accum: es-interface-accum(f;x;X),  collect_accum: collect_accum(x.num[x];init;a,v.f[a; v];a.P[a]),  minus: -n,  pair: <a, b>,  inr: inr x ,  natural_number: $n
FDL editor aliases :  es-collect-accum

---

es-collect-accum(X;x.num[x];init;a,v.f[a;  v];a.P[a])  ==
    collect\_filter()[es-interface-accum(collect\_accum(x.num[x];init;a,v.f[a;  v];a.P[a]);<-1
                                                                            ,  init
                                                                            ,  inr  0  >X)]


Date html generated: 2010_08_27-PM-02_52_37
Last ObjectModification: 2010_03_26-AM-11_08_38

Home Index