`res'
-----

res(VAR,POLY1,POLY2[,MOD])
     :: VAR に関する POLY1 と POLY2 の終結式.

RETURN
     多項式

VAR
     不定元

POLY1 POLY2
     多項式

MOD
     素数

   * 二つの多項式 POLY1 と POLY2 の, 変数 VAR に関する 終結式を求める.

   * 部分終結式アルゴリズムによる.

   * 引数 MOD がある時, GF(MOD) 上での計算を行う.

     [0] res(t,(t^3+1)*x+1,(t^3+1)*y+t);
     -x^3-x^2-y^3

