---

SeqComb() ==
  SimpleComb1+1(T.True;
                T.True;
                T1,T2.T2  T1;
                vnow,vprev.if (bag-size(vnow) = 1)
                then if (bag-size(vprev) = 1)
                     then {<only(vprev), only(vnow)>}
                     else {}
                     fi 
                else {}
                fi )

---

Definitions occuring in Statement :  SimpleComb1+1: SimpleComb1+1(T1.P1[T1];T2.P2[T2];T1,T2.F[T1; T2];a,b.H[a; b]),  eq_int: (i = j),  ifthenelse: if b then t else f fi ,  true: True,  pair: <a, b>,  product: x:A  B[x],  natural_number: $n,  bag-only: only(bs),  bag-size: bag-size(bs),  single-bag: {x},  empty-bag: {}
Definitions :  SimpleComb1+1: SimpleComb1+1(T1.P1[T1];T2.P2[T2];T1,T2.F[T1; T2];a,b.H[a; b]),  true: True,  product: x:A  B[x],  ifthenelse: if b then t else f fi ,  eq_int: (i = j),  bag-size: bag-size(bs),  natural_number: $n,  single-bag: {x},  pair: <a, b>,  bag-only: only(bs),  empty-bag: {}
FDL editor aliases :  SeqComb

---

SeqComb()  ==
    SimpleComb1+1(T.True;
                                T.True;
                                T1,T2.T2  \mtimes{}  T1;
                                vnow,vprev.if  (bag-size(vnow)  =\msubz{}  1)
                                then  if  (bag-size(vprev)  =\msubz{}  1)  then  \{<only(vprev),  only(vnow)>\}  else  \{\}  fi 
                                else  \{\}
                                fi  )


Date html generated: 2011_08_17-PM-06_29_24
Last ObjectModification: 2011_01_22-PM-08_18_10

Home Index