synaps/msolve/sbdslv.h File Reference


Detailed Description

Definition in file sbdslv.h.

Go to the source code of this file.

Namespaces

namespace  sbdslv
namespace  SolveSBDSLV

Classes

struct  sbdslv::select_mth< system, mth >
struct  sbdslv::select_mth< system, SBDSLV_RD >
struct  sbdslv::select_mth< system, SBDSLV_RDL >
struct  sbdslv::select_mth< system, SBDSLV_RDRDL >
struct  sbdslv::select_mth< system, SBDSLV_RDRDLRDS >
struct  sbdslv::select_mth< system, SBDSLV_RDS >
struct  sbdslv::select_mth< system, SBDSLV_RDRDS >
struct  sbdslv::select_mth< system, SBDSLV_RDLRDS >
struct  sbdslv::select_mth< system, SBDSLV_RDSRDL >
struct  SBDSLV< T, mth >
struct  SbdSolver< C, METHOD >

Defines

#define SBDSLV_RD   0
#define SBDSLV_RDL   1
#define SBDSLV_RDS   2
#define SBDSLV_RDRDL   3
#define SBDSLV_RDRDLRDS   4
#define SBDSLV_RDRDS   5
#define SBDSLV_RDLRDS   6
#define SBDSLV_RDSRDL   7
#define SBDSLV_MTH   SBDSLV_RDRDL

Functions

template<class T, class eenv_t, class MPOL>
void SolveSBDSLV::fill_data (T *data, eenv_t *env, const MPOL &p, binomials< T > &benv)
template<class monom>
void SolveSBDSLV::scan_monom_env (std::set< int > &env, const monom &m)
template<class MPC, class C, int MTH, class Domains>
Seq< VectDse< C > > solve (const MPC &l, const SBDSLV< C, MTH > &mth, const Domains &dom, bool verbose=false)
template<class MPC, class C, int MTH>
Seq< VectDse< C > > solve (const MPC &l, const SBDSLV< C, MTH > &mth, bool verbose=false)


Function Documentation

template<class MPC, class C, int MTH, class Domains>
Seq<VectDse<C> > solve ( const MPC &  l,
const SBDSLV< C, MTH > &  mth,
const Domains &  dom,
bool  verbose = false 
)

This is the general interface function for solving multivariate polynomial systems.

Parameters:
l is a sequence of polynomials (with begin() and end() member functions)
mth specifies the strategies and the domain for the resolution.
verbose set to true output complete information on the resolution.

Definition at line 116 of file sbdslv.h.

References assign(), let::copy(), MPOLDST::degree(), SolveSBDSLV::fill_data(), SBDSLV< T, mth >::prec, xml::print(), Seq< C, R >::push_back(), SolveSBDSLV::scan_monom_env(), chrono::start(), chrono::stop(), and chrono::write().


SYNAPS DOCUMENTATION
logo