---

fpf-union(f;g;eq;R;x) ==
  if x  dom(f)  x  dom(g)
  then f(x) @ filter(R f(x);g(x))
  else f(x)?g(x)?[]
  fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  band: p  q,  fpf-dom: x  dom(f),  append: as @ bs,  filter: filter(P;l),  apply: f a,  fpf-ap: f(x),  fpf-cap: f(x)?z,  nil: []
FDL editor aliases :  fpf-union

---

fpf-union(f;g;eq;R;x)  ==
    if  x  \mmember{}  dom(f)  \mwedge{}\msubb{}  x  \mmember{}  dom(g)  then  f(x)  @  filter(R  f(x);g(x))  else  f(x)?g(x)?[]  fi 


Date html generated: 2010_08_26-PM-11_44_37
Last ObjectModification: 2008_02_27-PM-09_37_33

Home Index