I really appreciate this package - it has turned out so useful in many situations, many thanks to the authors! One small formal thing that doesn't change the functionality: It looks to me that the guy was called "Dolgopolsky" not "Dogolpolsky" (except if there's some pun that I'm missing here?) in that case it should be dolgo_prime_distance
I really appreciate this package - it has turned out so useful in many situations, many thanks to the authors! One small formal thing that doesn't change the functionality: It looks to me that the guy was called "Dolgopolsky" not "Dogolpolsky" (except if there's some pun that I'm missing here?) in that case it should be dolgo_prime_distance