`irredcheck_ff'
---------------

irredcheck_ff(POLY)
     :: 1 変数多項式の有限体上での既約判定

RETURN
     0|1

POLY
     有限体上の 1 変数多項式

   * `fff' で定義されている.

   * 有限体上の 1 変数多項式の既約判定を行い, 既約の場合 1, それ以外は
     0 を返す.

     [178] setmod_ff(2^64-95);
     18446744073709551521
     [179] ] F=x^10+random_ff();
     x^10+14687973587364016969
     [180] irredcheck_ff(F);
     1

参照
     *Note `setmod_ff': setmod_ff

