Cross Product of Generator Matrix

asked 2023-07-05 08:24:36 +0100

qsage gravatar image

Hello, I want to do the following items:

  1. Take the matrices of SL(2,5)
  2. Multiply them with identity
  3. Add a specific matrix to the list
  4. Check if the group of generatos and the specific matrix produce a finite group or not

Here is my code:

from sage.all import *
from sage.groups.matrix_gps.matrix_group import is_MatrixGroup
from sage.matrix.action import MatrixMatrixAction

cnot_np = matrix([[1,0,0,0],[0,1,0,0],[0,0,0,1],[0,0,1,0]]) #my specific matrix
new_matrices_ = []
gens_ = MatrixGroup(SL(2,5)).gens() #I got the matrix of my group (my group is binary icosahedral)
identity_mat = matrix([[1, 0], [0, 1]]) #identity matrix
for i in gens_:
    tensor_mat_ = i.cross_product(identity_mat) #tensor product of matrices of binary icosahedral with identity
    new_matrices_.append(tensor_mat_) #add them into a new list
new_matrices_.append(cnot_np)   # add the specific matrix to the list
is_infinite(new_matrices) #check if it generates an infinite group

However, I can't multiply the generator matrix with identity Here is my error message: AttributeError: 'sage.matrix.matrix_integer_dense.Matrix_integer_dense' object has no attribute 'cross_product' How to solve this problem? Thanks in advance

edit retag flag offensive close merge delete