The characterization of affine complete groups has been attacked and solved in a very general setting in [7]. Recently, the same authors have also obtained a bound on the degree of polynomial completeness for a considerably bigger class of groups. The availability of programs to find and test hypothesis has been an essential step in the solution of these problems.