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
,
section 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
,
section 項順序の設定.
section dp_gr_flags
, dp_gr_print
.
Go to the first, previous, next, last section, table of contents.