* unequal or undecidable). */
relational::operator relational::safe_bool() const
{
- const ex df = lh-rh;
+ const ex df = lh-rh; // like ::canonical() method
// We treat numeric and symbolic expression differently
if (is_exactly_a<numeric>(df)) {
switch (o) {
}
}
+/** Returns an equivalent relational with zero right-hand side.
+ */
+ex relational::canonical() const
+{
+ return relational(lh-rh, _ex0, o);
+}
+
} // namespace GiNaC