Add trivial shortcuts in expair plumbing of class add.

[ginac.git] / ginac / add.cpp

diff --git a/ginac/add.cpp b/ginac/add.cpp
index 9110491e3246a7fc750f96fce18bdb3895e7fc24..ccd49240d3ba9e3713479d3baa6f8d446a6182b8 100644 (file)
--- a/ginac/add.cpp
+++ b/ginac/add.cpp
@@ -344,7 +344,7 @@ ex add::coeff(const ex & s, int n) const
 ex add::eval(int level) const
 {
        std::auto_ptr<epvector> evaled_seqp = evalchildren(level);
 ex add::eval(int level) const
 {
        std::auto_ptr<epvector> evaled_seqp = evalchildren(level);

-       if (evaled_seqp.get()) {
+       if (unlikely(evaled_seqp.get() != 0)) {

                // do more evaluation later
                return (new add(evaled_seqp, overall_coeff))->
                       setflag(status_flags::dynallocated);
                // do more evaluation later
                return (new add(evaled_seqp, overall_coeff))->
                       setflag(status_flags::dynallocated);


@@ -564,6 +564,8 @@ expair add::split_ex_to_pair(const ex & e) const
        if (is_exactly_a<mul>(e)) {
                const mul &mulref(ex_to<mul>(e));
                const ex &numfactor = mulref.overall_coeff;
        if (is_exactly_a<mul>(e)) {
                const mul &mulref(ex_to<mul>(e));
                const ex &numfactor = mulref.overall_coeff;

+               if (numfactor.is_equal(_ex1))
+                       return expair(e, _ex1);

                mul *mulcopyp = new mul(mulref);
                mulcopyp->overall_coeff = _ex1;
                mulcopyp->clearflag(status_flags::evaluated);
                mul *mulcopyp = new mul(mulref);
                mulcopyp->overall_coeff = _ex1;
                mulcopyp->clearflag(status_flags::evaluated);


@@ -581,6 +583,8 @@ expair add::combine_ex_with_coeff_to_pair(const ex & e,
        if (is_exactly_a<mul>(e)) {
                const mul &mulref(ex_to<mul>(e));
                const ex &numfactor = mulref.overall_coeff;
        if (is_exactly_a<mul>(e)) {
                const mul &mulref(ex_to<mul>(e));
                const ex &numfactor = mulref.overall_coeff;

+               if (numfactor.is_equal(_ex1))
+                       return expair(e, c);

                mul *mulcopyp = new mul(mulref);
                mulcopyp->overall_coeff = _ex1;
                mulcopyp->clearflag(status_flags::evaluated);
                mul *mulcopyp = new mul(mulref);
                mulcopyp->overall_coeff = _ex1;
                mulcopyp->clearflag(status_flags::evaluated);


@@ -588,13 +592,13 @@ expair add::combine_ex_with_coeff_to_pair(const ex & e,
                mulcopyp->setflag(status_flags::dynallocated);
                if (c.is_equal(_ex1))
                        return expair(*mulcopyp, numfactor);
                mulcopyp->setflag(status_flags::dynallocated);
                if (c.is_equal(_ex1))
                        return expair(*mulcopyp, numfactor);

-               else if (numfactor.is_equal(_ex1))
-                       return expair(*mulcopyp, c);

                else
                        return expair(*mulcopyp, ex_to<numeric>(numfactor).mul_dyn(ex_to<numeric>(c)));
        } else if (is_exactly_a<numeric>(e)) {
                if (c.is_equal(_ex1))
                        return expair(e, _ex1);
                else
                        return expair(*mulcopyp, ex_to<numeric>(numfactor).mul_dyn(ex_to<numeric>(c)));
        } else if (is_exactly_a<numeric>(e)) {
                if (c.is_equal(_ex1))
                        return expair(e, _ex1);

+               if (e.is_equal(_ex1))
+                       return expair(c, _ex1);

                return expair(ex_to<numeric>(e).mul_dyn(ex_to<numeric>(c)), _ex1);
        }
        return expair(e, c);
                return expair(ex_to<numeric>(e).mul_dyn(ex_to<numeric>(c)), _ex1);
        }
        return expair(e, c);