> That is consequence of IEEE rules about signed zero and precedence rules:
Now that is a subtle and interesting phenomenon. >From that point of view everything is consistent indeed. But in practice I think that one easily runs into this issue. I would argue that you want to be able to swap Float and DoubleFloat in applications, and this prevents it without writing a wrapper for the exponentiation that always enforces a positive sign for a zero imaginary part. Also virtually every CAS out there gives you +%i for (-1.0)^(0.5) for floating point numbers. -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To unsubscribe from this group and stop receiving emails from it, send an email to [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/fricas-devel/a4ded0be-612d-43a6-832c-9a4f9c534a0dn%40googlegroups.com.
