Settings for the CAD class. More...

#include <CAD.h>

Public Member Functions
bool	simplifyByGroebner () const
void	setSimplifyByGroebner (bool b)
bool	simplifyByRootcounting () const
void	setSimplifyByRootcounting (bool b)
bool	simplifyBySquarefreeing () const
void	setSimplifyBySquarefreeing (bool b)
bool	preferNRSamples () const
void	setPreferNRSamples (bool b)
bool	preferSamplesByIsRoot () const
void	setPreferSamplesByIsRoot (bool b)
bool	preferNonrootSamples () const
void	setPreferNonrootSamples (bool b)
	Activates non-root/root sample choice and sets the respective setting b.
Static Public Member Functions
static const CADSettings	getSettings (unsigned setting=DEFAULT_CADSETTING, RealAlgebraicNumberSettings::IsolationStrategy isolationStrategy=RealAlgebraicNumberSettings::DEFAULT_ISOLATIONSTRATEGY)
	Generate a CADSettings instance of the respective preset type.
Data Fields
bool(*	mUP_isLess )(const UnivariatePolynomial &, const UnivariatePolynomial &)
	the order in which the polynomials in each elimination level are sorted
RealAlgebraicNumberSettings::IsolationStrategy	mIsolationStrategy
	standard strategy to be used for real root isolation
Protected Attributes
bool	mPreferNRSamples
	flag indicating that the construction of new samples (by taking a new polynomial for lifting) is preferred to the choice of IR samples (PreferNRSamples excludes the use of PreferSamplesByIsRoot and vice versa)
bool	mPreferSamplesByIsRoot
	flag indicating that the choice of samples is guided by either being a root or not (PreferSamplesByIsRoot excludes the use of PreferNRSamples and vice versa)
bool	mPreferNonrootSamples
	flag indicating that the construction of new samples (by taking a new polynomial for lifting) is preferred to take root samples, if and only if mPreferSamplesByIsRoot is on
bool	mSimplifyByGroebner
	flag indicating that Groebner bases are used to simplify the input polynomials corresponding to equations
bool	mSimplifyByRootcounting
	flag indicating that the elimination uses real root counting to simplify the bottom-most level
bool	mSimplifyBySquarefreeing
	flag indicating that the elimination uses square-free/separable polynomials in every level
Private Member Functions
	CADSettings ()
	Constructor initiating a standard settings object with.
Friends
std::ostream &	operator<< (std::ostream &os, const CADSettings &settings)

Detailed Description

Settings for the CAD class.

Definition at line 491 of file CAD.h.

Constructor & Destructor Documentation

GiNaCRA::CADSettings::CADSettings ( ) [inline, private]

Constructor initiating a standard settings object with.

UnivariatePolynomial::univariatePolynomialIsLessDeg as polynomial ordering
preferNRSamples enabled
simplifyByGroebner disabled

Definition at line 662 of file CAD.h.

Referenced by getSettings().

Member Function Documentation

static const CADSettings GiNaCRA::CADSettings::getSettings	(	unsigned	setting = `DEFAULT_CADSETTING`,
		RealAlgebraicNumberSettings::IsolationStrategy	isolationStrategy = `RealAlgebraicNumberSettings::DEFAULT_ISOLATIONSTRATEGY`
	)		`[inline, static]`

Generate a CADSettings instance of the respective preset type.

Parameters:

setting
isolationStrategy

Returns:: a CADSettings instance of the respective preset type

Definition at line 512 of file CAD.h.

References CADSettings(), GiNaCRA::EAGERLIFTING_CADSETTING, GiNaCRA::EVENDEG_CADSETTING, GiNaCRA::GROEBNER_CADSETTING, GiNaCRA::LOWDEG_CADSETTING, mIsolationStrategy, mPreferNRSamples, mSimplifyByGroebner, mSimplifyByRootcounting, mSimplifyBySquarefreeing, mUP_isLess, GiNaCRA::ODDDEG_CADSETTING, GiNaCRA::REALROOTCOUNT_CADSETTING, GiNaCRA::SQUAREFREEELIMINATION_CADSETTING, GiNaCRA::UnivariatePolynomial::univariatePolynomialIsLessEvenDeg(), GiNaCRA::UnivariatePolynomial::univariatePolynomialIsLessEvenLowDeg(), GiNaCRA::UnivariatePolynomial::univariatePolynomialIsLessLowDeg(), GiNaCRA::UnivariatePolynomial::univariatePolynomialIsLessOddDeg(), and GiNaCRA::UnivariatePolynomial::univariatePolynomialIsLessOddLowDeg().

Referenced by GiNaCRA::CAD::alterSetting().

bool GiNaCRA::CADSettings::preferNonrootSamples ( ) const [inline]

Definition at line 618 of file CAD.h.

References mPreferNonrootSamples.

