There is a patch at http://trac.sagemath.org/sage_trac/ticket/7160 which uses the embedding for the comparison, but there are two doctest failures still.
--Mike On Sun, Jul 8, 2012 at 8:54 AM, vdelecroix <20100.delecr...@gmail.com> wrote: > Hi, > > Once I initialize a number field with a real embedding, I would like > (as a user) that the order defined on the number field (ie the answers > of comparisons) is the one induced from RR. This is not the case right > now. I started to implement the thing for quadratic number field, and > it works well (ticket #13213). Any comment welcome... > > My question is about further algorithms that depends on the order: the > floor and ceiling function. Right now, the answers are wrong in many > cases. I found very efficient function to compute the floor or the > ceiling of sqrt(D) either based on Newton method or a more direct > squaring method. Does anybody know an algorithm for computing the > floor of (a + b sqrt(D)) / d where all a,b,d and D are integers ? And > for more general number field ? A naive approach would be to use > arithmetic interval but it is very slow (my attempt is to have a > reasonable speed for Rosen continued fraction and more general > approximation algorithms in real number fields). > > Cheers, > Vincent > > -- > -- > To post to this group, send an email to sage-devel@googlegroups.com > To unsubscribe from this group, send an email to > sage-devel+unsubscr...@googlegroups.com > For more options, visit this group at > http://groups.google.com/group/sage-devel > URL: http://www.sagemath.org -- -- To post to this group, send an email to sage-devel@googlegroups.com To unsubscribe from this group, send an email to sage-devel+unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URL: http://www.sagemath.org
