少し話題を変えて多項式環の計算理論をやっておく。PDFにするときは別の章にするかもしれない。 項順序と割り算アルゴリズム 以前、一変数多項式環の整除について学んだ。これと同じことを多変数の多項式についても考えたいのだが、一変数の場合と異なり多項…