mmx::realroot Namespace Reference

Namespaces
	rdslv
	sbdrl
	strgy

Classes
class	box_rep
	Box representation. More...
struct	dstack
struct	method
struct	method_base
struct	method_debug
struct	pstack
struct	select_mth
struct	select_mth< system, SBD_RD >
struct	select_mth< system, SBD_RDL >
struct	select_mth< system, SBD_RDLRDS >
struct	select_mth< system, SBD_RDRDL >
struct	select_mth< system, SBD_RDRDLRDS >
struct	select_mth< system, SBD_RDRDS >
struct	select_mth< system, SBD_RDS >
struct	select_mth< system, SBD_RDSRDL >
class	solver_mv_monomial
struct	system
struct	system_ctrl
struct	vstack

Functions
template<class T , class eenv_t , class MPOL >
void	fill_data (T *data, eenv_t *env, const MPOL &p, binomials< T > &benv)
template<class monom >
void	scan_monom_env (std::set< int > &env, const monom &m)
template<class POL , class FT >
int	topological_degree_2d (BOX *b)
TMPL bool	no_variation (POL &p)
	True iff all coefficients of p have the same sign. More...
TMPL DPOL *	jacobian (Seq< POL * > &S0)
template<class T >
void	precondition (Seq< T > val, DPOL *mat, int n)
template<class T >
T *	eval_poly_matrix (Seq< T > val, DPOL *mat, int n)
template<class T >
int	signof_det (T *mat, const int &n)
template<class T >
T *	submatrix (T *matrix, int order, int i, int j)
template<class T >
T	det (T *mat, int order)
template<class FT >
int	signof (DPOL *p, Seq< FT > t)
TMPL bool	miranda_test (Seq< POL > &S, const int i, const int j)
template<class POL >
bool	include1 (BOX *b, DPOL *J)
	Inclusion criteria (Miranda Test) More...
TMPL bool	include2 (BOX *b, DPOL *J)
	Inclusion criteria (Jacobian+Topological Degree) More...
template<class POL >
bool	include3 (BOX *b, DPOL *J, Seq< POL * > &S0)
	Inclusion criteria based on Rump's test. More...
template<class POL >
bool	exclude1 (BOX *b, Seq< POL * > &S0)
	Exclusion criteria (inteval arithmetic) More...
TMPL bool	exclude2 (BOX *b, DPOL *J)
	Exclusion criteria (topological degree) More...
TMPL bool	exclude3 (BOX *b)
template<class FT >
int	sgn (FT a)
	Sign of a. More...
template<class POL , class FT >
int	sgn (POL &f, FT a)
	Sign of f at point a>=0 (-1=inf) More...
template<class real_t >
unsigned	clean_result (real_t *isols, int nvars, int nsols, const real_t &prec)

Variables
const int	E_CTRL = 0
const int	E_STRGY = 1
const int	E_RDSLV = 2
const int	E_SBDRL = 3
const int	E_INIT = 4
const int	C_ACCEPT = 5
const int	R_REJECT = 6
const int	R_ISOK = 7
const int	R_WEAK = 8
const int	R_FAIL = 9
const int	R_ERROR = 10
const int	D_REJECT = 11

Function Documentation

template<class real_t >

unsigned mmx::realroot::clean_result	(	real_t *	isols,
		int	nvars,
		int	nsols,
		const real_t &	prec
	)

template<class T >

T mmx::realroot::det	(	T *	mat,
		int	order
	)

template<class T >

T* mmx::realroot::eval_poly_matrix ( Seq< T >  val, DPOL *  mat, int  n  )

inline

template<class POL >

bool mmx::realroot::exclude1	(	BOX *	b,
		Seq< POL * > &	S0
	)

Exclusion criteria (inteval arithmetic)

TMPL bool mmx::realroot::exclude2	(	BOX *	b,
		DPOL *	J
	)

Exclusion criteria (topological degree)

TMPL bool mmx::realroot::exclude3 ( BOX *  b )

inline

template<class T , class eenv_t , class MPOL >

void mmx::realroot::fill_data	(	T *	data,
		eenv_t *	env,
		const MPOL &	p,
		binomials< T > &	benv
	)

template<class POL >

bool mmx::realroot::include1	(	BOX *	b,
		DPOL *	J
	)

Inclusion criteria (Miranda Test)

TMPL bool mmx::realroot::include2	(	BOX *	b,
		DPOL *	J
	)

Inclusion criteria (Jacobian+Topological Degree)

template<class POL >

bool mmx::realroot::include3	(	BOX *	b,
		DPOL *	J,
		Seq< POL * > &	S0
	)

Inclusion criteria based on Rump's test.

TMPL DPOL* mmx::realroot::jacobian ( Seq< POL * > &  S0 )

inline

TMPL bool mmx::realroot::miranda_test ( Seq< POL > &  S, const int  i, const int  j  )

inline

TMPL bool mmx::realroot::no_variation ( POL &  p )

inline

True iff all coefficients of p have the same sign.

template<class T >

void mmx::realroot::precondition ( Seq< T >  val, DPOL *  mat, int  n  )

inline

template<class monom >

void mmx::realroot::scan_monom_env	(	std::set< int > &	env,
		const monom &	m
	)

template<class FT >

int mmx::realroot::sgn ( FT  a )

inline

Sign of a.

template<class POL , class FT >

int mmx::realroot::sgn ( POL &  f, FT  a  )

inline

Sign of f at point a>=0 (-1=inf)

template<class FT >

int mmx::realroot::signof ( DPOL *  p, Seq< FT >  t  )

inline

template<class T >

int mmx::realroot::signof_det ( T *  mat, const int &  n  )

inline

template<class T >

T* mmx::realroot::submatrix	(	T *	matrix,
		int	order,
		int	i,
		int	j
	)

template<class POL , class FT >

int mmx::realroot::topological_degree_2d

(

BOX *

b

)

Variable Documentation

const int mmx::realroot::C_ACCEPT = 5

const int mmx::realroot::D_REJECT = 11

const int mmx::realroot::E_CTRL = 0

const int mmx::realroot::E_INIT = 4

const int mmx::realroot::E_RDSLV = 2

const int mmx::realroot::E_SBDRL = 3

const int mmx::realroot::E_STRGY = 1

const int mmx::realroot::R_ERROR = 10

const int mmx::realroot::R_FAIL = 9

const int mmx::realroot::R_ISOK = 7

const int mmx::realroot::R_REJECT = 6

const int mmx::realroot::R_WEAK = 8