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 :
eager-accum: eager-accum(x,a.f[x; a];y;l),
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:
2017_09_29-PM-05_51_34
Last ObjectModification:
2017_05_21-PM-04_22_54
Theory : ML
Home
Index