|
From: | Ralf Hemmecke |
Subject: | Re: [Axiom-developer] Re: Rng |
Date: | Fri, 28 Jul 2006 09:13:38 +0200 |
User-agent: | Thunderbird 1.5.0.4 (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. 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
[Prev in Thread] | Current Thread | [Next in Thread] |