arguments: gb_comp >> .; OR res_comp >> .
Return a string describing the state of the Groebner or resolution computation, and the number of S-pair and generator computations remaining in each degree.
