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

sm1.auto_reduce(S|proc=P)
     ::  Set the flag "AutoReduce" to S.

RETURN
     Number

P
     Number

S
     Number

   * If S is 1, then all Grobner bases to be computed will be the
     reduced Grobner bases.

   * If S is 0, then Grobner bases are not necessarily the reduced
     Grobner bases.  This is the default.

