原です。

>ユーザが他の代数を同じように導入できるかという点も考えないと
>いけないような気がします。例えば、多項式を扱う人が0次の単項
>式を係数体の元に変換すべきかどうかを判断する方向づけまで与え
>てしまうかも知れません。

ああ、良い例を思いついてもらいました。そういう事を
言いたかった。(^^;