result_type
|
fo (
int x
,
int y
)
|
introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to (x,y).
|
|
result_type
|
fo (
AlgebraicKernel_d_2::Bound x
,
AlgebraicKernel_d_2::Bound y
)
|
| |
introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to (x,y).
|
|
result_type
|
fo (
AlgebraicKernel_d_2::Coefficient x
,
AlgebraicKernel_d_2::Coefficient y
)
|
| |
introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to (x,y).
|
|
result_type
|
fo (
AlgebraicKernel_d_2::Algebraic_real_1 x
,
AlgebraicKernel_d_2::Algebraic_real_1 y
)
|
| |
introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to (x,y).
|
|
result_type
|
|
| |
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.
|
Precondition: | g is square free.
|
Precondition: | f and g are coprime. |
|
|
result_type
|
|
| |
introduces an AlgebraicKernel_d_2::Algebraic_real_2 initialized to the only real intersection of
f and g in the open box B = (xl,xu) × (yl,yu).
Precondition: | f is square free.
|
Precondition: | g is square free.
|
Precondition: | f and g are coprime.
|
Precondition: | f and g have exactly one common solution in B
|
Precondition: | f and g have no common solution on ∂B |
|