I agree, coercion G -> M is probably the right thing to do here.

On Sunday, April 19, 2015 at 7:47:11 AM UTC-4, vdelecroix 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 == m2 
> False 
>
> Shouldn't it be True? One way would be to have a coerce embeddig from G 
> to M which looks natural to me. Is it? 
>
> Best, 
> Vincent 
>

-- 
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.

Reply via email to