Currently, we plan to delete prime.properDivisor function, since it is defined for APR primality test but is not used at all. Doesn't factor.misc.FactoredInteger.proper_divisor() help you?
If you would like to refer to this comment somewhere else in this project, copy and paste the following link:
Currently, we plan to delete prime.properDivisor function, since it is defined for APR primality test but is not used at all. Doesn't factor.misc.FactoredInteger.proper_divisor() help you?