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