表現の次元をもとめよ.
ウェイトを表示するプログラムはできたのだが,できれば表現の次元も出してくれるようにしたい.
同じウェイトを持つ状態が縮退している場合があるので,この次元がいくつになるか計算しなければいけない.
同じウェイトを持つ状態がhighest weightから順次lowering operatorを作用させていくことで,と求められたとする.
この状態たちからという内積を計算して,行列Aのrankを計算できれば,それがもとの状態たちの張る空間の次元ということになる.面倒くさそうだ.