10.5.6 `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.

   * $B>.I8?tM-8BBN$N85$KJQ49$9$k>l9g(B, $B0lC6AGBN>e$K<M1F$7$F$+$i(B, $B3HBgBN$N(B
     $B85$KJQ49$5$l$k(B. $B3HBgBN$N85$KD>@\JQ49$9$k$K$O(B `ptosfp()' $B$r(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
     [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

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

