Re: [Axiom-developer] RE: Aldor and Axiom

[Jay Belanger]

"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