"Bill Page" <[EMAIL PROTECTED]> writes:
> but not if through some more complex computation I end up with a type like
> this:
>
> (4) -> q:Expression Fraction Integer:=sin(1)*sqrt(-1)
you shouldn't end up with a type like this. The interpreter doesn't like it.
>
> +---+
> (4) sin(1)\|- 1
> Type: Expression Fraction Integer
>
(8) -> map(i+->i::INT, q)
+---+
(8) sin(1)\|- 1
Type: Expression Integer
But that's a hack.
Martin
_______________________________________________
Axiom-mail mailing list
[email protected]
http://lists.nongnu.org/mailman/listinfo/axiom-mail
