>>895
他の板で揉めてて返信が遅くなりましたが、有難うございます。
今は[X,Y]=XY−YXというブラケット積で、上三角行列が可解になるとかいう話まで進みました。