>>169
>>170
参考になりました。ありがとうございます。
このAssumingという関数で定義したからといっても
必ずしも解を確実に判定できるという訳ではないようですね。
やはり最後は人間の判断なのでしょうか･･･。

L2ノルムに関してですが
あれから色々調べてみたところ、MathWorldにて
Matrix Norm に関しては Frobenius Norm と Euclidean norm は
同値であるとの記述をみつけました。

Mathematica では Frobenius Norm に関してはサポートされているようですので
とりあえずはこちらを用いてみたいと思います。
･･･とはいえ、kに実数を代入して Forbenius Norm と Euclidean Norm を比較しても
何故か同値にならないので、一体どこまで信用できるのかは分かりませんが･･･
(私の用い方に問題がある可能性が高いですが)