divide は有理数上で、多項式 b が a を割り算できるか確かめます。もしできれば、true を返し、それ以外の場合は false を返します。

割り算が成功し、3 つ目の引数 'q' が指定されている場合は、商の値が q に割り当てられます。割り算が不成功の場合は、名前 q には何も割り当てられません。

divide(x^3+5*x-1, x+1, 'q');

q;

divide(x^3-y^3, x-y, 'q');

q;