---

pi-rank-choices(compList) ==
  if (0 = ||compList||)
  then 0
  else imax-list(map(cmp.pi-rank(snd(cmp));compList))
  fi 

---

Definitions :  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  length: ||as||,  natural_number: $n,  imax-list: imax-list(L),  map: map(f;as),  lambda: x.A[x],  pi-rank: pi-rank(p),  pi2: snd(t)
FDL editor aliases :  pi-rank-choices

---

pi-rank-choices(compList)  ==
    if  (0  =\msubz{}  ||compList||)  then  0  else  imax-list(map(\mlambda{}cmp.pi-rank(snd(cmp));compList))  fi 


Date html generated: 2010_08_27-PM-08_40_52
Last ObjectModification: 2010_05_03-PM-04_42_37

Home Index