Skip to content

Elements of GL(n,R) should coerce properly to matrices #3400

@rlmill

Description

@rlmill
mannequin

For example:

sage: M = Matrix(GF(2), [[1,1,1,1]])
sage: G = GL(4,2)
sage: N = G.0
sage: M
[1 1 1 1]
sage: N

[1 1 0 0]
[0 1 0 0]
[0 0 1 0]
[0 0 0 1]
sage: M*N
---------------------------------------------------------------------------
TypeError                                 Traceback (most recent call last)

/Users/rlmill/sage-3.0.2/<ipython console> in <module>()

/Users/rlmill/sage-3.0.2/element.pyx in sage.structure.element.Matrix.__mul__ (sage/structure/element.c:11352)()

/Users/rlmill/sage-3.0.2/coerce.pyx in sage.structure.coerce.CoercionModel_cache_maps.bin_op_c (sage/structure/coerce.c:5301)()

TypeError: unsupported operand parent(s) for '*': 'Full MatrixSpace of 1 by 4 dense matrices over Finite Field of size 2' and 'General Linear Group of degree 4 over Finite Field of size 2'
sage: M*N.matrix()
[1 0 1 1]

CC: @aghitza

Component: coercion

Author: Robert Bradshaw

Reviewer: Rob Beezer

Merged: sage-4.3.1.rc1

Issue created by migration from https://trac.sagemath.org/ticket/3400

Metadata

Metadata

Assignees

Type

No type

Projects

No projects

Milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions