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

sp_norm(ALG,VAR,POLY,ALGLIST)
     :: ξǤΥΥη׻

RETURN
     ¿༰
VAR
     POLY μѿ
POLY
     1 ѿ¿༰
ALG
     `root'
ALGLIST
     `root' Υꥹ

   * `sp' Ƥ.
   * POLY , ALG ˴ؤΥȤ. ʤ, K = Q(ALGLIST \
     {ALG}) ȤȤ, POLY ˸ ALG , ALG  K ζ֤
     ƤѤ֤.
   * ̤ K ¿༰Ȥʤ.
   * ׻, `res()' ;ˤԤʤ.

     [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


     `res', `af'

