AlgebraicKernel_d_2::ComputePolynomialX_2 Class Reference

#include <Concepts/AlgebraicKernel_d_2--ComputePolynomialX_2.h>

Definition

Computes a univariate square free polynomial \( p\), such that the first coordinate of a given AlgebraicKernel_d_2::Algebraic_real_2 is a real root of \( p\).

Refines:

AdaptableUnaryFunction

See also

AlgebraicKernel_d_2::ComputePolynomialY_2

Types
typedef AlgebraicKernel_d_2::Polynomial_1	result_type
typedef AlgebraicKernel_d_2::Algebraic_real_2	argument_type

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

Member Typedef Documentation

argument_type

typedef AlgebraicKernel_d_2::Algebraic_real_2 AlgebraicKernel_d_2::ComputePolynomialX_2::argument_type

result_type

typedef AlgebraicKernel_d_2::Polynomial_1 AlgebraicKernel_d_2::ComputePolynomialX_2::result_type

Member Function Documentation

operator()()

result_type AlgebraicKernel_d_2::ComputePolynomialX_2::operator()

(

argument_type

a

)

Computes a univariate square free polynomial \( p\), such that the first coordinate of \( a\) is a real root of \( p\).