fix computations in the case where the defect is incuded
remiove unnecessary cases in _alpha_to_z and _z_to_alpha
fix _distinct_prime_divisors and add a test for it
remove unnecessary test