mod
mod(i,n)
-- reduce the integer i modulo n, producing an element of ZZ/n.
