---

Collect1 ==
  Collect(f + 1 vs's from 1b
           with maximum num= fst(snd(vs))
           return <num,n,outl(vs).2> for which
           n=outl(snd(snd(vs))).1 is maximum
           or <num,-1,prior Y> if all isr(snd(snd(vs)))))

---

Definitions :  pi2: snd(t),  pi1: fst(t),  natural_number: $n,  add: n + m,  es-collect-opt-max: es-collect-opt-max
FDL editor aliases :  abbr22

---

Collect1  ==
    Collect(f  +  1  vs's  from  1b
                      with  maximum  num=  fst(snd(vs))
                      return  <num,n,outl(vs).2>  for  which
                      n=outl(snd(snd(vs))).1  is  maximum
                      or  <num,-1,prior  Y>  if  all  isr(snd(snd(vs)))))


Date html generated: 2010_08_28-PM-01_02_41
Last ObjectModification: 2010_08_04-PM-03_32_54

Home Index