Make sure you cimport EuclideanDomain in the rings/integer_ring.pxd  
file.

- Robert


On Mar 8, 2008, at 10:17 AM, John Cremona wrote:

>
> 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
-~----------~----~----~----~------~----~------~--~---

Reply via email to