Nuprl Definition : reduce-real
reduce-real(x;b;k) == integer-approx((x/b);k)
Definitions occuring in Statement :
integer-approx: integer-approx(x;k),
rdiv: (x/y)
Definitions occuring in definition :
integer-approx: integer-approx(x;k),
rdiv: (x/y)
FDL editor aliases :
reduce-real
Latex:
reduce-real(x;b;k) == integer-approx((x/b);k)
Date html generated:
2019_10_29-AM-10_09_10
Last ObjectModification:
2019_02_03-PM-02_40_13
Theory : reals
Home
Index