`sp'
----

sp(POLY)
     :: ŏ̂߂.

RETURN
     Xg
POLY
     

   * `sp' Œ`Ă. ܂ `gr' Kvł.
   * LW 1 ϐ POLY ̍ŏ, т̑̏ł
     POLY  1 qւ̕߂.
   * ʂ, POLY ̈q̃Xg, ŏ̂, gɂ\
     Ȃ郊Xgł.
   * ŏ̂, `[root,algptorat(defpoly(root))]' ̃XgƂĕ\
     Ă. Ȃ킿, ߂ŏ̂, L̂,  
     `root'SēŶƂē. Y, E̕ `root' 
     珇ɍs.

     [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

Q
     `af', `defpoly', `algptorat'

