On Monday, July 13, 2015 at 7:15:40 PM UTC+2, Simon King wrote: > > > So, I'd prefer to display elements of QQbar as floating point numbers > (what default precision?), always rounded DOWN to the last digit that is > displayed, and followed by "..." (not "?") unless the displayed value is > exact. So, what is displayed is an initial part of the potentially > infinite sequence of digits. > +1
-- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
