`res'
-----

res(VAR,POLY1,POLY2)
     :: VAR Ɋւ POLY1  POLY2 ̏I.

RETURN
     
VAR
     s茳
POLY1,POLY2
     

   * ̑ POLY1  POLY2 , ϐ VAR ɊւI߂.
   * IASYɂ.

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

