MaxReserve == es-interface-accum(
mx,x.imax(mx;snd(x));0;1a)
Definitions :
natural_number: $n,
pi2: snd(t),
imax: imax(a;b),
lambda: x.A[x],
es-interface-accum: es-interface-accum(f;x;X)
FDL editor aliases :
abbr26
MaxReserve == es-interface-accum(\mlambda{}mx,x.imax(mx;snd(x));0;1a)
Date html generated:
2010_08_28-PM-01_41_34
Last ObjectModification:
2010_08_04-PM-02_38_58
Home
Index