MPol< C, O, R > Struct Template Reference

Inheritance diagram for MPol< C, O, R >:

Dual< C, O, R > List of all members.

Detailed Description

template<class C, class O = DegLex, class R = std::list<Monom<C,dynamicexp<unsigned> > >>
struct MPol< C, O, R >

Multivariate polynomials.

Interface for multivariate polynomials. The type R is the representation of the polynomial (eg. a list of monomial). The type O is the class specifying the order on the monomials.

Definition at line 50 of file MPol.h.

Public Types

typedef R::value_type monom_t
typedef C coeff_t
typedef O order_t
typedef R::iterator iterator
typedef R::const_iterator const_iterator
typedef R::reverse_iterator reverse_iterator
typedef R::const_reverse_iterator const_reverse_iterator
typedef MPol< C, O, R > self_t

Public Member Functions

R & rep ()
const R & rep () const
 MPol ()
 MPol (const monom_t &m)
 MPol (const coeff_t &c)
 MPol (const int &i)
 MPol (int, const monom_t *)
 MPol (const self_t &P)
 MPol (const char *, Variables &vars=Variables::default_)
 MPol (const char *, const Variables &vars)
template<class S>
 MPol (const VAL< S > &M)
template<class Q>
 MPol (const MPol< C, Q, R > &p)
self_toperator= (const self_t &x)
self_toperator= (const coeff_t &c)
self_toperator= (int n)
self_toperator= (const monom_t &m)
template<class S>
self_toperator= (const VAL< S > &M)
self_toperator *= (const coeff_t &)
self_toperator/= (const coeff_t &)
self_toperator *= (const monom_t &)
self_toperator/= (const monom_t &)
self_toperator+= (const self_t &)
self_toperator-= (const self_t &)
self_toperator *= (const self_t &)
self_toperator/= (const self_t &Q)
bool operator== (int n) const
bool operator!= (int n) const
iterator begin ()
const_iterator begin () const
reverse_iterator rbegin ()
const_reverse_iterator rbegin () const
iterator end ()
const_iterator end () const
reverse_iterator rend ()
const_reverse_iterator rend () const
int size () const
 Return the number of terms in the polynomial.
int nbvar () const
 Return the number of variables involved in the polynomial.
template<class T>
coeff_t operator() (const T &p) const
 Evaluate the polynomial at the "point" p.

Static Public Member Functions

static int index (const std::string &s)
static std::string var (int i)
static void var (int i, const std::string &s)
static int var (char *s)

Public Attributes

shared_object< R > data


Member Function Documentation

template<class C, class O = DegLex, class R = std::list<Monom<C,dynamicexp<unsigned> > >>
int MPol< C, O, R >::size (  )  const

Return the number of terms in the polynomial.

Definition at line 151 of file MPol.h.

References MPol< C, O, R >::rep().

Referenced by let::convert(), and MPol< C, O, R >::operator==().

template<class C, class O = DegLex, class R = std::list<Monom<C,dynamicexp<unsigned> > >>
int MPol< C, O, R >::nbvar (  )  const

Return the number of variables involved in the polynomial.

Definition at line 153 of file MPol.h.

References MPOLDST::nbvar().

template<class C, class O, class R>
template<class T>
MPol< C, O, R >::coeff_t MPol< C, O, R >::operator() ( const T &  p  )  const

Evaluate the polynomial at the "point" p.

Definition at line 596 of file MPol.h.

References MPol< C, O, R >::begin(), and MPol< C, O, R >::end().


The documentation for this struct was generated from the following file:

SYNAPS DOCUMENTATION
logo