[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-developer] RE: Aldor and Axiom
From: |
Jay Belanger |
Subject: |
Re: [Axiom-developer] RE: Aldor and Axiom |
Date: |
Tue, 14 Feb 2006 23:12:08 -0600 |
User-agent: |
Gnus/5.11 (Gnus v5.11) Emacs/22.0.50 (gnu/linux) |
"Bill Page" <address@hidden> writes:
...
>> Hmm. But aren't there some cases where you want this, like
>> (say) knowing that 4 is a real integer without having to
>> explicitly say that? (Sorry that's probably a dumb question).
>
> The phrase "real integer" is kind of dumb ... :) What other kinds
> of integers are there?
Complex (Gaussian) integers?
> I still firmly believe that Aldor is the best way forward. Given
> that everyone who has posted to the:
>
> http://wiki.axiom-developer.org/FreeAldor
>
> petition (including Steven Watt!) has been positive about the
> idea of making Aldor open source, I think we should just proceed
> based on that idea.
Is it that clear that it will become open source?
It may be that it just takes a while, but is it possible that it's
taking a while because there are roadblocks that we aren't aware of?
Jay
- Re: [Axiom-developer] Re: Aldor and Axiom, (continued)
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Ralf Hemmecke, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, Martin Rubey, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] Re: Aldor and Axiom, root, 2006/02/15
- Re: [Axiom-developer] RE: Aldor and Axiom,
Jay Belanger <=
- Re: [Axiom-developer] RE: Aldor and Axiom, Martin Rubey, 2006/02/14
- [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Ralf Hemmecke, 2006/02/14
- Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Martin Rubey, 2006/02/15
- Re: [Axiom-developer] The symbol 4 (was Re: Aldor and Axiom), Ralf Hemmecke, 2006/02/15
- [Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain), Ralf Hemmecke, 2006/02/14
- [Axiom-developer] Re: Aldor and Axiom (was Re: What is SubDomain), Ralf Hemmecke, 2006/02/14
- [Axiom-developer] RE: What is SubDomain, Bill Page, 2006/02/13
- Re: [Axiom-developer] What is SubDomain (was: non extending category), Scott Morrison, 2006/02/14
- [Axiom-developer] Re: non extending category, root, 2006/02/10
- [Axiom-developer] RE: non extending category, Bill Page, 2006/02/10