Monom< C, R > Struct Template Reference

Multivariate monomials. More...

#include <borderbasix/mpoly/Monom.hpp>

Public Types
typedef int	index_t
typedef R::exponent_t	exponent_t
typedef C	coeff_t
typedef R	rep_t

Public Member Functions
	Monom ()
	Monom (const C &c, const R &r)
	Monom (const C &c)
	Monom (int i)
	Monom (int i, int d)
	Monom (const C &c, int i, int d=1)
	Monom (const C &c, int s, int *t)
	Monom (const Monom &m)
Monom< C, R > &	operator= (const Monom< C, R > &m)
C	GetCoeff () const
void	SetCoeff (const C &c)
int	Lvar () const
exponent_t	GetDegree () const
exponent_t	operator[] (int i) const
exponent_t	GetDegree (int i) const
void	SetDegree (int i, int d)
bool	operator== (const Monom< C, R > &m2) const
bool	operator!= (const Monom< C, R > &m2) const
Monom< C, R >	operator- () const
Monom< C, R > &	operator+= (const Monom< C, R > &)
Monom< C, R > &	operator-= (const Monom< C, R > &)
Monom< C, R > &	operator*= (const Monom< C, R > &)
Monom< C, R > &	operator*= (const C &)

Public Attributes
C	coeff
R	rep

Friends
bool	IsComparable (const Monom< C, R > &m1, const Monom< C, R > &m2)

Detailed Description

template<class C, class R>
struct Monom< C, R >

Multivariate monomials.

A monomial corresponds to a pair of coefficient and exponent vector.

• The type C is the coefficient type.
• The type R is the exponent type.

Example:

typedef Monom<long double,dynamicexp<'x'> > Monomial;

Member Typedef Documentation

template<class C, class R>

typedef C Monom< C, R >::coeff_t

template<class C, class R>

typedef R::exponent_t Monom< C, R >::exponent_t

template<class C, class R>

typedef int Monom< C, R >::index_t

template<class C, class R>

typedef R Monom< C, R >::rep_t

Constructor & Destructor Documentation

template<class C, class R>

Monom< C, R >::Monom ( )

inline

template<class C, class R>

Monom< C, R >::Monom ( const C &  c, const R &  r  )

inline

template<class C, class R>

Monom< C, R >::Monom ( const C &  c )

inline

template<class C, class R>

Monom< C, R >::Monom ( int  i )

inline

template<class C, class R>

Monom< C, R >::Monom ( int  i, int  d  )

inline

template<class C, class R>

Monom< C, R >::Monom ( const C &  c, int  i, int  d = 1  )

inline

template<class C, class R>

Monom< C, R >::Monom ( const C &  c, int  s, int *  t  )

inline

template<class C, class R>

Monom< C, R >::Monom ( const Monom< C, R > &  m )

inline

Member Function Documentation

template<class C, class R>

C Monom< C, R >::GetCoeff ( ) const

inline

template<class C, class R>

exponent_t Monom< C, R >::GetDegree ( ) const

inline

template<class C, class R>

exponent_t Monom< C, R >::GetDegree ( int  i ) const

inline

template<class C, class R>

int Monom< C, R >::Lvar ( ) const

inline

template<class C, class R>

bool Monom< C, R >::operator!= ( const Monom< C, R > &  m2 ) const

inline

template<class C , class R >

Monom< C, R > & Monom< C, R >::operator*= ( const Monom< C, R > &  m )

inline

template<class C , class R >

Monom< C, R > & Monom< C, R >::operator*= ( const C &  c )

inline

template<class C , class R >

Monom< C, R > & Monom< C, R >::operator+= ( const Monom< C, R > &  m )

inline

template<class C, class R>

Monom<C,R> Monom< C, R >::operator- ( ) const

inline

template<class C , class R >

Monom< C, R > & Monom< C, R >::operator-= ( const Monom< C, R > &  m )

inline

template<class C, class R>

Monom<C,R>& Monom< C, R >::operator= ( const Monom< C, R > &  m )

inline

template<class C, class R>

bool Monom< C, R >::operator== ( const Monom< C, R > &  m2 ) const

inline

template<class C, class R>

exponent_t Monom< C, R >::operator[] ( int  i ) const

inline

template<class C, class R>

void Monom< C, R >::SetCoeff ( const C &  c )

inline

template<class C, class R>

void Monom< C, R >::SetDegree ( int  i, int  d  )

inline

Friends And Related Function Documentation

template<class C, class R>

bool IsComparable ( const Monom< C, R > &  m1, const Monom< C, R > &  m2  )

friend

Member Data Documentation

template<class C, class R>

C Monom< C, R >::coeff

template<class C, class R>

R Monom< C, R >::rep