`sp'
----

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

RETURN
     $@%j%9%H(J
POLY
     $@B?9`<0(J

   * `sp' $@$GDj5A$5$l$F$$$k(J. $@$^$?(J `gr' $@$bI,MW$G$"$k(J.
   * $@M-M}?t78?t$N(J 1 $@JQ?tB?9`<0(J POLY $@$N:G>.J,2rBN(J, $@$*$h$S$=$NBN>e$G$N(J
     POLY $@$N(J 1 $@<!0x;R$X$NJ,2r$r5a$a$k(J.
   * $@7k2L$O(J, POLY $@$N0x;R$N%j%9%H$H(J, $@:G>.J,2rBN$N(J, $@C`<!3HBg$K$h$kI=8=$+(J
     $@$i$J$k%j%9%H$G$"$k(J.
   * $@:G>.J,2rBN$O(J, `[root,algptorat(defpoly(root))]' $@$N%j%9%H$H$7$FI=(J
     $@8=$5$l$F$$$k(J. $@$9$J$o$A(J, $@5a$a$k:G>.J,2rBN$O(J, $@M-M}?tBN$K(J, $@$3$N(J 
     `root'$@$rA4$FE:2C$7$?BN$H$7$FF@$i$l$k(J. $@E:2C$O(J, $@1&$NJ}$N(J `root' $@$+(J
     $@$i=g$K9T$o$l$k(J.

     [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

$@;2>H(J
     `af', `defpoly', `algptorat'

