« Bugzilla Issues Index
#980 — 5.2: simplifying modulo
2012-11-21 12:46:00 -0800
5.2: simplifying modulo
2013-09-16 06:36:29 -0700
Draft for 6th Edition
Rev 11: October 26, 2012 Draft
2012-11-21 12:46:38 -0800
Section 5.2 says:
The notation “x modulo y” (y must be finite and nonzero)
computes a value k of the same sign as y (or zero) such that
abs(k) < abs(y) and x-k = q * y for some integer q.
You could make the definition a bit simpler by requiring that y be a positive integer, which is true of all uses of 'modulo' in the spec.
2013-03-02 10:58:54 -0800
yes, but it doesn't hurt and maybe someday in the future it will be needed.