[ << ] [ < ] [?] [ > ] [ >> ]         [??] [??] [???] [ ? ]

8.2 ファイルの読み込み

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

[0] load("gr")$

[ << ] [ < ] [?] [ > ] [ >> ]

?????10? 19, 2017?texi2html 5.0????????????