"Bill Page" <[EMAIL PROTECTED]> 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


_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer

Reply via email to