solver_mv_monomial_tests.hpp File Reference

#include <realroot/ring.hpp>
#include <realroot/polynomial_tensor.hpp>
#include <realroot/polynomial.hpp>
#include <realroot/homography.hpp>
#include <realroot/sign_variation.hpp>
#include <realroot/Interval.hpp>
#include <stack>
#include <realroot/solver_ucf.hpp>
#include <realroot/solver_uv_bspline.hpp>

Go to the source code of this file.

Namespaces
	mmx
	mmx::realroot

Macros
#define	TMPL   template<class POL>
#define	DPOL   polynomial<double,with<MonomialTensor> >
#define	BOX   box_rep<POL>
#define	INFO   1
#define	TODOUBLE   as<double>

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

Macro Definition Documentation

#define BOX   box_rep<POL>

#define DPOL   polynomial<double,with<MonomialTensor> >

#define INFO   1

#define TMPL   template<class POL>

#define TODOUBLE   as<double>