>>469
すみませんでした。「多変数多項式」は、

a^2 - b^2 - ca + bc    /* (a + b - c)*(a - b) */
ab + bc + b^2 - c^2    /* (a + b - c)*(b + c) */
というようなものを考えていて、例えばこの二つの式から、共通因数

a + b - c
を導き出す方法が知りたいということです。大小については、

(a^3 * b^3) > (a^3 * b^2) > (a^2 * b^3) > (a^2 * b^2)
という感じがいいです。

>>470
剰余演算とはどういったものでしょうか？
一変数に関する剰余演算（ほかの文字は定数とみなす）はやってみましたが、
全体の次数を減らす方向には動かないようでした。

>>471
詳しく教えてください。