This is not right: sage: is_EuclideanDomain(ZZ) False
(discovered while working on #2425, i.e. doctests for rings/rings and rings/integer_ring) I reckon that the solution is simply to change cdef class IntegerRing_class(PrincipalIdealDomain): to cdef class IntegerRing_class(EuclideanDomain): in rings/integer_ring.pyx since EuclideanDomain is imply derived from PrincipalIdealDomain, with almost no extra functionality as far as I can see. However when I make that change I get errors rebuilding: /home/jec/sage-2.10.3.rc2/devel/sage-rings/sage/rings/integer_ring.pyx:103:5: 'EuclideanDomain' is not declared I'm not sure how to make this declaration in cython. Can someone help? John -- John Cremona --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to [email protected] To unsubscribe from this group, send email to [EMAIL PROTECTED] For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
