/** A pair of expressions.
* This similar to, but slightly extended STL's pair<> but we need to account
/** A pair of expressions.
* This similar to, but slightly extended STL's pair<> but we need to account
*/
if (is_ex_exactly_of_type(rest,numeric) &&
is_ex_exactly_of_type(other.rest,numeric)) {
*/
if (is_ex_exactly_of_type(rest,numeric) &&
is_ex_exactly_of_type(other.rest,numeric)) {
// both have coeff 1: compare rests
return rest.compare(other.rest)<0;
}
// only this has coeff 1: >
return false;
// both have coeff 1: compare rests
return rest.compare(other.rest)<0;
}
// only this has coeff 1: >
return false;
{
if (is_ex_exactly_of_type(rest,numeric) &&
is_ex_exactly_of_type(other.rest,numeric)) {
{
if (is_ex_exactly_of_type(rest,numeric) &&
is_ex_exactly_of_type(other.rest,numeric)) {
// both have coeff 1: compare rests
return rest.compare(other.rest);
}
// only this has coeff 1: >
return 1;
// both have coeff 1: compare rests
return rest.compare(other.rest);
}
// only this has coeff 1: >
return 1;