Hi! I just noticed that the category framework claims that any (sub)quotient of a euclidean domain is a euclidean domain.
sage: EuclideanDomains().Subquotients() Join of Category of euclidean domains and Category of subquotients of monoids That's of course not true (ZZ/16 is not even an integral domain). Apparently it is a consequence of code in RegressiveCovariantConstructionCategory, but I don't understand how it works or should work. Can you give me some pointers? Cheers, Simon -- You received this message because you are subscribed to the Google Groups "sage-combinat-devel" group. To post to this group, send email to sage-combinat-devel@googlegroups.com. To unsubscribe from this group, send email to sage-combinat-devel+unsubscr...@googlegroups.com. For more options, visit this group at http://groups.google.com/group/sage-combinat-devel?hl=en.