Why is there no modulus function in Axiom? Such as
-13 mod 10 producing 7.
There's rem, but if you want a positive value you have to tweak the result. I can get x mod n with (x::ZMOD n)::INT but that's a bit of a kludge, and if I put it in a program the compiler doesn't like it.