9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
From: "Brian L. Stuart" <blstuart@bellsouth.net>
To: Fans of the OS Plan 9 from Bell Labs <9fans@cse.psu.edu>
Subject: Re: [9fans] More Microsoft bashing
Date: Thu, 15 Dec 2005 23:19:35 -0600	[thread overview]
Message-ID: <20051216052053.VFSC12897.ibm69aec.bellsouth.net@p1.stuart.org> (raw)
In-Reply-To: Your message of Fri, 16 Dec 2005 00:08:30 -0500 . <20051216050830.GE15067@augusta.math.psu.edu>

In message <20051216050830.GE15067@augusta.math.psu.edu>, Dan Cross writes:
>On Thu, Dec 15, 2005 at 10:53:06PM -0600, erik quanstrom wrote:
>> | Please note that this definition of DIV and MOD differs from the
>> | definition given in [M. Reiser, N. Wirth. Programming in Oberon. p.
>> | 36]:
>> | x  = (x DIV y) * y + (x MOD y), and
>> | 0 <= (x MOD y) < y
>    ^^^^^^^^^^^^^^^^^^
>> | 
>> | So, what *is* -5 MOD 3?
>> | 
>> 
>> -2
>
>Are you sure?  It looks to me more than it'd be +1.  Wirth's definition
>above would tend to indicate that x MOD y is always positive, unless I'm

This also matches Knuth's in Vol 1.  He states it as:

x mod y = x - y * floor( x / y )

and then observes that the mod follows the sign of y and that
the magnitude of the mod is strictly less than that of y.

Brian L. Stuart


  reply	other threads:[~2005-12-16  5:19 UTC|newest]

Thread overview: 24+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2005-12-16  4:04 Jack Johnson
2005-12-16  4:51 ` Dan Cross
2005-12-16  5:02   ` Dan Cross
2005-12-16  5:33     ` erik quanstrom
2005-12-16  5:38       ` Bruce Ellis
2005-12-16 10:46         ` Charles Forsyth
2005-12-16 13:13       ` Dan Cross
2005-12-16  4:53 ` erik quanstrom
2005-12-16  5:08   ` Dan Cross
2005-12-16  5:19     ` Brian L. Stuart [this message]
2005-12-16  5:27     ` Bruce Ellis
2005-12-16 14:19     ` Brantley Coile
2005-12-16 15:13       ` Bruce Ellis
2005-12-16 15:29         ` Russ Cox
2005-12-16 16:00           ` Bruce Ellis
2005-12-17  0:26             ` Jack Johnson
2005-12-17  3:59               ` Bruce Ellis
2005-12-16 15:33         ` Brantley Coile
2005-12-16 10:47   ` John Stalker
2005-12-16 14:25     ` Brantley Coile
2005-12-16 14:51       ` Gorka guardiola
2005-12-16 22:28     ` Victor Nazarov
2005-12-17 11:09 ` David Leimbach
2005-12-17 11:24   ` David Leimbach

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20051216052053.VFSC12897.ibm69aec.bellsouth.net@p1.stuart.org \
    --to=blstuart@bellsouth.net \
    --cc=9fans@cse.psu.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).