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 newtonOper (missing documentation) to the point to get more precise approximation.
|
|
The object certifyRealSolution is a method function.