Dear all, I am working on ticket #23978 <https://trac.sagemath.org/ticket/23978> Rich comparison for Modules
As part of it I also rewrote the is_submodule function. Currently, we have sage: (ZZ^2).is_submodule(CC^2) False sage: (ZZ^2).is_submodule(QQ^2) True Should that behavior change to sage: (ZZ^2).is_submodule(CC^2) True sage: (ZZ^2).is_submodule(QQ^2) True ? I would say yes: Since sage: (CC^2).has_coerce_map_from(ZZ^2) True we already view `ZZ^2` in a canonical(=coercible) way as a submodule of CC^2. Reasons against: - Abstractly a complex vector space does not have a natural integral structure. But then we are working with modules with a distinguished basis. Not sure about the conventions there ? -- 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.
