`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 上の多項式となる.

   * 実際には入力により場合わけが行われ,
     終結式の直接計算や中国剰余定理に より計算されるが,
     最適な選択が行われているとは限らない.  大域変数 `USE_RES' を 1
     に設定することにより, 常に終結式により計算 させることができる.

     [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

参照
     *Note `res': res, *Note `asq af af_noalg': asq af af_noalg

