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.