mohamed-barakat/LessGenerators — pull request #3 by wagh (2013-07-18 20:27:25+00:00)
Title: fixed bug in Horrocks

* It is sufficient to check the numerator of an element while
chekcing for non-zero-ness in the residue class ring