`dp_mod', `dp_rat'
------------------

dp_mod(P,MOD,SUBST)
     :: 有理数係数分散表現多項式の有限体係数への変換

dp_rat(P)
     :: 有限体係数分散表現多項式の有理数係数への変換

RETURN
     分散表現多項式

P
     分散表現多項式

MOD
     素数

SUBST
     リスト

   * `dp_nf_mod()', `dp_true_nf_mod()' は, 入力として有限体係数の
     分散表現多項式を必要とする. このような場合, `dp_mod()' により
     有理数係数分散表現多項式を変換して用いることができる. また,
     得られた 結果は, 有限体係数多項式とは演算できるが,
     有理数係数多項式とは演算できない ため, `dp_rat()'
     により変換する必要がある.

   * 有限体係数の演算においては, あらかじめ `setmod()'
     により有限体の元の 個数を指定しておく必要がある.

   * SUBST は, 係数が有理式の場合, その有理式の変数にあらかじめ数を代入
     した後有限体係数に変換するという操作を行う際の,
     代入値を指定するもので, `[[VAR,VALUE],...]' の形のリストである.


参照
     *Note `dp_nf dp_nf_mod dp_true_nf dp_true_nf_mod': dp_nf dp_nf_mod
     dp_true_nf dp_true_nf_mod, *Note `subst psubst': subst psubst,
     *Note `setmod': setmod.

