`sp_norm'
---------

sp_norm(ALG,VAR,POLY,ALGLIST)
     :: $BBe?tBN>e$G$N%N%k%`$N7W;;(B

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

VAR
     POLY $B$N<gJQ?t(B

POLY
     1 $BJQ?tB?9`<0(B

ALG
     `root'

ALGLIST
     `root' $B$N%j%9%H(B

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

   * POLY $B$N(B, ALG $B$K4X$9$k%N%k%`$r$H$k(B. $B$9$J$o$A(B, K = Q(ALGLIST \
     {ALG}) $B$H$9$k$H$-(B, POLY $B$K8=$l$k(B ALG $B$r(B, ALG $B$N(B K
     $B>e$N6&Lr$KCV$-49$($?$b$N(B $BA4$F$N@Q$rJV$9(B.

   * $B7k2L$O(B K $B>e$NB?9`<0$H$J$k(B.

   * $B<B:]$K$OF~NO$K$h$j>l9g$o$1$,9T$o$l(B,
     $B=*7k<0$ND>@\7W;;$dCf9q>jM>DjM}$K(B $B$h$j7W;;$5$l$k$,(B,
     $B:GE,$JA*Br$,9T$o$l$F$$$k$H$O8B$i$J$$(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.

     [0] load("sp")$
     [39] A0=newalg(x^2+1)$
     [40] A1=newalg(x^2+A0)$
     [41] sp_norm(A1,x,x^3+A0*x+A1,[A1,A0]);
     x^6+(2*#0)*x^4+(#0^2)*x^2+(#0)
     [42] sp_norm(A0,x,@@,[A0]);
     x^12+2*x^8+5*x^4+1

$B;2>H(B
     *Note `res': res, *Note `asq af af_noalg': asq af af_noalg

