AlgebraicKernel_d_1::ComputePolynomial_1 Class Reference

#include <Concepts/AlgebraicKernel_d_1--ComputePolynomial_1.h>

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

See also

AlgebraicKernel_d_1::Isolate_1

Types
typedef AlgebraicKernel_d_1::Polynomial_1	result_type
typedef AlgebraicKernel_d_1::Algebraic_real_1	argument_type

Operations
result_type	operator() (argument_type x)
	Computes a square free polynomial \( p\), such that \( x\) is a real root of \( p\). More...

Member Typedef Documentation

argument_type

typedef AlgebraicKernel_d_1::Algebraic_real_1 AlgebraicKernel_d_1::ComputePolynomial_1::argument_type

result_type

typedef AlgebraicKernel_d_1::Polynomial_1 AlgebraicKernel_d_1::ComputePolynomial_1::result_type

Member Function Documentation

operator()()

result_type AlgebraicKernel_d_1::ComputePolynomial_1::operator()

(

argument_type

x

)

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