From jdering@asz-home.nl  Sun Jul 18 14:14:47 1999
Received: from smtp3.xs4all.nl (smtp3.xs4all.nl [194.109.30.146])
	by swi.swi.psy.uva.nl (8.9.3/8.9.3) with ESMTP id OAA03202
	for <prolog@swi.psy.uva.nl>; Sun, 18 Jul 1999 14:14:46 +0200 (MET DST)
Received: from asz00097 (asd-modem68.dial.xs4all.nl [194.109.40.68])
	by smtp3.xs4all.nl (8.8.8/8.8.8) with SMTP id OAA17799
	for <prolog@swi.psy.uva.nl>; Sun, 18 Jul 1999 14:15:32 +0200 (CEST)
Message-Id: <3.0.5.32.19990718141500.00797570@pop.xs4all.nl>
X-Sender: asz00097@pop.xs4all.nl (Unverified)
X-Mailer: QUALCOMM Windows Eudora Light Version 3.0.5 (32)
Date: Sun, 18 Jul 1999 14:15:00 +0200
To: prolog@swi.psy.uva.nl
From: Koos Dering <jdering@asz-home.nl>
Subject: rem/mod ops
Mime-Version: 1.0
Content-Type: text/plain; charset="us-ascii"

According to the supplied help-information both the rem- and the
mod-operator produce the 'remainder of division' however while mod
(apparently) satisfies:
(A // B ) * B + A mod B =:= A
so implements what is usually called the remainder of (integer) division
rem apparenty satisfies
(A // B + A rem B ) * B =:= A
or (equivalently)
A rem B =:= float_fractional_part(A/B)

While this might possibly be a useful function one would expect different
descriptions for different functions.


