On 2015-01-02 17:12, Nils Bruin wrote:
For someone considering purely ZZ-modules it is perhaps a surprise that A*c did not produce a submodule of A, but then the scalar c used wasn't in ZZ
Exactly. I consider this a bug though:
sage: ((ZZ^2)*QQ(1)).basis()[0][0].parent() Integer Ring sage: ((ZZ^2)*QQ(1/2)).basis()[0][0].parent() Rational Field By the usual coercion rules, both should answer Rational Field, analogous to sage: (ZZ(1) * QQ(1)).parent() Rational Field -- 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 http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
