On 07/28/2006 08:55 AM, Martin Rubey wrote:
unfortunately, I'm out of time currently, but:
root <[EMAIL PROTECTED]> writes:
Axiom has some categories, such as RNG, which don't seem to match those of
regular math. One question is whether this is just a design flaw or does it
expose a new computational object that we need to examine theoretically.
No. RNG is quite standard in Algebra. I think it's even in Hungerford. I cannot
see a design flaw there.
Martin
So how would you implement "NaturalNumber"? Is that NNI or PI? Current
Axiom chooses not to provide NaturalNumber at all. One always have to be
explicit and choose NNI or PI instead. Isn't that a similar situation to
RNG and RING? Who decides what is common and what not?
Ralf
_______________________________________________
Axiom-developer mailing list
Axiom-developer@nongnu.org
http://lists.nongnu.org/mailman/listinfo/axiom-developer
