On Wed, Oct 29, 2008 at 9:05 AM, Georg <[EMAIL PROTECTED]> wrote:
>
> Hi Robert,
> thanks again,
> and sorry, my question was not well posed, fortunately (as a
> mathematician) I know what an isomorphism is :-),
> when I asked what does this exactly mean I actually wanted to know if
> in the cases
>  'sqrt(5. + RDF(5))' and 'sqrt(RDF(5) + 5.)'
> computation is performed by two different implementations of sqrt (gsl
> and mpfr) ?

Yes, there are two different implementations of sqrt.

> which would mean that sage could be non-commutative in some
> pathological cases (or simply if one of the implementations is buggy),
> this would be an inconsistency which is not comparable with non-
> associativity etc., because the latter obviously can't be avoided
> since fixed precision reals do not form a field ...

True.

William

>
> thanks, Georg
>
> >
>



-- 
William Stein
Associate Professor of Mathematics
University of Washington
http://wstein.org

--~--~---------~--~----~------------~-------~--~----~
To post to this group, send email to sage-support@googlegroups.com
To unsubscribe from this group, send email to [EMAIL PROTECTED]
For more options, visit this group at 
http://groups.google.com/group/sage-support
URLs: http://www.sagemath.org
-~----------~----~----~----~------~----~------~--~---

Reply via email to