These outputs look fine to me. See also http://trac.sagemath.org/sage_trac/ticket/11673
2012/8/11 Rob Beezer <goo...@beezer.cotse.net>: > Is this a bug? > > First example is from Judson's abstract algebra text. Note that > ".is_unit()" returned "True" in sage 4.8. > > sage: sage: K.<x,y> = ZZ[sqrt(-3)]; K > Order in Number Field in a with defining polynomial x^2 + 3 > sage: four = K(4) > sage: four.is_unit() > False > sage: four^-1 > 1/4 > > Second example: all but the last input is basically from the documentation > of ".is_unit()." > > sage: K.<a> = NumberField(x^2 - x - 1) > sage: OK = K.ring_of_integers() > sage: u = OK(13) > sage: u.is_unit() > False > sage: u^-1 > 1/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 > > > -- -- 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
