get-triples(preList;st) ==
let f = 
n,p.<n, accum-matching-tagged-indices(p;st)> in
let tmp = map-index(f;preList) in
concat(map(x.interleave2(fst(x);snd(x));tmp))
Definitions :
pair: <a, b>,
accum-matching-tagged-indices: accum-matching-tagged-indices(pre;st),
let: let,
map-index: map-index(f;L),
concat: concat(ll),
map: map(f;as),
lambda: x.A[x],
interleave2: interleave2(a;v),
pi1: fst(t),
pi2: snd(t)
FDL editor aliases :
get-triples
get-triples(preList;st) ==
let f = \mlambda{}n,p.<n, accum-matching-tagged-indices(p;st)> in
let tmp = map-index(f;preList) in
concat(map(\mlambda{}x.interleave2(fst(x);snd(x));tmp))
Date html generated:
2010_08_27-PM-08_46_18
Last ObjectModification:
2010_03_23-PM-06_34_41
Home
Index