Dima Pasechnik wrote:
> the function 1/n : AA->AA is 1-1 on all AA, and I don't see why this
> property should be broken. Mathematically it makes perfect sense as
> is.

Because the ** operator is part of the coercion system, and AA coerces
into QQbar, CC, etc.

> In fact, it should also work like this for any real field, not only
> AA.

I agree that there should be an internal nth root method, but I don't
think it can be the same as the standard exponentiation operator
without leading to all kinds of inconsistencies.

-- 
Marc

-- 
You received this message because you are subscribed to the Google Groups 
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit 
https://groups.google.com/d/msgid/sage-devel/varoab%24dg5%241%40ciao.gmane.io.

Reply via email to