9fans - fans of the OS Plan 9 from Bell Labs
 help / color / mirror / Atom feed
From: erik quanstrom <quanstro@quanstro.net>
To: 9fans@cse.psu.edu, Jack Johnson <knapjack@gmail.com>
Subject: [9fans] More Microsoft bashing
Date: Thu, 15 Dec 2005 22:53:06 -0600	[thread overview]
Message-ID: <20051216045306.126521B12F3@dexter-peak.quanstro.net> (raw)
In-Reply-To: <6e35c0620512152004n37c06ff5wd250424db50d874d@mail.gmail.com>

these can be shown to be the same:

Jack Johnson <knapjack@gmail.com> writes

| result  = value1 MOD value2 satisfies the following conditions:
| result = value1 - value2 * (value1 DIV value2), and
| 0 <= |result| < |value2|, and
| sign(result) = sign(value1)

but subsituting with wirth's eqn:
	
	r = x MOD y
thus
	(x MOD y) = x - y*(x DIV y)
so
	x = (x DIV y) + (x MOD y)

| 
| 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
| 
| ( from http://www.bluebottle.ethz.ch/oberon.net/faq.html#ad_DivMod )

| 
| ------
| 
| I kind of collect random, older computer science texts, so I cracked
| open The Nature of Computation by Pohl and Shaw, which yields:
| 
|   "x MOD y = x - (x ÷ y) * y, where ÷ indicates integer division (i.e.
| fractions are disregarded; equivalently, the result of the division is
| truncated)."

uh, if you replace ÷ with DIV (since the definition is the same),

	x MOD y = x - (x DIV y)*y
thus
	x  = (x DIV y) * y + (x MOD y)

| 
| So, what *is* -5 MOD 3?
| 

-2


  parent reply	other threads:[~2005-12-16  4:53 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 [this message]
2005-12-16  5:08   ` Dan Cross
2005-12-16  5:19     ` Brian L. Stuart
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=20051216045306.126521B12F3@dexter-peak.quanstro.net \
    --to=quanstro@quanstro.net \
    --cc=9fans@cse.psu.edu \
    --cc=knapjack@gmail.com \
    /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).