`res'
-----

res(VAR,POLY1,POLY2)
     :: VAR $@$K4X$9$k(J POLY1 $@$H(J POLY2 $@$N=*7k<0(J.

RETURN
     $@B?9`<0(J
VAR
     $@ITDj85(J
POLY1,POLY2
     $@B?9`<0(J

   * $@Fs$D$NB?9`<0(J POLY1 $@$H(J POLY2 $@$N(J, $@JQ?t(J VAR $@$K4X$9$k=*7k<0$r5a$a$k(J.
   * $@ItJ,=*7k<0%"%k%4%j%:%`$K$h$k(J.

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

