Nuprl Definition : adjust_div
adjust_div(b;a) == if (0) < (b rem a) then (b ÷ a) + 1 else (b ÷ a)
Definitions occuring in Statement :
less: if (a) < (b) then c else d,
remainder: n rem m,
divide: n ÷ m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
less: if (a) < (b) then c else d,
remainder: n rem m,
add: n + m,
natural_number: $n,
divide: n ÷ m
FDL editor aliases :
adjust_div
Latex:
adjust\_div(b;a) == if (0) < (b rem a) then (b \mdiv{} a) + 1 else (b \mdiv{} a)
Date html generated:
2016_05_13-PM-03_38_05
Last ObjectModification:
2015_09_22-PM-05_45_11
Theory : arithmetic
Home
Index