AlgebraicKernel_d_1::ConstructAlgebraicReal_1 Concept Reference

Definition

Constructs AlgebraicKernel_d_1::Algebraic_real_1.

Refines:

AdaptableFunctor

See also

AlgebraicKernel_d_2::ConstructAlgebraicReal_2

Types
typedef AlgebraicKernel_d_1::Algebraic_real_1	result_type

Operations
result_type	operator() (int a)
	introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to $a$.
result_type	operator() (AlgebraicKernel_d_1::Bound a)
	introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to $a$.
result_type	operator() (AlgebraicKernel_d_1::Coefficient a)
	introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to $a$.
result_type	operator() (AlgebraicKernel_d_1::Polynomial_1 p, AlgebraicKernel_d_1::size_type i)
	introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to the $i$-th real root of $p$. More...
result_type	operator() (AlgebraicKernel_d_1::Polynomial_1 p, AlgebraicKernel_d_1::Bound l, AlgebraicKernel_d_1::Bound u)
	introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to the only real root of $p$ in the open interval $I = (l,u)$. More...

Member Function Documentation

operator()() [1/2]

result_type AlgebraicKernel_d_1::ConstructAlgebraicReal_1::operator()	(	AlgebraicKernel_d_1::Polynomial_1	p,
		AlgebraicKernel_d_1::size_type	i
	)

introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to the $i$-th real root of $p$.

The index starts at $0$, that is, $p$ must have at least $i+1$ real roots.

Precondition

$p$ is square free.

$p$ has at least $i+1$ real roots.

operator()() [2/2]

result_type AlgebraicKernel_d_1::ConstructAlgebraicReal_1::operator()	(	AlgebraicKernel_d_1::Polynomial_1	p,
		AlgebraicKernel_d_1::Bound	l,
		AlgebraicKernel_d_1::Bound	u
	)

introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to the only real root of $p$ in the open interval $I = (l,u)$.

Precondition

$l < u$

$p$ is square free.

$p$ has exactly one real root in $I$

$p$ has no real root on $\partial I$