bool GiNaCRA::CADSettings::preferNRSamples ( ) const [inline]

Definition at line 594 of file CAD.h.

References mPreferNRSamples.

bool GiNaCRA::CADSettings::preferSamplesByIsRoot ( ) const [inline]

Definition at line 606 of file CAD.h.

References mPreferSamplesByIsRoot.

void GiNaCRA::CADSettings::setPreferNonrootSamples ( bool b ) [inline]

Activates non-root/root sample choice and sets the respective setting b.

Parameters:

b

Definition at line 627 of file CAD.h.

References mPreferNonrootSamples, and setPreferSamplesByIsRoot().

void GiNaCRA::CADSettings::setPreferNRSamples ( bool b ) [inline]

Definition at line 599 of file CAD.h.

References mPreferNRSamples, and mPreferSamplesByIsRoot.

void GiNaCRA::CADSettings::setPreferSamplesByIsRoot ( bool b ) [inline]

Definition at line 611 of file CAD.h.

References mPreferNRSamples, and mPreferSamplesByIsRoot.

Referenced by setPreferNonrootSamples().

void GiNaCRA::CADSettings::setSimplifyByGroebner ( bool b ) [inline]

Definition at line 569 of file CAD.h.

References mSimplifyByGroebner.

void GiNaCRA::CADSettings::setSimplifyByRootcounting ( bool b ) [inline]

Definition at line 579 of file CAD.h.

References mSimplifyByRootcounting.

void GiNaCRA::CADSettings::setSimplifyBySquarefreeing ( bool b ) [inline]

Definition at line 589 of file CAD.h.

References mSimplifyBySquarefreeing.

bool GiNaCRA::CADSettings::simplifyByGroebner ( ) const [inline]

Definition at line 564 of file CAD.h.

References mSimplifyByGroebner.

Referenced by GiNaCRA::CAD::addPolynomials(), and GiNaCRA::CAD::CAD().

bool GiNaCRA::CADSettings::simplifyByRootcounting ( ) const [inline]

Definition at line 574 of file CAD.h.

References mSimplifyByRootcounting.

Referenced by GiNaCRA::CAD::addPolynomials(), and GiNaCRA::CAD::CAD().

bool GiNaCRA::CADSettings::simplifyBySquarefreeing ( ) const [inline]

Definition at line 584 of file CAD.h.

References mSimplifyBySquarefreeing.

Referenced by GiNaCRA::CAD::addPolynomials(), and GiNaCRA::CAD::CAD().

Friends And Related Function Documentation

std::ostream& operator<<	(	std::ostream &	os,
		const CADSettings &	settings
	)		`[friend]`

Definition at line 538 of file CAD.h.

Field Documentation

RealAlgebraicNumberSettings::IsolationStrategy GiNaCRA::CADSettings::mIsolationStrategy

standard strategy to be used for real root isolation

Definition at line 500 of file CAD.h.

Referenced by getSettings().

bool GiNaCRA::CADSettings::mPreferNonrootSamples [protected]

flag indicating that the construction of new samples (by taking a new polynomial for lifting) is preferred to take root samples, if and only if mPreferSamplesByIsRoot is on

Definition at line 644 of file CAD.h.

Referenced by preferNonrootSamples(), and setPreferNonrootSamples().

bool GiNaCRA::CADSettings::mPreferNRSamples [protected]

flag indicating that the construction of new samples (by taking a new polynomial for lifting) is preferred to the choice of IR samples (PreferNRSamples excludes the use of PreferSamplesByIsRoot and vice versa)

Definition at line 640 of file CAD.h.

Referenced by getSettings(), preferNRSamples(), setPreferNRSamples(), and setPreferSamplesByIsRoot().

bool GiNaCRA::CADSettings::mPreferSamplesByIsRoot [protected]

flag indicating that the choice of samples is guided by either being a root or not (PreferSamplesByIsRoot excludes the use of PreferNRSamples and vice versa)

Definition at line 642 of file CAD.h.

Referenced by preferSamplesByIsRoot(), setPreferNRSamples(), and setPreferSamplesByIsRoot().

bool GiNaCRA::CADSettings::mSimplifyByGroebner [protected]

flag indicating that Groebner bases are used to simplify the input polynomials corresponding to equations

Definition at line 646 of file CAD.h.

Referenced by getSettings(), setSimplifyByGroebner(), and simplifyByGroebner().

bool GiNaCRA::CADSettings::mSimplifyByRootcounting [protected]

flag indicating that the elimination uses real root counting to simplify the bottom-most level

Definition at line 648 of file CAD.h.

Referenced by getSettings(), setSimplifyByRootcounting(), and simplifyByRootcounting().

bool GiNaCRA::CADSettings::mSimplifyBySquarefreeing [protected]

flag indicating that the elimination uses square-free/separable polynomials in every level