up previous next
5.1.15 Verbose
During a Groebner basis (or Groebner-like) computation prints some progress information. Usually one dot represents a reduction.