certifyRealSolution(PS, P)
When the system is real (or rational) polynomial system, this function executes the gamma test based on the value computed by computeConstants, and determine whether a given point is a real approximate solution or not.
|
|
|
|
However, an input point is poorly approximated, it gives false even if the point is real. In this case, user should apply newton to the point to get more precise approximation.
|
|
The object certifyRealSolution is a method function.