Go to the first, previous, next, last section, table of contents.

### `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],...]` の形のリストである.

`参照`
  section `dp_nf`, `dp_nf_mod`, `dp_true_nf`, `dp_true_nf_mod`, section `subst`, `psubst`, section `setmod`.

Go to the first, previous, next, last section, table of contents.