2024-01-15 02:39:54 +0100 | received badge | ● Notable Question (source) |
2024-01-15 02:39:54 +0100 | received badge | ● Popular Question (source) |
2019-08-11 12:07:13 +0100 | received badge | ● Student (source) |
2019-08-09 15:02:38 +0100 | asked a question | Matrix groups 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 : 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` |