Re: integer exponentiation with negative exponent

[Doug Currie <doug.currie@...>]

 If the quotient a/b is representable, the _expression_ (a/b)*b + a%b shall equal a."
>

> [...]
>
> My head hurts.

I found the description of algorithms and history presented in this paper to be very useful:

The Euclidean Definition of the Functions div and mod

RAYMOND T. BOUTE

University of Nijmegen

(c)1992 ACM

http://dl.acm.org/citation.cfm?id=128862

e