Re: Questions about srfi-77 Generic Arithmetic Bradley Lucier 19 Feb 2006 01:59 UTC

On Feb 18, 2006, at 11:22 AM, William D Clinger wrote:

>> 8.  Integer Divison.
>> (a) I think it is a really bad design to have the basic
>> operation of div+mod change when the second argument changes sign.
>
> I don't have much problem with that.  These mathematical
> operations aren't defined at zero, so they have to compare
> against zero anyway.  To quote Egner et al, "the sign of
> the modulus y determines which system of representatives
> of the residue class ring Z/yZ is being chosen, either
> non-negative (y > 0), symmetric around zero (y < 0), or
> the integers (y = 0)."  Using the sign of y is ad hoc,
> but it's an ad hoc choice anyway.

For now, let me just point out

http://groups.google.com/group/comp.lang.scheme/msg/32949cdfdda958f8?

where either you pulled one over on me that I didn't realize, or you
didn't know what MODULO meant in 1996.  I think introducing this
operator will make things very much worse.

Brad