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

simp_ff(OBJ)
     :: $B?t(B, $B$"$k$$$OB?9`<0$N78?t$rM-8BBN$N85$KJQ49(B

RETURN
     $B?t$^$?$OB?9`<0(B

OBJ
     $B?t$^$?$OB?9`<0(B

   * $B?t(B, $B$"$k$$$OB?9`<0$N78?t$rM-8BBN$N85$KJQ49$9$k(B.

   * $B@0?t(B, $B$"$k$$$O@0?t78?tB?9`<0$r(B, $BM-8BBN(B,
     $B$"$k$$$OM-8BBN78?t$KJQ49$9$k$?$a$K(B $BMQ$$$k(B.

   * $BM-8BBN$N85$KBP$7(B, $BK!$"$k$$$ODj5AB?9`<0$K$h$k(B reduction
     $B$r9T$&>l9g$K$b(B $BMQ$$$k(B.

     [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

$B;2>H(B
     *Note `setmod_ff': setmod_ff, *Note `lmptop': lmptop, *Note
     `gf2nton': gf2nton

