fpf-normalize(eq;g) == reduce(
x,f.x : (snd(g)) x 
f;
;fst(g))
Definitions :
reduce: reduce(f;k;as),
lambda: x.A[x],
fpf-join: f g,
fpf-single: x : v,
apply: f a,
pi2: snd(t),
fpf-empty: ,
pi1: fst(t)
FDL editor aliases :
fpf-normalize
fpf-normalize(eq;g) == reduce(\mlambda{}x,f.x : (snd(g)) x \moplus{} f;\motimes{};fst(g))
Date html generated:
2010_08_27-AM-12_02_46
Last ObjectModification:
2008_02_27-PM-09_48_23
Home
Index