[E-Lang] ERTP-aware MintMaker

Ben Laurie ben@algroup.co.uk
Thu, 15 Feb 2001 09:42:34 +0000

"Jonathan S. Shapiro" wrote:
> "Mark S. Miller" wrote:
> > Those things that C
> > and Java folks call integers aren't.
> Group (i.e. modular) arithmetic is just as formally well-founded as
> integer arithmetic. You'll notice that the C folks *didn't* call it
> "integer"...

Ahem. Speaking as a defrocked mathematician, group arithmetic is _not_
modular arithmetic. It's a strict superset (and includes "ordinary"

Actually, strictly speaking, putting "arithmetic" and "group" together
doesn't make much sense, since groups only have a single operation.




"There is no limit to what a man can do or how far he can go if he
doesn't mind who gets the credit." - Robert Woodruff