[ < ] [ > ]   [ << ] [ Up ] [ >> ]         [Top] [Contents] [Index] [ ? ]

8.2 ファイルの読み込み

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

 
[0] load("gr")$



This document was generated by root on March, 5 2004 using texi2html