To my mind, (ZZ^2).span([[1/2,0]]) should not even work... On 19 January 2018 at 09:59, Simon Brandhorst <sbrandho...@web.de> wrote: > > > 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.
-- 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.