GiNaCRA
0.6.4
|
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 |