1.2.18 `sm1.auto_reduce'
------------------------

sm1.auto_reduce(S|proc=P)
     ::  フラグ "AutoReduce" を S に設定.

戻り値
     数

P
     数

S
     数

   * S が 1 のとき, 以後計算されるグレブナ基底はすべて, reduced
     グレブナ基底となる.

   * S が 0 のとき, 計算されるグレブナ基底は reduced
     グレブナ基底とはかぎらない. こちらがデフォールト.

