Tensor Product of Two Matrices coming from Algebra Representations
Is there a command in sage to compute the tensor product of two Matrices coming from Algebra representations? In groups, x(v tensor w) = xv tensor xw, and the sage command Matrix1.tensor_product(Matrix2) appears to give the matrix corresponding to this. But in an algebra x(v tensor w) = xv tensor w + v tensor xw. How can I compute the corresponding matrix here?
What you need is perhaps "tensor sum", "Kronecker sum".