Nuprl Definition : modulus
a mod n == eval r = a rem n in if (r) < (0) then |n| + r else r
Definitions occuring in Statement :
absval: |i|,
callbyvalue: callbyvalue,
less: if (a) < (b) then c else d,
remainder: n rem m,
add: n + m,
natural_number: $n
Definitions occuring in definition :
callbyvalue: callbyvalue,
remainder: n rem m,
less: if (a) < (b) then c else d,
natural_number: $n,
add: n + m,
absval: |i|
FDL editor aliases :
modulus
Latex:
a mod n == eval r = a rem n in if (r) < (0) then |n| + r else r
Date html generated:
2016_05_13-PM-03_37_08
Last ObjectModification:
2015_09_22-PM-05_45_06
Theory : arithmetic
Home
Index