[ < ] | [ > ] | [ << ] | [ Up ] | [ >> ] | [Top] | [Contents] | [Index] | [ ? ] |
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
gr()
,
hgr()
, gr_mod()
などはすべてこれらの函数を呼び出して計算
を行っている. 関数名に weyl が入っているものは, Weyl 代数上の計算
のための関数である.
dp_gr_f_main()
, dp_weyl_f_main()
は, 種々の有限体上のグレブナ基底を計算する
場合に用いる. 入力は, あらかじめ, simp_ff()
などで,
考える有限体上に射影されている必要がある.
dp_gr_mod_main()
に対しては, modular は, GF(modular) 上
での計算を意味する.
dp_gr_main()
に対しては, modular は次のような意味を持つ.
lprime(0)
から順に成功するまで lprime()
を呼び出して生成する.
gr(P,V,O)
は dp_gr_main(P,V,0,1,O)
, hgr(P,V,O)
は
dp_gr_main(P,V,1,1,O)
, gr_mod(P,V,O,M)
は
dp_gr_mod_main(P,V,0,M,O)
をそれぞれ実行する.
dp_gr_flags()
で設定される
さまざまなフラグにより計算が制御される.
dp_ord
,
8.9.8 dp_gr_flags
, dp_gr_print
,
8.9.1 gr
, hgr
, gr_mod
, dgr
,
10.5.1 setmod_ff
,
8.4 計算および表示の制御.