`simp_ff'
---------

simp_ff(OBJ)
     :: 数, あるいは多項式の係数を有限体の元に変換

RETURN
     数または多項式

OBJ
     数または多項式

   * 数, あるいは多項式の係数を有限体の元に変換する.

   * 整数, あるいは整数係数多項式を, 有限体,
     あるいは有限体係数に変換するために 用いる.

   * 有限体の元に対し, 法あるいは定義多項式による reduction
     を行う場合にも 用いる.

   * 小標数有限体の元に変換する場合, 一旦素体上に射影してから, 拡大体の
     元に変換される. 拡大体の元に直接変換するには `ptosfp()' を 用いる.

     [0] simp_ff((x+1)^10);
     x^10+10*x^9+45*x^8+120*x^7+210*x^6+252*x^5+210*x^4+120*x^3+45*x^2+10*x+1
     [1] setmod_ff(3);
     3
     [2] simp_ff((x+1)^10);
     1*x^10+1*x^9+1*x+1
     [3] ntype(coef(@@,10));
     6
     [4] setmod_ff(2,3);
     [2,x^3+x+1,x]
     [5] simp_ff(1);
     @_0
     [6] simp_ff(2);
     0
     [7] ptosfp(2);
     @_1

参照
     *Note `setmod_ff': setmod_ff, *Note `lmptop': lmptop, *Note
     `gf2nton': gf2nton, *Note `ptosfp sfptop': ptosfp sfptop

