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
Merge pull request #3 from wagh/devel

fixed bug in Horrocks