Re: [Axiom-mail] sqrt(-1) and %i

[Martin Rubey]

"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