｢2.5.3 例：記号代数｣に入りました。多項式の算術演算を扱えるパッケージを定義します。polynominal型の構成要素は、一つの不定元と、各次数に関連づけられている係数の組み合わせのリストです。 本書に書いてあるパッケージ手続きを愚直に書いた上で、問題2…

一元多項式の除算を定義します。問題文を読みながら、商と剰余を求めるための数式を紙に書いて、何となく流れはわかりました。しかし、それを実装する段階で、商と剰余のリストをどのように返していいのかわからず、ウェブで模範解答を探したところ、ここに…