`tdiv'
------

tdiv(POLY1,POLY2)
     :: POLY1 $@$,(J POLY2 $@$G3d$j@Z$l$k$+$I$&$+D4$Y$k(J.

RETURN	
     $@3d$j@Z$l$k$J$i$P>&(J, $@3d$j@Z$l$J$1$l$P(J 0
POLY1 POLY2
     $@B?9`<0(J

   * POLY2 $@$,(J POLY1 $@$rB?9`<0$H$7$F3d$j@Z$k$+$I$&$+D4$Y$k(J.
   * $@$"$kB?9`<0$,4{Ls0x;R$G$"$k$3$H$O$o$+$C$F$$$k$,(J, $@$=$N=EJ#EY$,$o$+(J
     $@$i$J$$>l9g$K(J, `tdiv()' $@$r7+$jJV$78F$V$3$H$K$h$j=EJ#EY$,$o$+$k(J.

     [11] Y=(x+y+z)^5*(x-y-z)^3;  
     x^8+(2*y+2*z)*x^7+(-2*y^2-4*z*y-2*z^2)*x^6+(-6*y^3-18*z*y^2-18*z^2*y-6*z^3)*x^5
     +(6*y^5+30*z*y^4+60*z^2*y^3+60*z^3*y^2+30*z^4*y+6*z^5)*x^3+(2*y^6+12*z*y^5
     +30*z^2*y^4+40*z^3*y^3+30*z^4*y^2+12*z^5*y+2*z^6)*x^2+(-2*y^7-14*z*y^6
     -42*z^2*y^5-70*z^3*y^4-70*z^4*y^3-42*z^5*y^2-14*z^6*y-2*z^7)*x-y^8-8*z*y^7
     -28*z^2*y^6-56*z^3*y^5-70*z^4*y^4-56*z^5*y^3-28*z^6*y^2-8*z^7*y-z^8
     [12] for(I=0,F=x+y+z,T=Y; T=tdiv(T,F); I++); 
     [13] I;
     5

$@;2>H(J
     `sdiv', `srem'

