GiNaCRA  0.6.4
MultivariatePolynomialMR.h File Reference

Go to the source code of this file.

Data Structures

class  GiNaCRA::MonomMRCompare
 A class for comparing MultivariateMonomials according to a given function. More...
class  GiNaCRA::MultivariatePolynomialMR
 A class for a multivariate polynomial providing a degree-based representation. More...

Namespaces

namespace  GiNaCRA
 Implementation of the class Constraint.

Typedefs

typedef bool(* GiNaCRA::MonomOrderingFc )(const MultivariateMonomialMR &, const MultivariateMonomialMR &)
typedef std::set
< MultivariateTermMR >
::iterator 
GiNaCRA::sMT_It
typedef std::set
< MultivariateTermMR >
::const_iterator 
GiNaCRA::sMT_cIt
typedef std::set
< MultivariateTermMR >
::reverse_iterator 
GiNaCRA::sMT_rIt