certifyDistinctSolutions(PS, P1, P2)
This function executes the gamma test based on the value computed by computeConstants, and determine whether given points are distinct or not.
|
|
|
|
|
However, if two solutions are too close, it concludes that inputs are not distinct.
|
|
|
Even worse, if two solutions are close enough and both have alpha value which are bigger than $0.03$, it gives indecisive comments.
In this case, user should apply newton to the point to get more precise approximation.
|
|
|
The object certifyDistinctSolutions is a method function.