The input is a parametric semi-algebraic system whose parameters are the last d variables of R and whose polynomial equations, non-negative polynomial inequalities, (strictly) positive polynomial inequalities, and polynomial inequations are given respectively by F, N, P, and H.

The command BorderPolynomial returns an object of type border_polynomial. It is a list of polynomials of R the product of which is the border polynomial of the input system.

If the output border polynomial only contains the parameters, above each parameter value not canceling the border polynomial, the input parametric system has finitely many solutions. Determining conditions on the parameters for the input system to have a prescribed (finite) number of solutions is achieved by the command RealRootClassification.

If the input system is not sufficiently generic (and in particular if it is not generically zero-dimensional with respect to the d parameters) then the output is set to a special value, as shown in the examples below.

The base field of R is meant to be the field of real numbers. Thus R must be of characteristic zero and must have no parameters (in the sense of the RegularChains library).

Yang, L.; Hou, X.; and Xia, B. "A complete algorithm for automated discovering of a class of inequality-type theorems." Science China, F. Vol. 44, (2001): 33-49.