fixed a problem in equivalence_reciprocal()