On Friday, January 19, 2018 at 9:16:16 AM UTC+1, vdelecroix wrote:
> I think that it should be False in both situations. "is_submodule" > should only be used in the context where we have an ambient free > module, like ZZ^d and two ZZ-submodules U and V. > I disagree - the question makes perfect sense if U and V do not lie in the same ambient module but in the same ambient vectorspace. (ZZ^2).span([[1,0]]).is_submodule((ZZ^2).span([[1/2,0]])) Should definitely return True. -- 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.