`sdiv', `srem', `sqr'
---------------------

sdiv(POLY1,POLY2)
     :: POLY1 $@$r(J POLY2 $@$G3d$k=|;;$,:G8e$^$G<B9T$G$-$k>l9g$K>&$r5a$a$k(J.
srem(POLY1,POLY2)
     :: POLY1 $@$r(J POLY2 $@$G3d$k=|;;$,:G8e$^$G<B9T$G$-$k>l9g$K>jM>$r5a$a(J
     $@$k(J.
sqr(POLY1,POLY2)
     :: POLY1 $@$r(J POLY2 $@$G3d$k=|;;$,:G8e$^$G<B9T$G$-$k>l9g$K>&(J, $@>jM>$r(J
     $@5a$a$k(J.

RETURN
     `sdiv()', `srem()' : $@B?9`<0(J, `sqr()' : `[$@>&(J,$@>jM>(J]' $@$J$k%j%9%H(J
POLY1 POLY2
     $@B?9`<0(J

   * POLY1 $@$r(J POLY2 $@$N<gJQ?t(J var(POLY2) $@$K4X$9$kB?9`<0$H8+$F(J, POLY2 $@$G(J, 
     $@3d$j;;$r9T$&(J.
   * $@B?9`<0$N=|;;$O(J, $@<g78?t$I$&$7$N3d;;$K$h$jF@$i$l$?>&$H(J, $@<gJQ?t$NE,(J
     $@Ev$JQQ$N@Q$r(J POLY2 $@$K3]$1$F(J, POLY1 $@$+$i0z$/$H$$$&A`:n$r(JPOLY1 $@$N<!(J
     $@?t$,(J POLY2 $@$N<!?t$h$j>.$5$/$J$k$^$G7+$jJV$7$F9T$&(J. $@$3$NA`:n$,(J, $@B?(J
     $@9`<0$NHO0OFb$G9T$o$l$k$?$a$K$O(J, $@3F%9%F%C%W$K$*$$$F<g78?t$I$&$7$N(J
     $@=|;;$,(J, $@B?9`<0$H$7$F$N@0=|$G$"$kI,MW$,$"$k(J. $@$3$l$,(J, $@!V=|;;$,:G8e(J
     $@$^$G<B9T$G$-$k!W$3$H$N0UL#$G$"$k(J.
   * $@E57?E*$J>l9g$H$7$F(J, POLY2 $@$N<g78?t$,(J, $@M-M}?t$G$"$k>l9g(J, $@$"$k$$$O(J,
     POLY2 $@$,(J POLY1 $@$N0x;R$G$"$k$3$H$,$o$+$C$F$$$k>l9g$J$I$,$"$k(J.
   * `sqr()' $@$O>&$H>jM>$rF1;~$K5a$a$?$$;~$KMQ$$$k(J.
   * $@@0?t=|;;$N>&(J, $@>jM>$O(J `idiv', `irem' $@$rMQ$$$k(J.
   * $@78?t$KBP$9$k>jM>1i;;$O(J `%' $@$rMQ$$$k(J.
   * $@<gJQ?t$,;XDj$G$-$k$h$&2~NI$NM=Dj(J.

     [0] sdiv((x+y+z)^3,x^2+y+a);    
     x+3*y+3*z
     [1] srem((x+y+z)^2,x^2+y+a);
     (2*y+2*z)*x+y^2+(2*z-1)*y+z^2-a
     [2] X=(x+y+z)*(x-y-z)^2;
     x^3+(-y-z)*x^2+(-y^2-2*z*y-z^2)*x+y^3+3*z*y^2+3*z^2*y+z^3
     [3] Y=(x+y+z)^2*(x-y-z);  
     x^3+(y+z)*x^2+(-y^2-2*z*y-z^2)*x-y^3-3*z*y^2-3*z^2*y-z^3
     [4] G=gcd(X,Y);
     x^2-y^2-2*z*y-z^2
     [5] sqr(X,G);
     [x-y-z,0]
     [6] sqr(Y,G);
     [x+y+z,0]
     [7] sdiv(y*x^3+x+1,y*x+1);  
     divsp: cannot happen
     return to toplevel

$@;2>H(J
     `idiv', `irem', `%'

