int
2
Sections
StandardLIB
Doc
Def
a
n == if 0
a
a
n ;((-a) rem n)=
0
-((-a)
n) else -((-a)
n)+-1 fi
is mentioned by
Thm*
a:
, n:
. a = (a
n)
n+(a mod n)
[div_floor_mod_sum]
Try larger context:
StandardLIB
int
2
Sections
StandardLIB
Doc
a:
, n:
. a = (a 
n)
n+(a mod n) n == if 0
a
a n ;((-a) rem n)=0-((-a) n) else -((-a) n)+-1 fi
a:, n:. a = (a n)n+(a mod n)