---

prior-f-fixedpoints(e) ==
  Y 
  (es-prior-fixedpoints,e.
    if f e = e
    then if e  prior(Sys)
         then (es-prior-fixedpoints prior(Sys)(e)) @ [e]
         else [e]
         fi 
    else es-prior-fixedpoints f**(e)
    fi ) 
  e

---

Definitions :  ycomb: Y,  lambda: x.A[x],  es-eq-E: e = e',  ifthenelse: if b then t else f fi ,  in-eclass: e  X,  append: as @ bs,  eclass-val: X(e),  es-prior-interface: prior(X),  cons: [car / cdr],  nil: [],  apply: f a,  es-fix: f**(e)
FDL editor aliases :  es-prior-fixedpoints

---

prior-f-fixedpoints(e)  ==
    Y 
    (\mlambda{}es-prior-fixedpoints,e.
        if  f  e  =  e
        then  if  e  \mmember{}\msubb{}  prior(Sys)  then  (es-prior-fixedpoints  prior(Sys)(e))  @  [e]  else  [e]  fi 
        else  es-prior-fixedpoints  f**(e)
        fi  ) 
    e


Date html generated: 2010_08_27-PM-03_11_08
Last ObjectModification: 2010_04_01-PM-01_42_17

Home Index