Nuprl Definition : gcd-list
gcd-list(L) == eager-accum(a,b.better-gcd(a;b);hd(L);tl(L))
Definitions occuring in Statement :
eager-accum: eager-accum(x,a.f[x; a];y;l),
hd: hd(l),
tl: tl(l),
better-gcd: better-gcd(a;b)
Definitions occuring in definition :
better-gcd: better-gcd(a;b),
hd: hd(l),
tl: tl(l)
FDL editor aliases :
gcd-list
Latex:
gcd-list(L) == eager-accum(a,b.better-gcd(a;b);hd(L);tl(L))
Date html generated:
2016_05_14-AM-06_56_58
Last ObjectModification:
2015_11_26-AM-10_42_43
Theory : omega
Home
Index