author Christian Bauer Sat, 13 Dec 2003 19:04:38 +0000 (19:04 +0000) committer Christian Bauer Sat, 13 Dec 2003 19:04:38 +0000 (19:04 +0000)

index 1104ebe9ed3c9ffc47c4358e9e40ce0a823e9772..21d40c9aba562e42f11c1df0de304cebff0d2f45 100644 (file)
@@ -375,7 +375,7 @@ static unsigned exam_paranoia15()
static unsigned exam_paranoia16()
{
unsigned result = 0;
static unsigned exam_paranoia16()
{
unsigned result = 0;
-       symbol a("a"), b("b"), c("c"), d("d");
+       symbol a("a"), b("b"), c("c"), d("d"), e("e");
ex e1, e2, e3;

e1 = pow(1+a*sqrt(b+c), 2);
ex e1, e2, e3;

e1 = pow(1+a*sqrt(b+c), 2);
@@ -402,6 +402,30 @@ static unsigned exam_paranoia16()
++result;
}

++result;
}

+       e1 = pow(sqrt(a+b)+sqrt(c+d), 3);
+       e2 = e1.expand();
+
+       if (e2.has(3*(a+b)*sqrt(c+d)) || e2.has(3*(c+d)*sqrt(a+b))) {
+               clog << "expand(" << e1 << ") didn't fully expand\n";
+               ++result;
+       }
+
+       e1 = a*(b+c*(d+e));
+       e2 = e1.expand();
+
+       if (e2.has(c*(d+e))) {
+               clog << "expand(" << e1 << ") didn't fully expand\n";
+               ++result;
+       }
+
+       e1 = 2*pow(1+a, 2)/a;
+       e2 = e1.expand();
+
+       if (e2.has(pow(a, 2))) {
+               clog << "expand(" << e1 << ") didn't fully expand\n";
+               ++result;
+       }
+
return result;
}

return result;
}