いけがみです.

多項式クラスの実装の上で,
係数環クラスの名前を与えてやらなければいけないというのは
少し残念です.
名前で与えてやらなければいけないとなると,
新しい数が登場するたびに Polynomial クラスを書き換えなきゃいけないのではないか
と思います.
# まあ多項式環の係数にくるのはせいぜい(準)環か体でしょうから,
# 種類はそうはないだろうとは思うんですけれども

coerce の力を借りて,

x = Variable("x")  # xという名前の文字
f = 3 x**2 + x + 1 # Polynomial("3 x**2 + x + 1")
x.set_value(1)     # x = 1; f = 5
x.set_value(0)     # x = 0; f = 1

というふうに(数式処理ソフトウエア風に)書けたらいいなと思うのですけれど,
これは僕の妄想でしょうか.
(こうすると,1変数多項式と多変数多項式の違いはどうするんやとか,
 まあいろいろ別の問題が発生するのでしょうけれども)
--
池上 大介
Daisuke IKEGAMI <daisu-ik / is.aist-nara.ac.jp>
奈良先端科学技術大学院大学 情報科学研究科
情報処理学専攻 情報基礎学講座 関研究室