[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
p_nf
, p_nf_mod
, p_true_nf
, p_true_nf_mod
[分子, 分母]
の形で返す)
p_nf
: 多項式, p_true_nf
: リスト
dp_nf()
, dp_true_nf()
, dp_nf_mod()
, dp_true_nf_mod
に対するインタフェースである.
dp_nf()
, dp_true_nf()
, dp_nf_mod()
,
dp_true_nf_mod()
に渡される.
dp_nf()
, dp_true_nf()
, dp_nf_mod()
,
dp_true_nf_mod()
は fullreduce が 1 で呼び出される.
p_true_nf()
, p_true_nf_mod()
の出力に関しては,
dp_true_nf()
, dp_true_nf_mod()
の項を参照.
[79] K = katsura(5)$ [80] V = [u5,u4,u3,u2,u1,u0]$ [81] G = hgr(K,V,2)$ [82] p_nf(K[1],G,V,2); 0 [83] L = p_true_nf(K[1]+1,G,V,2); [-1503...,-1503...] [84] L[0]/L[1]; 1 |
dp_ptod
,
8.9.11 dp_dtop
,
8.9.9 dp_ord
,
8.9.15 dp_nf
, dp_nf_mod
, dp_true_nf
, dp_true_nf_mod
.