Re: sqrt(-1) and %i

Martin Rubey <[email protected]> 03 Jul 2007 02:24:13 +0200

Newsgroups	gmane.comp.mathematics.axiom.user
Message-ID	<[email protected]>

"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