X[e1;e2] == mapfilter(
e.X(e);e.e 
X;[e1, e2])
Definitions :
mapfilter: mapfilter(f;P;L),
eclass-val: X(e),
lambda: x.A[x],
in-eclass: e X,
es-interval: [e, e']
FDL editor aliases :
es-closed-interval-vals
X[e1;e2] == mapfilter(\mlambda{}e.X(e);\mlambda{}e.e \mmember{}\msubb{} X;[e1, e2])
Date html generated:
2010_08_27-PM-02_11_03
Last ObjectModification:
2010_01_25-PM-11_23_34
Home
Index