[Date Index] [Thread Index] [Author Index]

Re: Mod and QuotientRemainder are inconsistent

• To: mathgroup at smc.vnet.net
• Subject: [mg124866] Re: Mod and QuotientRemainder are inconsistent
• From: Andrzej Kozlowski <akoz at mimuw.edu.pl>
• Date: Fri, 10 Feb 2012 05:51:52 -0500 (EST)
• Delivered-to: l-mathgroup@mail-archive0.wolfram.com
• References: <201202091035.FAA18248@smc.vnet.net>

Note also that:

Mod[12, 0.1, 1]

 1.

etc., which suggest to me that the result for Mod[12,0.1] must be a bug.

Andrzej Kozlowski




On 9 Feb 2012, at 11:35, Szabolcs wrote:

>
> Mod[12, 0.1] gives 0.1 despite 120*0.1 = 12.  I expect this is because 0.1 is not representable in binary.
>
> QuotientRemainder[12, 0.1] gives {120, 0.} however, which is inconsistent with the result above.
>
> Quotient[12,0.1] gives 120 which is also inconsistent with Mod.
>
> Is this a bug or is it by design?  It seems it is not safe to assume that
>
> QuotientRemainder[a,b] = {Quotient[a,b], Mod[a,b]}
>
> or that
>
> Quotient[a,b]*b + Mod[a,b] = a
>

• References:
  • Mod and QuotientRemainder are inconsistent
    • From: Szabolcs <szhorvat@gmail.com>