powered by
modulus(a,value)
x <- as.bigz(24) modulus(x)
# x element of Z/31Z modulus(x) <- 31 x+x # (6
arith