On Saturday, August 11, 2012 1:22:05 PM UTC-7, Marco Streng wrote: > > These outputs look fine to me. See also > http://trac.sagemath.org/sage_trac/ticket/11673 >
Dear Marco, Thanks for the pointer to that ticket, which explains the change in the the "is_unit()" behavior. Why should the inverse of "four" succeed when the result is not in K? sage: four^-1 in K False On #12242 (a follow-on to the ticket above), David Loeffler argues that the following is the wrong behavior, and that the last command should raise an error. sage: K.<a> = NumberField(x^2 - x - 1); OK = K.ring_of_integers() sage: OK(12).divides(OK(13)) True sage: OK(12) // OK(13) 12/13 Thanks, Rob -- -- 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
