introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to the $i$-th real common solution of $f$ and $g$, with respect to xy-lexicographic order.

The index starts at $0$, that is, the system must have at least $i+1$ real solutions.

Precondition

$f$ is square free.

$g$ is square free.

$f$ and $g$ are coprime.

introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to the only real intersection of $f$ and $g$ in the open box $B = (x_l,x_u)\times(y_l,y_u)$.

Precondition

$x_l < x_u$

$y_l < y_u$

$f$ is square free.

$g$ is square free.

$f$ and $g$ are coprime.

$f$ and $g$ have exactly one common solution in $B$

$f$ and $g$ have no common solution on $\partial B$