Re: Integers and Mathematical Correctness

["Marin David Condic" <dont.bother.mcondic.auntie.spam@[acm.org>]

Just because I think the Ada attributes for math (and, of course, other
stuff) are really cool things to have, I thought I'd mention: ARM Annex K
wherein you can find S'Ceiling and S'Floor. They apply to floating point
types, but they might be interesting in this context anyway. I don't know of
other languages providing so many handy mathematical attributes that let you
develop code for portability and/or precise behavior. Its one more reason
why Ada ought to be of interest to those doing mathematical/scientific
programming.

MDC
--
Marin David Condic
Senior Software Engineer
Pace Micro Technology Americas    www.pacemicro.com
Enabling the digital revolution
e-Mail:    marin.condic@pacemicro.com
Web:      http://www.mcondic.com/


"Charles Sampson" <csampson@inetworld.net> wrote in message
news:1f26o22.1xfvwvo111pfi4N%csampson@inetworld.net...
> chris.danx <chris.danx@ntlworld.com> wrote:
> > I'm trying to implement integer division the "proper" way (according to
> > Euclid), just for fun (and to provide a mathematically correct package
for
> > anyone who gets annoyed by this).
>
>      I'm not sure how you determined that the "proper" definition of
> integer division is to return floor (a/b), where "/" is mathematical
> division.  The definition used by most programming languages preserves
> the very useful property -(a/b) = (-a)/b = a/(-b), where this time "/"
> represents integer division.