AlgebraicKernel_d_1::ConstructAlgebraicReal_1

Definition

Constructs AlgebraicKernel_d_1::Algebraic_real_1.

Refines

AdaptableFunctor

Types

typedef AlgebraicKernel_d_1::Algebraic_real_1
result_type;

Operations

result_type fo ( int a ) introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to a.

result_type fo ( AlgebraicKernel_d_1::Bound a )
introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to a.

result_type fo ( AlgebraicKernel_d_1::Coefficient a )
introduces an AlgebraicKernel_d_1::Algebraic_real_1 initialized to a.

result_type fo ( 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.
Precondition:  p has at least i+1 real roots.

result_type
fo ( 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
Precondition:  p is square free.
Precondition:  p has exactly one real root in I
Precondition:  p has no real root on ∂I

See Also

AlgebraicKernel_d_2::ConstructAlgebraicReal_2