原です。

>いけがみです.

>作ろうとする数のクラス(Numericのサブクラス)が可換環だったら,
>自然数からのスカラー積としての作用が自然に入ります.

いやここで必要なのを可換性じゃなくて結合性ですね。(^^;

>Unit や Zero のように名前が付いていてほしいという気持ちが湧きます.
>Zp 係数多項式環は,たとえば代数的暗号の実装にも重要な役割を果たすので,
>綺麗に実装できると嬉しいです.

児玉さんのPolynomialでも私のPolynomialでもZp係数多項式環は、ほぼきれい
に実装できていると思うのだけど。

代数関数体もいけるでしょう。やってみましょうか。