AlgebraicKernel_d_1::ComputePolynomial_1

Definition

Computes a square free univariate polynomial p, such that the given AlgebraicKernel_d_1::Algebraic_real_1 is a root of p.

Refines

AdaptableUnaryFunction

Types

typedef AlgebraicKernel_d_1::Polynomial_1
result_type;
typedef AlgebraicKernel_d_1::Algebraic_real_1
argument_type;

Operations

result_type fo ( argument_type x ) Computes a square free polynomial p, such that x is a real root of p.

See Also

AlgebraicKernel_d_1::Isolate_1