n == if 0
a
a n ;((-a) rem n)=0-((-a) n) else -((-a) n)+-1 fi
a:
, n:
. (a n) 
aa rem n ;((-a) rem n)=00 else n-((-a) rem n) fia:, n:. (a mod n) == {i:| 0 < i } Type| Some definitions of interest. | |
| div_floor | Def a n == if 0aa n ;((-a) rem n)=0-((-a) n) else -((-a) n)+-1 fi |
| Thm* a:, n:. (a n) | |
| modulus | Def a mod n == if 0aa rem n ;((-a) rem n)=00 else n-((-a) rem n) fi |
| Thm* a:, n:. (a mod n) | |
| nat_plus | Def == {i:| 0 < i } |
| Thm* Type |
About:
 |  |  |  |  |  |  |  |
 |  |  |  |  |  |