On 22 Apr., 00:02, Simon King <simon.k...@uni-jena.de> wrote: > 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).
Nicolas pointed out (on #9138) that cat.Quotients() is, by definition, a subcategory of cat. In particular, ZZ/16 is not an object of ZZ.category().Quotients() So, sorry for the noise. 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.
