局所環以外は多項式を表すデータ構造さえ決めてしまえば簡単だろ.