SymPy。テンソル積のあとの置換(Permutation)がよくわからない。対…

jrf> SymPy。テンソル積のあとの置換(Permutation)がよくわからない。対角(Diagonal)に変換するとかが必要そうなのだが、いろいろ試してそれっぽい値を見つけるが、最後までたどり着かず、エラーが出てしまう。ここの理論がわからないとどうしようもないのか。