(2steps total)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
At:
mod
bounds
a
:
,
n
:
. 0
(
a
mod
n
) & (
a
mod
n
)<
n
By:
Auto THEN Def of
a
mod
n
Generated subgoal:
1
1.
a
:
2.
n
:
if 0
a
a
rem
n
; ((-
a
) rem
n
)=
0
0 else
n
-((-
a
) rem
n
) fi<
n
1
step
About:
IF YOU CAN SEE THIS go to /sfa/Nuprl/Shared/Xindentation_hack_doc.html
(2steps total)
PrintForm
Definitions
int
2
Sections
StandardLIB
Doc
a:
, n:
. 0
(a mod n) & (a mod n)<n a:, n:. 0(a mod n) & (a mod n)<n
if 0
a
a rem n ; ((-a) rem n)=0 0 else n-((-a) rem n) fi<n
