On October 13, 2011 18:47:48 Paterson, Ross wrote:
Tyson Whitehead writes:
I was looking through YAP a bit and was not certain about what was there only for compatibility as apposed to because it was also still good.
Am I correct in understanding, if you were starting from scratch:
- Num, Fractional, Real, and Integral would get axed, and - EuclidianDomain, Ring, and Field would form the base.
Fractional would be superfluous, but people would probably still want to overload abs, signum, toRational, quot, rem and toInteger for the standard numeric types. Maybe the classes would have different names.
Thanks for getting back to me on this Ross. I was also wondering about putting fromInteger and fromRational in Ring and Field. I would have imagined that not all rings and fields would have reasonable injections from the set of integers and rational numbers. Is this not the case? Thanks! -Tyson