X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_paranoia.cpp;h=b5ae9baf416ccc573411c27fb5487a3db98eea6e;hp=c1df502c9282282311ee536513d326219c23be96;hb=fe05a95540836868b2c0e57c6e61de59bc84a65d;hpb=68fdf425abf14d016d5f95ee7b9d06a19a3c5926

diff --git a/check/exam_paranoia.cpp b/check/exam_paranoia.cpp
index c1df502c..b5ae9baf 100644
--- a/check/exam_paranoia.cpp
+++ b/check/exam_paranoia.cpp
@@ -6,7 +6,7 @@
  *  these oopses for good, so we run those stupid tests... */
 
 /*
- *  GiNaC Copyright (C) 1999-2003 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2004 Johannes Gutenberg University Mainz, Germany
  *
  *  This program is free software; you can redistribute it and/or modify
  *  it under the terms of the GNU General Public License as published by
@@ -370,6 +370,73 @@ static unsigned exam_paranoia15()
 	return result;
 }
 
+// Expanding products containing powers of sums could return results that
+// were not fully expanded. Fixed on Dec 10, 2003.
+static unsigned exam_paranoia16()
+{
+	unsigned result = 0;
+	symbol a("a"), b("b"), c("c"), d("d"), e("e");
+	ex e1, e2, e3;
+
+	e1 = pow(1+a*sqrt(b+c), 2);
+	e2 = e1.expand();
+
+	if (e2.has(pow(a, 2)*(b+c))) {
+		clog << "expand(" << e1 << ") didn't fully expand\n";
+		++result;
+	}
+
+	e1 = (d*sqrt(a+b)+a*sqrt(c+d))*(b*sqrt(a+b)+a*sqrt(c+d));
+	e2 = e1.expand();
+
+	if (e2.has(pow(a, 2)*(c+d))) {
+		clog << "expand(" << e1 << ") didn't fully expand\n";
+		++result;
+	}
+
+	e1 = (a+sqrt(b+c))*sqrt(b+c)*(d+sqrt(b+c));
+	e2 = e1.expand();
+
+	if (e2.has(a*(b+c))) {
+		clog << "expand(" << e1 << ") didn't fully expand\n";
+		++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;
+	}
+
+	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;
+}
+
 unsigned exam_paranoia()
 {
 	unsigned result = 0;
@@ -392,6 +459,7 @@ unsigned exam_paranoia()
 	result += exam_paranoia13();  cout << '.' << flush;
 	result += exam_paranoia14();  cout << '.' << flush;
 	result += exam_paranoia15();  cout << '.' << flush;
+	result += exam_paranoia16();  cout << '.' << flush;
 	
 	if (!result) {
 		cout << " passed " << endl;