[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
primedec_mod
primedec_mod()
は `primdec_mod'
で定義されている. [Yokoyama]
の素イデアル分解アルゴリズム
を実装している.
primedec_mod()
は有限体上でのイデアルの
根基の素イデアル分解を行い, 素イデアルのリストを返す.
primedec_mod()
は, GF(mod) 上での分解を与える.
結果の各成分の生成元は, 整数係数多項式である.
dp_gr_print(2)
を実行しておけばよい.
[0] load("primdec_mod")$ [246] PP444=[x^8+x^2+t,y^8+y^2+t,z^8+z^2+t]$ [247] primedec_mod(PP444,[x,y,z,t],0,2,1); [[y+z,x+z,z^8+z^2+t],[x+y,y^2+y+z^2+z+1,z^8+z^2+t], [y+z+1,x+z+1,z^8+z^2+t],[x+z,y^2+y+z^2+z+1,z^8+z^2+t], [y+z,x^2+x+z^2+z+1,z^8+z^2+t],[y+z+1,x^2+x+z^2+z+1,z^8+z^2+t], [x+z+1,y^2+y+z^2+z+1,z^8+z^2+t],[y+z+1,x+z,z^8+z^2+t], [x+y+1,y^2+y+z^2+z+1,z^8+z^2+t],[y+z,x+z+1,z^8+z^2+t]] [248] |
modfctr
,
8.9.6 dp_gr_main
, dp_gr_mod_main
, dp_gr_f_main
, dp_weyl_gr_main
, dp_weyl_gr_mod_main
, dp_weyl_gr_f_main
,
8.5 項順序の設定.
8.9.8 dp_gr_flags
, dp_gr_print
.