[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

8.9.26 p_nf, p_nf_mod, p_true_nf, p_true_nf_mod

p_nf(poly,plist,vlist,order)
p_nf_mod(poly,plist,vlist,order,mod)
:: 表現多項式の正規形を求める. (結果は定数倍されている可能性あり)
p_true_nf(poly,plist,vlist,order)
p_true_nf_mod(poly,plist,vlist,order,mod)
:: 表現多項式の正規形を求める. (真の結果を [分子, 分母] の形で返す)

return
p_nf : 多項式, p_true_nf : リスト
poly
多項式
plist vlist
リスト
order
数, リストまたは行列
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

参照
8.9.10 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.



This document was generated by root on March, 5 2004 using texi2html