I'm used to the number-theoretic norm too, so I wasn't so worried about it. I would point out that having "native" support of Gaussian integers/primes would be very convenient for educational purposes (for instance, a.is_prime() is not implemented for SR, but unfortunately also not for these guys... and I know it's not clear inside of which ring a should be prime, so don't even complain about that).
On Apr 26, 4:09 pm, John Cremona <john.crem...@gmail.com> wrote: > This is certainly a bug: > > sage: a = sqrt(-3) > sage: a > sqrt(-3) > sage: a.conjugate() > sqrt(-3) > > sage: bool(a==a.conjugate()) > True > Yeah, this is bad, and according to a.conjugate?? it seems to be something wrong with our Ginac/Pynac use. Maybe a.conjugate() on SR needs to only be automatically evaluated on things that can coerce to RR or ZZ? It is possible that http://trac.sagemath.org/sage_trac/ticket/6244 is directly related, but I'm too lazy to see which Pynac changeset this is related to. Related (though not directly) tickets are http://trac.sagemath.org/sage_trac/ticket/7957, http://trac.sagemath.org/sage_trac/ticket/7916, and http://trac.sagemath.org/sage_trac/ticket/6862. I've made this http://trac.sagemath.org/sage_trac/ticket/8775 and marked it critical. Would be good to fix for 4.4.1. - kcrisman - kcrisman -- 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
