ユニタリ行列を作ること自体は難しくないんだな。でも、対角化をやろうとすると、いろ…

ユニタリ行列を作ること自体は難しくないんだな。でも、対角化をやろうとすると、いろいろ慎重さが必要。U^*AU なのか UAU^* なのかで迷ったり、U^* の対角性分の共役化を忘れたりしてドツボった。
JRF 2008年3月9日