Gabriel Dos Reis wrote:
> "Bill Page" <[EMAIL PROTECTED]> writes:
>
> [...]
>
> | I would like to discuss this more with other active Axiom
> | developers.
>
> Why should InputForm be preferable over Expression T?
>
When I want use symbolic domain (which is rather rare) I want
a single domain. So one should fix T first. Natural candidate
for T is Integer. But Expression Integer is a field of
characteristic 0. I can easily imagine expresions which go
beyond that (noncommutative variables, zero divisors, mixed
characteristic). Also ATM Expression Integer does not do
zero test before division but IMHO this is a bug. OTOH
general symbolic domain may lack normal forms.
--
Waldek Hebisch
[EMAIL PROTECTED]
_______________________________________________
Axiom-developer mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-developer
