Re: [Axiom-developer] Re: Rng

[Ralf Hemmecke]

On 07/28/2006 08:55 AM, Martin Rubey wrote:
> unfortunately, I'm out of time currently, but:
>
> root <address@hidden> 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