`sdiv', `sdivm', `srem', `sremm', `sqr', `sqrm'
-----------------------------------------------

sdiv(POLY1,POLY2[,V])
sdivm(POLY1,POLY2,MOD[,V])
     :: POLY1 $B$r(B POLY2 $B$G3d$k=|;;$,:G8e$^$G<B9T$G$-$k>l9g$K>&$r5a$a$k(B.

srem(POLY1,POLY2[,V])

sremm(POLY1,POLY2,MOD[,V])
     :: POLY1 $B$r(B POLY2 $B$G3d$k=|;;$,:G8e$^$G<B9T$G$-$k>l9g$K>jM>$r5a$a$k(B.

sqr(POLY1,POLY2[,V])

sqrm(POLY1,POLY2,MOD[,V])
     :: POLY1 $B$r(B POLY2 $B$G3d$k=|;;$,:G8e$^$G<B9T$G$-$k>l9g$K>&(B, $B>jM>$r(B
     $B5a$a$k(B.

RETURN
     `sdiv()', `sdivm()', `srem()', `sremm()' : $BB?9`<0(B, `sqr()',
     `sqrm()' : `[$B>&(B,$B>jM>(B]' $B$J$k%j%9%H(B

POLY1 POLY2
     $BB?9`<0(B

V
     $BITDj85(B

MOD
     $BAG?t(B

   * POLY1 $B$r(B POLY2 $B$N<gJQ?t(B var(POLY2) ( $B0z?t(B V $B$,$"$k>l9g$K$O(B V)
     $B$K4X$9$kB?9`<0$H8+$F(B, POLY2 $B$G(B, $B3d$j;;$r9T$&(B.

   * `sdivm()', `sremm()', `sqrm()' $B$O(B GF(MOD) $B>e$G7W;;$9$k(B.

   * $BB?9`<0$N=|;;$O(B, $B<g78?t$I$&$7$N3d;;$K$h$jF@$i$l$?>&$H(B,
     $B<gJQ?t$NE,Ev$JQQ$N(B $B@Q$r(B POLY2 $B$K3]$1$F(B, POLY1 $B$+$i0z$/$H$$$&A`:n$r(B
     POLY1 $B$N<!?t$,(B POLY2 $B$N<!?t$h$j>.$5$/$J$k$^$G7+$jJV$7$F(B $B9T$&(B.
     $B$3$NA`:n$,(B, $BB?9`<0$NHO0OFb$G9T$o$l$k$?$a$K$O(B, $B3F%9%F%C%W$K$*$$$F(B
     $B<g78?t$I$&$7$N=|;;$,(B, $BB?9`<0$H$7$F$N@0=|$G$"$kI,MW$,$"$k(B. $B$3$l$,(B,
     $B!V=|;;(B $B$,:G8e$^$G<B9T$G$-$k!W$3$H$N0UL#$G$"$k(B.

   * $BE57?E*$J>l9g$H$7$F(B, POLY2 $B$N<g78?t$,(B, $BM-M}?t$G$"$k>l9g(B, $B$"$k$$$O(B,
     POLY2 $B$,(B POLY1 $B$N0x;R$G$"$k$3$H$,$o$+$C$F$$$k>l9g$J$I(B $B$,$"$k(B.

   * `sqr()' $B$O>&$H>jM>$rF1;~$K5a$a$?$$;~$KMQ$$$k(B.

   * $B@0?t=|;;$N>&(B, $B>jM>$O(B `idiv', `irem' $B$rMQ$$$k(B.

   * $B78?t$KBP$9$k>jM>1i;;$O(B `%' $B$rMQ$$$k(B.

     [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

$B;2>H(B
     *Note `idiv irem': idiv irem, *Note `%': %.

