`sp', `sp_noalg'
----------------

sp(POLY)
sp_noalg(POLY)
     :: $B:G>.J,2rBN$r5a$a$k(B.

RETURN
     $B%j%9%H(B

POLY
     $BB?9`<0(B

   * `sp' $B$GDj5A$5$l$F$$$k(B.

   * $BM-M}?t78?t$N(B 1 $BJQ?tB?9`<0(B POLY $B$N:G>.J,2rBN(B, $B$*$h$S$=$NBN>e$G$N(B
     POLY $B$N(B 1 $B<!0x;R$X$NJ,2r$r5a$a$k(B.

   * $B7k2L$O(B, POLY $B$N0x;R$N%j%9%H$H(B, $B:G>.J,2rBN$N(B, $BC`<!3HBg$K$h$kI=8=(B
     $B$+$i$J$k%j%9%H$G$"$k(B. `sp_noalg' $B$G$O(B, $BA4$F$NBe?tE*?t$,(B, $BBP1~$9$k(B
     $BITDj85(B ($BB($A(B `#i' $B$KBP$9$k(B `t#i') $B$KCV$-49$($i$l$k(B. $B$3$l$K(B $B$h$j(B,
     `sp_noalg' $B$N=PNO$O(B, $B@0?t78?tB?JQ?tB?9`<0$N%j%9%H$H$J$k(B.

   * $B:G>.J,2rBN$O(B, `[root,algptorat(defpoly(root))]' $B$N%j%9%H$H$7$F(B
     $BI=8=$5$l$F$$$k(B. $B$9$J$o$A(B, $B5a$a$k:G>.J,2rBN$O(B, $BM-M}?tBN$K(B, $B$3$N(B
     `root' $B$rA4$FE:2C$7$?BN$H$7$FF@$i$l$k(B. $BE:2C$O(B, $B1&$NJ}$N(B `root'
     $B$+$i=g$K(B $B9T$o$l$k(B.

   * `sp()' $B$O(B, $BFbIt$G%N%k%`$N7W;;$N$?$a$K(B `sp_norm()' $B$r$7$P$7$P(B
     $B5/F0$9$k(B. $B%N%k%`$N7W;;$O(B, $B>u67$K1~$8$F$5$^$6$^$JJ}K!$G9T$o$l$k$,(B,
     $B$=$3$GMQ$$$i$l$kJ}K!$,:GA1$H$O8B$i$:(B, $BC1=c$J=*7k<0$N7W;;$NJ}$,9bB.(B
     $B$G$"$k>l9g$b$"$k(B.  $BBg0hJQ?t(B `USE_RES' $B$r(B 1 $B$K@_Dj$9$k$3$H$K$h$j(B,
     $B>o$K=*7k<0$K$h$j7W;;(B $B$5$;$k$3$H$,$G$-$k(B.

     [101] L=sp(x^9-54);
     [[x+(-#2),-54*x+(#1^6*#2^4),54*x+(#1^6*#2^4+54*#2),54*x+(-#1^8*#2^2),
     -54*x+(#1^5*#2^5),54*x+(#1^5*#2^5+#1^8*#2^2),-54*x+(-#1^7*#2^3-54*#1),
     54*x+(-#1^7*#2^3),x+(-#1)],[[(#2),t#2^6+t#1^3*t#2^3+t#1^6],[(#1),t#1^9-54]]]
     [102] for(I=0,M=1;I<9;I++)M*=L[0][I];
     [111] M=simpalg(M);
     -1338925209984*x^9+72301961339136
     [112] ptozp(M);
     -x^9+54

$B;2>H(B
     *Note `asq af af_noalg': asq af af_noalg, *Note `defpoly':
     defpoly, *Note `algptorat': algptorat, *Note `sp_norm': sp_norm.

