log_eval: don't apply the log(x^p) -> p*log(x) rule.
[ginac.git] / check / exam_inifcns.cpp
index 32368e6030a9d92d747ffccf2c2e84c0a1634ecd..3a1a36b5bd8d3c615a8ee3211efd782626e0a84a 100644 (file)
@@ -310,9 +310,6 @@ static unsigned inifcns_consist_log()
        if (!e1.is_equal(e2))
                ++result;
 
-       if (!ex(log(pow(p,a))).is_equal(a*log(p)))
-               ++result;
-
        // shall not do for non-real powers
        if (ex(log(pow(p,z))).is_equal(z*log(p)))
                ++result;