#include <system_system.h>
Classes | |
struct | cmp_sze |
struct | cmp_szv |
struct | rstcmd_t |
Public Types | |
typedef real_t | creal_t |
typedef pstack< creal_t > | pstack_t |
typedef dstack< creal_t > | dstack_t |
typedef dstack_t::interval_t | interval_t |
typedef pstack_t::vstack_t | vstack_t |
typedef system< creal_t, rsafe, tsafe > | self_t |
typedef tensor::eenv | eenv_t |
typedef int | sz_t |
![]() | |
typedef unsigned | sz_t |
typedef Intervals< real_t >::rdw_t | interval_t |
![]() | |
typedef unsigned int | sz_t |
![]() | |
typedef unsigned | sz_t |
typedef vstack< real_t > | vstack_t |
Public Member Functions | |
std::ostream & | print (std::ostream &o, const rstcmd_t &rmc) |
sz_t | nvr () const |
sz_t | neqs () const |
eenv_t * | env (sz_t i) const |
sz_t | nvars (sz_t e) const |
sz_t | size (sz_t e) const |
sz_t | size (sz_t e, sz_t v) const |
sz_t | varname (sz_t e, sz_t v) const |
sz_t | stride (sz_t e, sz_t v) const |
const creal_t & | spceps () const |
creal_t * | data (sz_t e) |
const creal_t * | data (sz_t e) const |
creal_t * | rdata (sz_t e) |
const creal_t * | rdata (sz_t e) const |
creal_t * | rmndata (sz_t e) |
const creal_t * | rmndata (sz_t e) const |
creal_t * | rmxdata (sz_t e) |
const creal_t * | rmxdata (sz_t e) const |
void | tomonoms (sz_t e) |
creal_t * | mdata (sz_t e) |
void | meval (creal_t *dst, sz_t *eqs, sz_t n, creal_t *prms, int nsmp=1) |
void | meval (creal_t *dst, sz_t e, creal_t *prms, int nsmp=1) |
void | set_monomials (creal_t *src, sz_t e, bool scale_=false) |
void | set_bernstein (creal_t *src, sz_t e) |
void | set_monomials2 (const creal_t *src, sz_t e, bool scale_=false) |
void | set_bernstein2 (const creal_t *src, sz_t e) |
void | _rstcmd_ () |
void | _rst_ (sz_t e, creal_t *base) |
void | restrict (sz_t *eqs=0, sz_t n=0) |
void | restrict (sz_t e) |
void | prcinfo (unsigned *address, creal_t *bindata, eenv_t *o, eenv_t *a, eenv_t *b) |
void | _alloc_elldata_ () |
void | _free_elldata_ () |
creal_t * | mnelldata (sz_t e) |
creal_t * | mxelldata (sz_t e) |
creal_t * | elldata (sz_t e) |
creal_t * | mntrnsfdata (sz_t e) |
creal_t * | mxtrnsfdata (sz_t e) |
creal_t * | trnsfdata (sz_t e) |
void | elevate_loop (sz_t e, creal_t *dst, creal_t *src, creal_t *bins, unsigned *address) |
void | elevate (sz_t e, const texp::false_t &) |
void | elevate (sz_t e, const texp::true_t &) |
void | elevate (sz_t *eqs=0, sz_t n=0) |
void | force_elevate (sz_t *eqs=0, sz_t n=0) |
void | elevate (sz_t e) |
void | _safe_transform_ (creal_t *mat, sz_t *eqs, sz_t n, creal_t *trsf_up, creal_t *trsf_dw, creal_t *ell_up, creal_t *ell_dw) |
void | _transform_ (creal_t *mat, sz_t *eqs, sz_t n, creal_t *basetrsf, creal_t *baseell) |
void | transform (creal_t *mat, sz_t *eqs, sz_t n) |
bool | project (sz_t *eqs=0, sz_t ne=0) |
void | dreset () |
bool | thickness () |
void | reset () |
void | init (creal_t *inits=0) |
system () | |
system (sz_t neqs_, sz_t nvars_, sz_t const *nvrs, sz_t const **vars, sz_t const **szs, const creal_t &prmeps=(creal_t) 1e-6, const creal_t &spceps=(creal_t) 1e-12, const creal_t &isoleps=(creal_t) 1e-6, bool use_prcnd=true) | |
~system () | |
void | szssort () |
void | szvsort () |
![]() | |
void | receiver (method_base *mb) |
void | error (const char *msg) |
interval_t * | previous () |
interval_t * | current () |
const interval_t * | current () const |
sz_t | nvr () const |
const real_t & | peps () const |
const real_t & | rdscr_prm () const |
sz_t | largest () |
sz_t | smallest () |
real_t | prc () |
void | init (real_t *inits) |
void | reset () |
void | set_precision (const real_t &peps, const real_t &spleps=0) |
dstack (sz_t _nvr_, const real_t &peps, const real_t &spleps) | |
void | setmem () |
void | mpush () |
void | cpush () |
void | rndsupport (real_t *dst, int nsmp=1) |
void | update (interval_t *dst, interval_t *src, interval_t *locals) |
real_t | rdscr (interval_t const *const , interval_t const *const locals) |
bool | reduce (std::vector< interval_t > *ri, unsigned) |
bool | subdivide (sz_t v=(sz_t)(-1), real_tm=(real_t) 0) |
![]() | |
void * | _alloc_ (sz_t sz) |
Intervals< real_t >::rdw_t * | alloc () |
Intervals< real_t >::rdw_t *& | prev (Intervals< real_t >::rdw_t *chnk) |
void | pop () |
Intervals< real_t >::rdw_t * | top () |
void | push () |
nstack (unsigned n=1) | |
unsigned | deep () |
void | popall () |
~nstack () | |
![]() | |
void | reset () |
void | push (sz_t v, real_t *&pmn, real_t *&pmx, sz_t sz) |
void | add (sz_t v, real_t *const pmn, real_t *const pmx, sz_t sz) |
void | read (sz_t v, sz_t i, real_t *&pmn, real_t *&pmx, unsigned &sz) |
sz_t | nbp (sz_t v) const |
vstack_t & | projections (sz_t v) |
bool | thickness (const real_t &eps) |
pstack (sz_t nvr) | |
~pstack () | |
Public Attributes | |
sz_t | m_neqs |
eenv_t * | eenvs |
sz_t * | m_estate |
sz_t * | m_eqssel |
sz_t * | m_vrssel |
sz_t | m_esz |
sz_t | m_ssz |
sz_t * | m_esft |
creal_t * | m_errors |
creal_t * | m_data |
creal_t * | m_mdata |
creal_t * | m_evchnk |
creal_t * | m_mnrdata |
creal_t * | m_mxrdata |
creal_t | m_seps |
binomials< creal_t > | m_bzenv |
rstcmd_t * | m_rstcmd |
eenv_t | m_elenv |
eenv_t * | m_elenvs |
creal_t ** | m_elbins |
unsigned ** | m_eladdr |
creal_t * | m_mnelldata |
creal_t * | m_mxelldata |
creal_t * | m_mntrnsfdata |
creal_t * | m_mxtrnsfdata |
![]() | |
method_base * | m_error |
sz_t | m_nvr |
real_t | m_peps |
real_t | m_spleps |
real_t | m_rdprm |
sz_t | m_large |
sz_t | m_small |
![]() | |
sz_t | m_n |
sz_t | m_sz |
Intervals< real_t >::rdw_t * | m_frees |
Intervals< real_t >::rdw_t * | m_top |
![]() | |
unsigned | m_nvr |
vstack_t * | m_prj |
Static Public Attributes | |
static const int | stRestricted = 1 |
static const int | stElevated = 2 |
static const int | stTransformed = 4 |
static const int | stMonomials = 8 |
Additional Inherited Members | |
![]() | |
static real_t | size (const interval_t &i) |
static real_t | _linterp_dw (const interval_t &intvl, const real_t &t) |
static real_t | _linterp_up (const interval_t &intvl, const real_t &t) |
typedef real_t mmx::realroot::system< real_t, rsafe, tsafe >::creal_t |
typedef dstack<creal_t> mmx::realroot::system< real_t, rsafe, tsafe >::dstack_t |
typedef tensor::eenv mmx::realroot::system< real_t, rsafe, tsafe >::eenv_t |
typedef dstack_t::interval_t mmx::realroot::system< real_t, rsafe, tsafe >::interval_t |
typedef pstack<creal_t> mmx::realroot::system< real_t, rsafe, tsafe >::pstack_t |
typedef system< creal_t, rsafe, tsafe > mmx::realroot::system< real_t, rsafe, tsafe >::self_t |
typedef int mmx::realroot::system< real_t, rsafe, tsafe >::sz_t |
typedef pstack_t::vstack_t mmx::realroot::system< real_t, rsafe, tsafe >::vstack_t |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
|
inline |
eenv_t* mmx::realroot::system< real_t, rsafe, tsafe >::eenvs |
binomials< creal_t > mmx::realroot::system< real_t, rsafe, tsafe >::m_bzenv |
creal_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_data |
unsigned** mmx::realroot::system< real_t, rsafe, tsafe >::m_eladdr |
creal_t** mmx::realroot::system< real_t, rsafe, tsafe >::m_elbins |
eenv_t mmx::realroot::system< real_t, rsafe, tsafe >::m_elenv |
eenv_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_elenvs |
sz_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_eqssel |
creal_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_errors |
sz_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_esft |
sz_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_estate |
sz_t mmx::realroot::system< real_t, rsafe, tsafe >::m_esz |
creal_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_evchnk |
creal_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_mdata |
creal_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_mnelldata |
creal_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_mnrdata |
creal_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_mntrnsfdata |
creal_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_mxelldata |
creal_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_mxrdata |
creal_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_mxtrnsfdata |
sz_t mmx::realroot::system< real_t, rsafe, tsafe >::m_neqs |
rstcmd_t* mmx::realroot::system< real_t, rsafe, tsafe >::m_rstcmd |
creal_t mmx::realroot::system< real_t, rsafe, tsafe >::m_seps |
sz_t mmx::realroot::system< real_t, rsafe, tsafe >::m_ssz |
sz_t * mmx::realroot::system< real_t, rsafe, tsafe >::m_vrssel |
|
static |
|
static |
|
static |
|
static |