added doctests for a hard case of equivalence_reciprocal()
drop leading zero coefficients according to the description in the docstring
fixed several doctests