`setmod_ff'
-----------

setmod_ff([PRIME|POLY])
setmod_ff(PRIME,N])
     :: 有限体の設定, 設定されている有限体の法, 定義多項式の表示

RETURN
     数または多項式

PRIME
     素数

POLY
     GF(2) 上既約な 1 変数多項式

N
     拡大次数

   * 引数が正整数 PRIME の時, GF(PRIME) を基礎体として設定する.

   * 引数が多項式 POLY の時, GF(2^deg(POLY mod 2)) = GF(2)[t]/(POLY(t)
     mod 2) を基礎体として設定する.

   * 引数が P と N の時, GF(P^N) を基礎体として設定する. P^N は 2^29
     未満で なければならない. また, P が 2^14 以上のとき, N は 1
     でなければならない.

   * 無引数の時, 設定されている基礎体が GF(PRIME)の場合 PRIME, GF(2^N)
     の場合定義多項式を返す.  基礎体が GF(p^N) (P^N が 2^14 未満)
     の場合, [P,DEFPOLY,PRIM_ELEM] を返す. ここで, DEFPOLY は, N
     次拡大の定義多項式, PRIM_ELEM は, GF(P^N) 乗法群の生成元を意味する.

   * GF(2^N) の定義多項式は, GF(2) 上 n 次既約ならなんでも良いが, 効率に
     影響するため, `defpoly_mod2()' で生成するのがよい.

     [174] defpoly_mod2(100);
     x^100+x^15+1
     [175] setmod_ff(@@);
     x^100+x^15+1
     [176] setmod_ff();
     x^100+x^15+1
     [177] setmod_ff(2,5);
     [2,x^5+x^2+1,x]

参照
     *Note `defpoly_mod2': defpoly_mod2

