Singular/Sources — pull request #633 by jakobkroeker (2014-08-04 22:57:30+00:00)
Title: fix test for 613

test was incorrect so it did not catch the issue with minpoly.

Thanks for fixing the incorrect patch!