1/1/e expanded e but shouldn't
[ginac.git] / check / exam_paranoia.cpp
index 21d40c9aba562e42f11c1df0de304cebff0d2f45..cbab84dfe6d6fff7772032f7f4a22e7fc7d63e23 100644 (file)
@@ -426,6 +426,14 @@ static unsigned exam_paranoia16()
                ++result;
        }
 
+       e1 = a*(a+b);
+       e2 = pow(pow(e1, -1), -1);
+
+       if (e2.has(a*b)) {
+               clog << "double reciprocal expanded where it should not\n";
+               ++result;
+       }
+
        return result;
 }