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