---

Collect1 ==
  Collect(x3 + 1 vs's from x1
           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 x2> if all isr(snd(snd(vs)))))

---

Definitions :  pi2: snd(t),  pi1: fst(t),  natural_number: $n,  add: n + m

---

Collect1  ==
    Collect(x3  +  1  vs's  from  x1
                      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  x2>  if  all  isr(snd(snd(vs)))))


Date html generated: 2010_08_30-AM-12_51_02
Last ObjectModification: 2010_08_16-PM-01_28_10

Home Index