Maybe the question then splits into two parts: 1) Is ZZ^2 a subset of CC^2 ? (Use this for __richcmp__)
2) Is ZZ^2 a submodule of CC^2 in the category of modules over ZZ? That is do we view CC^2 as a ZZ-module? (It is a ZZ-module in a natural way by the inclusion ZZ ---> CC) So basically should is_submodule test A.base_ring() is B.base_ring() or just A.base_ring().is_subring(B.base_ring())? >From my point of view both possibilities are mathematically consistent. It is merely a question how rigid we want to be - it is a convention. Though at the moment we are inconsistent. (QQ vs CC) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
