(maximum f[v] 
lb with v from X) ==
es-interface-accum(
mx,v.imax(mx;f[v]);lb;X)
Definitions :
imax: imax(a;b),
lambda: x.A[x],
es-interface-accum: es-interface-accum(f;x;X)
FDL editor aliases :
imax-class
(maximum f[v] \mgeq{} lb with v from X) == es-interface-accum(\mlambda{}mx,v.imax(mx;f[v]);lb;X)
Date html generated:
2010_08_27-PM-02_24_36
Last ObjectModification:
2010_08_05-PM-01_51_42
Home
Index