#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 |
Public Types inherited from mmx::realroot::dstack< real_t > | |
| typedef unsigned | sz_t |
| typedef Intervals< real_t >::rdw_t | interval_t |
Public Types inherited from mmx::memory::nstack< Intervals< real_t >::rdw_t > | |
| typedef unsigned int | sz_t |
Public Types inherited from mmx::realroot::pstack< real_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 () |
Public Member Functions inherited from mmx::realroot::dstack< real_t > | |
| 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) |
Public Member Functions inherited from mmx::memory::nstack< Intervals< real_t >::rdw_t > | |
| 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 () | |
Public Member Functions inherited from mmx::realroot::pstack< real_t > | |
| 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 |
Public Attributes inherited from mmx::realroot::dstack< real_t > | |
| 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 |
Public Attributes inherited from mmx::memory::nstack< Intervals< real_t >::rdw_t > | |
| sz_t | m_n |
| sz_t | m_sz |
| Intervals< real_t >::rdw_t * | m_frees |
| Intervals< real_t >::rdw_t * | m_top |
Public Attributes inherited from mmx::realroot::pstack< real_t > | |
| 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 Public Member Functions inherited from mmx::realroot::dstack< real_t > | |
| 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 |