>>642
そのとおり.
ガウスザイデル法は,対角優位とか半正定とかを満たしている場合を除いて
解が存在しても,収束するとは限らない.

いつ収束するかの厳密なところ(必要十分条件)は,現在でも未解決問題.