未実装だったいくつかの手続きを追加し、polynomialパッケージに関して動くようにした。=zero?はまだ仮実装