Nuprl Definition : shifted-sequence
shifted-sequence(f;a) == 
n.if n <z ||a|| then a[n] else f (n - ||a||) fi
Definitions occuring in Statement :
select: l[i],
length: ||as||,
lt_int: i <z j,
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
subtract: n - m
FDL editor aliases :
shifted-sequence
shifted-sequence(f;a) == \mlambda{}n.if n <z ||a|| then a[n] else f (n - ||a||) fi
Date html generated:
2013_03_20-AM-10_36_49
Last ObjectModification:
2013_03_11-PM-07_27_48
Home
Index