グレブナ基底を計算するための基本的な函数は dp_gr_main()
および
dp_gr_mod_main()
, dp_gr_f_main()
なる 3 つの組み込み函数であるが, 通常は, パラメタ
設定などを行ったのちこれらを呼び出すユーザ函数を用いるのが便利である.
これらのユーザ函数は, ファイル `gr' を load()
により読
み込むことにより使用可能となる. `gr' は, Asir の標準
ライブラリディレクトリに置かれている.
[0] load("gr")$
Go to the first, previous, next, last section, table of contents.