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