1変数多項式の(余りのある)割り算(divide)

divide(f, g)                	// f を g で割った商と余りを返す。
divide(f, g,Quo)                // f を g で割った商を返す。
divide(f, g,Rem)                // f を g で割った余りを返す。

多変数の多項式でも、一つの変数(たとえば $x$ ) のみに 着目した割り算を、変数を指定しておこなうことができます。

divide(f, g,[x])                    // f を g で割った商と余りを返す。
divide(f, g,[x] ,Quo)                // f を g で割った商を返す。
divide(f, g,[x] ,Rem)                // f を g で割った余りを返す。

//例
divide (x^2,a*x+b,[x]);

                                         2
                                x    b  b
                                - - --, --
                                a    2   2
                                    a   a

その他の詳細は ? divide でどうぞ。