8.1 分散表現多項式 8.2 ファイルの読み込み 8.3 基本的な函数 8.4 計算および表示の制御 8.5 項順序の設定 8.6 有理式を係数とするグレブナ基底計算 8.7 基底変換 8.8 Weyl 代数 8.9 グレブナ基底に関する函数