1: \begin{abstract}

2: Left-right and conjugation actions on matrix tuples have received considerable attention in theoretical computer science due to their connections with polynomial identity testing, group isomorphism, and tensor isomorphism.

3: In this paper, we present polynomial-time algorithms for computing canonical forms of matrix tuples over a finite field under these actions. 

4: Our algorithm builds upon new structural insights for matrix tuples, which can be viewed as a generalization of Schur's lemma for irreducible representations to general representations.

5: 

6: 

7: \end{abstract}

8: