Nuprl Definition : uniform-fps
uniform-fps(n) == map(λx.(1/n);upto(n))
Definitions occuring in Statement :
upto: upto(n),
map: map(f;as),
lambda: λx.A[x],
natural_number: $n,
qdiv: (r/s)
Definitions :
map: map(f;as),
lambda: λx.A[x],
qdiv: (r/s),
natural_number: $n,
upto: upto(n)
FDL editor aliases :
uniform-fps
uniform-fps(n) == map(\mlambda{}x.(1/n);upto(n))
Date html generated:
2015_07_17-AM-07_58_02
Last ObjectModification:
2011_06_07-PM-05_56_09
Home
Index