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

sp_norm(ALG,VAR,POLY,ALGLIST)
     :: 㐔̏ł̃m̌vZ

RETURN
     
VAR
     POLY ̎ϐ
POLY
     1 ϐ
ALG
     `root'
ALGLIST
     `root' ̃Xg

   * `sp' Œ`Ă.
   * POLY , ALG ɊւmƂ. Ȃ킿, K = Q(ALGLIST \
     {ALG}) ƂƂ, POLY Ɍ ALG , ALG  K ̋ɒu
     ̑SĂ̐ςԂ.
   * ʂ K ̑ƂȂ.
   * vZ, `res()' ђ]藝ɂsȂ.

     [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

Q
     `res', `af'

