Ask Your Question
1

Matrix groups

asked 2019-08-08 07:42:31 -0500

I'm using Sage Cell Server and I have trouble with the Matrix group command. More precisely I have invertible matrices defined over Z, but their inverses have coefficients in Q, and Sage doesn't want to create the group. Here is my code and the error message :

B = Matrix([[1,0,0],[1,-1,1],[0,0,2]])
MatrixGroup([B])

Error message :


ValueError Traceback (most recent call last) <ipython-input-1-5e10d3c2096b> in <module>() 30 31 B = Matrix([[Integer(1),Integer(0),Integer(0)],[Integer(1),-Integer(1),Integer(1)],[Integer(0),Integer(0),Integer(2)]]) ---> 32 Invariant_group([B])

<ipython-input-1-5e10d3c2096b> in __init__(self, G) 2 def __init__(self,G): 3 # data : G est une liste de matrices inversibles engendrant un groupe fini. ----> 4 self.Groupe = MatrixGroup(G) 5 assert self.Groupe.is_finite() 6 self.Group_order = self.Groupe.order()

/home/sc_serv/sage/local/lib/python2.7/site-packages/sage/misc/lazy_import.pyx in sage.misc.lazy_import.LazyImport.__call__ (build/cythonized/sage/misc/lazy_import.c:3690)() 352 True 353 """ --> 354 return self.get_object()(args, *kwds) 355 356 def __repr__(self):

/home/sc_serv/sage/local/lib/python2.7/site-packages/sage/groups/matrix_gps/finitely_generated.pyc in MatrixGroup(gens, *kwds) 292 gens = normalize_square_matrices(gens) 293 if check and any(not g.is_invertible() for g in gens): --> 294 raise ValueError('each generator must be an invertible matrix') 295 MS = gens.universe() 296 base_ring = MS.base_ring()

ValueError: each generator must be an invertible matrix`

edit retag flag offensive close merge delete

1 answer

Sort by ยป oldest newest most voted
1

answered 2019-08-09 08:04:25 -0500

vdelecroix gravatar image

Notice the difference

sage: B = Matrix(ZZ, [[1,0,0],[1,-1,1],[0,0,2]])
sage: MatrixGroup([B])
Traceback (most recent call last):
...
ValueError: each generator must be an invertible matrix

versus

sage: B = Matrix(QQ, [[1,0,0],[1,-1,1],[0,0,2]])
sage: MatrixGroup([B])
Matrix group over Rational Field with 1 generators (
[ 1  0  0]
[ 1 -1  1]
[ 0  0  2]
)
edit flag offensive delete link more

Your Answer

Please start posting anonymously - your entry will be published after you log in or create a new account.

Add Answer

Question Tools

Stats

Asked: 2019-08-08 07:42:31 -0500

Seen: 11 times

Last updated: Aug 09