On 19 April 2015 at 12:47, Vincent Delecroix <20100.delecr...@gmail.com> wrote:
> Hello,
>
> I really do not like
>
> sage: M = MatrixSpace(QQ,3)
> sage: G = SL(3, QQ)
> sage: m1 = M(1)
> sage: m2 = G(1)
> sage: m1
> [1 0 0]
> [0 1 0]
> [0 0 1]
> sage: m2
> [1 0 0]
> [0 1 0]
> [0 0 1]
> sage: m1 ==
Hello,
I really do not like
sage: M = MatrixSpace(QQ,3)
sage: G = SL(3, QQ)
sage: m1 = M(1)
sage: m2 = G(1)
sage: m1
[1 0 0]
[0 1 0]
[0 0 1]
sage: m2
[1 0 0]
[0 1 0]
[0 0 1]
sage: m1 == m2
False
Shouldn't it be True? One way would be to have a coerce embeddig from G
to M which looks natural to