`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'
-------------------------------------------------------------------------------------------------------------

dp_gr_main(PLIST,VLIST,HOMO,MODULAR,ORDER)
dp_gr_mod_main(PLIST,VLIST,HOMO,MODULAR,ORDER)
dp_gr_f_main(PLIST,VLIST,HOMO,ORDER)
dp_weyl_gr_main(PLIST,VLIST,HOMO,MODULAR,ORDER)
dp_weyl_gr_mod_main(PLIST,VLIST,HOMO,MODULAR,ORDER)
dp_weyl_gr_f_main(PLIST,VLIST,HOMO,ORDER)
     :: グレブナ基底の計算 (組み込み函数)

RETURN
     リスト

PLIST  VLIST
     リスト

ORDER
     数, リストまたは行列

HOMO
     フラグ

MODULAR
     フラグまたは素数

   * これらの函数は, グレブナ基底計算の基本的組み込み函数であり, `gr()',
     `hgr()', `gr_mod()' などはすべてこれらの函数を呼び出して計算
     を行っている. 関数名に weyl が入っているものは, Weyl 代数上の計算
     のための関数である.

   * `dp_gr_f_main()', `dp_weyl_f_main()' は,
     種々の有限体上のグレブナ基底を計算する 場合に用いる. 入力は,
     あらかじめ, `simp_ff()' などで,
     考える有限体上に射影されている必要がある.

   * フラグ HOMO が 0 でない時, 入力を斉次化してから Buchberger
     アルゴリズム を実行する.

   * `dp_gr_mod_main()' に対しては, MODULAR は, GF(MODULAR) 上
     での計算を意味する.  `dp_gr_main()' に対しては, MODULAR
     は次のような意味を持つ.
       1. MODULAR が 1 の時, trace-lifting による計算を行う. 素数は
          `lprime(0)' から順に成功するまで `lprime()'
          を呼び出して生成する.

       2. MODULAR が 2 以上の自然数の時, その値を素数とみなして
          trace-lifting を行う. その素数で失敗した場合, 0 を返す.

       3. MODULAR が負の場合, -MODULAR
          に対して上述の規則が適用されるが, trace-lifting の最終
          段階のグレブナ基底チェックとイデアルメンバシップチェックが省略される.

   * `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)' をそれぞれ実行する.

   * HOMO, MODULAR の他に, `dp_gr_flags()' で設定される
     さまざまなフラグにより計算が制御される.

参照
     *Note `dp_ord': dp_ord, *Note `dp_gr_flags dp_gr_print':
     dp_gr_flags dp_gr_print, *Note `gr hgr gr_mod': gr hgr gr_mod,
     *Note `setmod_ff': setmod_ff, *Note `計算および表示の制御':
     計算および表示の制御.

