[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Axiom-mail] sqrt(-1) and %i
From: |
Martin Rubey |
Subject: |
Re: [Axiom-mail] sqrt(-1) and %i |
Date: |
03 Jul 2007 02:24:13 +0200 |
User-agent: |
Gnus/5.09 (Gnus v5.9.0) Emacs/21.4 |
"Bill Page" <address@hidden> 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