PolynomialSolverBase< _Scalar, _Deg > Class Template Reference

---

Detailed Description

template<typename _Scalar, int _Deg>
class PolynomialSolverBase< _Scalar, _Deg >

Defined to be inherited by polynomial solvers: it provides convenient methods such as.

• real roots,
• greatest, smallest complex roots,
• real roots with greatest, smallest absolute real value,
• greatest, smallest real roots.

It stores the set of roots as a vector of complexes.

Definition at line 43 of file Polynomials.

Inheritance diagram for PolynomialSolverBase< _Scalar, _Deg >:

List of all members.

Public Types
typedef _Scalar	Scalar
typedef NumTraits< Scalar >::Real	RealScalar
typedef std::complex< RealScalar >	RootType
typedef Matrix< RootType, _Deg, 1 >	RootsType
typedef DenseIndex	Index
Public Member Functions
template<typename OtherPolynomial >
	PolynomialSolverBase (const OtherPolynomial &poly)
	PolynomialSolverBase ()
const RootsType &	roots () const
template<typename Stl_back_insertion_sequence >
void	realRoots (Stl_back_insertion_sequence &bi_seq, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
	Clear and fills the back insertion sequence with the real roots of the polynomial i.e.
const RootType &	greatestRoot () const
const RootType &	smallestRoot () const
const RealScalar &	absGreatestRealRoot (bool &hasArealRoot, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
const RealScalar &	absSmallestRealRoot (bool &hasArealRoot, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
const RealScalar &	greatestRealRoot (bool &hasArealRoot, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
const RealScalar &	smallestRealRoot (bool &hasArealRoot, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
Protected Member Functions
template<typename OtherPolynomial >
void	setPolynomial (const OtherPolynomial &poly)
template<typename squaredNormBinaryPredicate >
const RootType &	selectComplexRoot_withRespectToNorm (squaredNormBinaryPredicate &pred) const
template<typename squaredRealPartBinaryPredicate >
const RealScalar &	selectRealRoot_withRespectToAbsRealPart (squaredRealPartBinaryPredicate &pred, bool &hasArealRoot, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
template<typename RealPartBinaryPredicate >
const RealScalar &	selectRealRoot_withRespectToRealPart (RealPartBinaryPredicate &pred, bool &hasArealRoot, const RealScalar &absImaginaryThreshold=NumTraits< Scalar >::dummy_precision()) const
Protected Attributes
RootsType	m_roots

---

Member Typedef Documentation

template<typename _Scalar, int _Deg>

typedef DenseIndex PolynomialSolverBase< _Scalar, _Deg >::Index

Definition at line 53 of file Polynomials.

template<typename _Scalar, int _Deg>

typedef NumTraits<Scalar>::Real PolynomialSolverBase< _Scalar, _Deg >::RealScalar

Definition at line 49 of file Polynomials.

template<typename _Scalar, int _Deg>

typedef Matrix<RootType,_Deg,1> PolynomialSolverBase< _Scalar, _Deg >::RootsType

Definition at line 51 of file Polynomials.

template<typename _Scalar, int _Deg>

typedef std::complex<RealScalar> PolynomialSolverBase< _Scalar, _Deg >::RootType

Definition at line 50 of file Polynomials.

template<typename _Scalar, int _Deg>

typedef _Scalar PolynomialSolverBase< _Scalar, _Deg >::Scalar

Definition at line 48 of file Polynomials.

---

Constructor & Destructor Documentation

template<typename _Scalar, int _Deg>

template<typename OtherPolynomial >

PolynomialSolverBase< _Scalar, _Deg >::PolynomialSolverBase

(

const OtherPolynomial &

poly

)

[inline]

Definition at line 62 of file Polynomials.

template<typename _Scalar, int _Deg>

PolynomialSolverBase< _Scalar, _Deg >::PolynomialSolverBase

(

)

[inline]

Definition at line 65 of file Polynomials.

---

Member Function Documentation

template<typename _Scalar, int _Deg>

const RealScalar& PolynomialSolverBase< _Scalar, _Deg >::absGreatestRealRoot	(	bool &	hasArealRoot,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline]

Returns:

a real root with greatest absolute magnitude. A real root is defined as the real part of a complex root with absolute imaginary part smallest than absImaginaryThreshold. absImaginaryThreshold takes the dummy_precision associated with the _Scalar template parameter of the PolynomialSolver class as the default value. If no real root is found the boolean hasArealRoot is set to false and the real part of the root with smallest absolute imaginary part is returned instead.

Parameters:

[out]	hasArealRoot	: boolean true if a real root is found according to the absImaginaryThreshold criterion, false otherwise.
[in]	absImaginaryThreshold	: threshold on the absolute imaginary part to decide whether or not a root is real.

Definition at line 223 of file Polynomials.

template<typename _Scalar, int _Deg>

const RealScalar& PolynomialSolverBase< _Scalar, _Deg >::absSmallestRealRoot	(	bool &	hasArealRoot,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline]

Returns:

a real root with smallest absolute magnitude. A real root is defined as the real part of a complex root with absolute imaginary part smallest than absImaginaryThreshold. absImaginaryThreshold takes the dummy_precision associated with the _Scalar template parameter of the PolynomialSolver class as the default value. If no real root is found the boolean hasArealRoot is set to false and the real part of the root with smallest absolute imaginary part is returned instead.

Parameters:

[out]	hasArealRoot	: boolean true if a real root is found according to the absImaginaryThreshold criterion, false otherwise.
[in]	absImaginaryThreshold	: threshold on the absolute imaginary part to decide whether or not a root is real.

Definition at line 246 of file Polynomials.

template<typename _Scalar, int _Deg>

const RealScalar& PolynomialSolverBase< _Scalar, _Deg >::greatestRealRoot	(	bool &	hasArealRoot,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline]

Returns:

the real root with greatest value. A real root is defined as the real part of a complex root with absolute imaginary part smallest than absImaginaryThreshold. absImaginaryThreshold takes the dummy_precision associated with the _Scalar template parameter of the PolynomialSolver class as the default value. If no real root is found the boolean hasArealRoot is set to false and the real part of the root with smallest absolute imaginary part is returned instead.

Parameters:

[out]	hasArealRoot	: boolean true if a real root is found according to the absImaginaryThreshold criterion, false otherwise.
[in]	absImaginaryThreshold	: threshold on the absolute imaginary part to decide whether or not a root is real.

Definition at line 269 of file Polynomials.

template<typename _Scalar, int _Deg>

const RootType& PolynomialSolverBase< _Scalar, _Deg >::greatestRoot

(

)

const [inline]

Returns:

the complex root with greatest norm.

Definition at line 113 of file Polynomials.

template<typename _Scalar, int _Deg>

template<typename Stl_back_insertion_sequence >

void PolynomialSolverBase< _Scalar, _Deg >::realRoots	(	Stl_back_insertion_sequence &	bi_seq,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline]

Clear and fills the back insertion sequence with the real roots of the polynomial i.e.

the real part of the complex roots that have an imaginary part which absolute value is smaller than absImaginaryThreshold. absImaginaryThreshold takes the dummy_precision associated with the _Scalar template parameter of the PolynomialSolver class as the default value.

Parameters:

[out]	bi_seq	: the back insertion sequence (stl concept)
[in]	absImaginaryThreshold	: the maximum bound of the imaginary part of a complex number that is considered as real.

Definition at line 83 of file Polynomials.

template<typename _Scalar, int _Deg>

const RootsType& PolynomialSolverBase< _Scalar, _Deg >::roots

(

)

const [inline]

Returns:

the complex roots of the polynomial

Definition at line 69 of file Polynomials.

template<typename _Scalar, int _Deg>

template<typename squaredNormBinaryPredicate >

const RootType& PolynomialSolverBase< _Scalar, _Deg >::selectComplexRoot_withRespectToNorm

(

squaredNormBinaryPredicate &

pred

)

const [inline, protected]

Definition at line 96 of file Polynomials.

template<typename _Scalar, int _Deg>

template<typename squaredRealPartBinaryPredicate >

const RealScalar& PolynomialSolverBase< _Scalar, _Deg >::selectRealRoot_withRespectToAbsRealPart	(	squaredRealPartBinaryPredicate &	pred,
		bool &	hasArealRoot,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline, protected]

Definition at line 130 of file Polynomials.

template<typename _Scalar, int _Deg>

template<typename RealPartBinaryPredicate >

const RealScalar& PolynomialSolverBase< _Scalar, _Deg >::selectRealRoot_withRespectToRealPart	(	RealPartBinaryPredicate &	pred,
		bool &	hasArealRoot,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline, protected]

Definition at line 170 of file Polynomials.

template<typename _Scalar, int _Deg>

template<typename OtherPolynomial >

void PolynomialSolverBase< _Scalar, _Deg >::setPolynomial

(

const OtherPolynomial &

poly

)

[inline, protected]

Definition at line 57 of file Polynomials.

template<typename _Scalar, int _Deg>

const RealScalar& PolynomialSolverBase< _Scalar, _Deg >::smallestRealRoot	(	bool &	hasArealRoot,
		const RealScalar &	absImaginaryThreshold = NumTraits<Scalar>::dummy_precision()
	)		const [inline]

Returns:

the real root with smallest value. A real root is defined as the real part of a complex root with absolute imaginary part smallest than absImaginaryThreshold. absImaginaryThreshold takes the dummy_precision associated with the _Scalar template parameter of the PolynomialSolver class as the default value. If no real root is found the boolean hasArealRoot is set to false and the real part of the root with smallest absolute imaginary part is returned instead.

Parameters:

[out]	hasArealRoot	: boolean true if a real root is found according to the absImaginaryThreshold criterion, false otherwise.
[in]	absImaginaryThreshold	: threshold on the absolute imaginary part to decide whether or not a root is real.

Definition at line 292 of file Polynomials.

template<typename _Scalar, int _Deg>

const RootType& PolynomialSolverBase< _Scalar, _Deg >::smallestRoot

(

)

const [inline]

Returns:

the complex root with smallest norm.

Definition at line 122 of file Polynomials.

---

Member Data Documentation

template<typename _Scalar, int _Deg>

RootsType PolynomialSolverBase< _Scalar, _Deg >::m_roots [protected]

Definition at line 301 of file Polynomials.