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