X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_paranoia.cpp;h=52d261c8b46712962084e373de2de19ae28603c2;hp=972270f835c22a92795fb096a91f0685f4fb4a66;hb=798d53ebb4da4e8e3865ed7bd7f31412fe2be3a7;hpb=293ff6f6fe89c3e5413c8da57feedf3bd2016cd7

diff --git a/check/exam_paranoia.cpp b/check/exam_paranoia.cpp
index 972270f8..52d261c8 100644
--- a/check/exam_paranoia.cpp
+++ b/check/exam_paranoia.cpp
@@ -497,13 +497,19 @@ static unsigned exam_paranoia19()
 // Bug in expairseq::is_polynomial (fixed 2011-05-20).
 static unsigned exam_paranoia20()
 {
+	unsigned result = 0;
 	symbol x("x");
-	ex e = sqrt(x*x+1)*sqrt(x+1);
-	if (e.is_polynomial(x)) {
+	ex e1 = sqrt(x*x+1)*sqrt(x+1);
+	if (e1.is_polynomial(x)) {
 		clog << "sqrt(x*x+1)*sqrt(x+1) is wrongly reported to be a polynomial in x\n";
-		return 1;
+		++result;
 	}
-	return 0;
+	ex e2 = sqrt(Pi)*x;
+	if (!e2.is_polynomial(x)) {
+		clog << "sqrt(Pi)*x is wrongly reported to be no polynomial in x\n";
+		++result;
+	}
+	return result;
 }
 
 unsigned exam_paranoia()