[Top][All Lists]

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: [Axiom-developer] Re: Rng

From: Ralf Hemmecke
Subject: Re: [Axiom-developer] Re: Rng
Date: Fri, 28 Jul 2006 09:13:38 +0200
User-agent: Thunderbird (X11/20060516)

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.


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?


reply via email to

[Prev in Thread] Current Thread [Next in Thread]