PolyAccumComb(B;f;x) ==
RecComb1(T.True;T.B;v,s.if (bag-size(v) =
1)
then {f if (bag-size(s) = 1) then only(s) else x fi only(v)}
else {}
fi )
Definitions occuring in Statement :
RecComb1: RecComb1(T.P[T];T.F[T];v,s.H[v; s]),
eq_int: (i = j),
ifthenelse: if b then t else f fi ,
true: True,
apply: f a,
natural_number: $n,
bag-only: only(bs),
bag-size: bag-size(bs),
single-bag: {x},
empty-bag: {}
Definitions :
RecComb1: RecComb1(T.P[T];T.F[T];v,s.H[v; s]),
true: True,
single-bag: {x},
apply: f a,
ifthenelse: if b then t else f fi ,
eq_int: (i = j),
bag-size: bag-size(bs),
natural_number: $n,
bag-only: only(bs),
empty-bag: {}
FDL editor aliases :
PolyAccumComb
PolyAccumComb(B;f;x) ==
RecComb1(T.True;T.B;v,s.if (bag-size(v) =\msubz{} 1)
then \{f if (bag-size(s) =\msubz{} 1) then only(s) else x fi only(v)\}
else \{\}
fi )
Date html generated:
2011_08_17-PM-06_26_43
Last ObjectModification:
2011_01_20-AM-00_25_21
Home
Index