Nuprl Definition : proportional-round
proportional-round(r;k;l) == let r' ⟵ r in if isint(r') then (r' * k) ÷ l else let p,q = r' in (p * k) ÷ q * l fi
Definitions occuring in Statement :
callbyvalueall: callbyvalueall,
ifthenelse: if b then t else f fi ,
bfalse: ff,
btrue: tt,
isint: isint def,
spread: spread def,
divide: n ÷ m,
multiply: n * m
Definitions occuring in definition :
callbyvalueall: callbyvalueall,
ifthenelse: if b then t else f fi ,
isint: isint def,
btrue: tt,
bfalse: ff,
spread: spread def,
divide: n ÷ m,
multiply: n * m
FDL editor aliases :
proportional-round
Latex:
proportional-round(r;k;l) ==
let r' \mleftarrow{}{} r
in if isint(r') then (r' * k) \mdiv{} l else let p,q = r' in (p * k) \mdiv{} q * l fi
Date html generated:
2016_05_15-PM-10_37_19
Last ObjectModification:
2015_09_23-AM-08_26_51
Theory : rationals
Home
Index