57 int restcmp =
rest.compare(other.
rest);
58 return ((restcmp<0) ||
59 (!(restcmp>0) && (
coeff.compare(other.
coeff)<0)));
65 int restcmp =
rest.compare(other.
rest);
72 void print(std::ostream & os)
const;
#define GINAC_ASSERT(X)
Assertion macro for checking invariances.
Lightweight wrapper for GiNaC's symbolic objects.
int compare(const ex &other) const
int compare(const expair &other) const
Member-wise check for canonical ordering.
bool is_canonical_numeric() const
True if this is of the form (numeric,ex(1)).
void swap(expair &other)
Swap contents with other expair.
ex rest
first member of pair, an arbitrary expression
const expair conjugate() const
ex coeff
second member of pair, must be numeric
expair(const ex &r, const ex &c)
Construct an expair from two ex.
void print(std::ostream &os) const
bool is_less(const expair &other) const
Member-wise check for canonical ordering lessness.
bool is_equal(const expair &other) const
Member-wise check for canonical ordering equality.
Interface to GiNaC's light-weight expression handles.
void swap(ex &e1, ex &e2)
bool is_exactly_a(const basic &obj)
Check if obj is a T, not including base classes.
Makes the interface to the underlying bignum package available.
Definition of helper classes for expression output.
Function object for insertion into third argument of STL's sort() etc.
bool operator()(const expair &lh, const expair &rh) const
Function object not caring about the numerical coefficients for insertion into third argument of STL'...
bool operator()(const expair &lh, const expair &rh) const
void operator()(expair &lh, expair &rh) const