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

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

RETURN
     $@B?9`<0(J
VAR
     POLY $@$N<gJQ?t(J
POLY
     1 $@JQ?tB?9`<0(J
ALG
     `root'
ALGLIST
     `root' $@$N%j%9%H(J

   * `sp' $@$GDj5A$5$l$F$$$k(J.
   * POLY $@$N(J, ALG $@$K4X$9$k%N%k%`$r$H$k(J. $@$9$J$o$A(J, K = Q(ALGLIST \
     {ALG}) $@$H$9$k$H$-(J, POLY $@$K8=$l$k(J ALG $@$r(J, ALG $@$N(J K $@>e$N6&Lr$KCV$-(J
     $@49$($?$b$NA4$F$N@Q$rJV$9(J.
   * $@7k2L$O(J K $@>e$NB?9`<0$H$J$k(J.
   * $@7W;;$O(J, `res()' $@$*$h$SCf9q>jM>DjM}$K$h$j9T$J$o$l$k(J.

     [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

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

