原です。

|けいじゅ@日本ラショナルソフトウェアです.

|この方法で気になるのは, ほとんど同じアルゴリズムを持つ演算が2つづつ必要
|になりますよね.

それは分かります。しかし、スカラー同士の op が定義されている世界に行列
を参入させるには、


行列 op 行列
行列 op スカラー
行列 op! スカラー

の3つを定義すれば良く、この中に無駄はないです。つまり、

行列 op! 行列

は定義する必要はないわけです。op! は下働きと割り切ればこれで
もいいのではないですか?