X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Fexam_paranoia.cpp;h=7977bd2e88f5440990f2c4b389237f726a0cb1f3;hp=7a64e52cc1ab28acdcbc929ffd3d3a66174b365d;hb=3563317bdfee90677c041bf1cb585ad220e9b7d3;hpb=4eff40dfafb72aeb484910c9ecef791b95332e9f

diff --git a/check/exam_paranoia.cpp b/check/exam_paranoia.cpp
index 7a64e52c..7977bd2e 100644
--- a/check/exam_paranoia.cpp
+++ b/check/exam_paranoia.cpp
@@ -504,6 +504,17 @@ static unsigned exam_paranoia20()
 	return result;
 }
 
+static unsigned exam_mul_info()
+{
+	symbol x("x"), y("y");
+	ex e = x*y;
+	if (!e.info(info_flags::indefinite)) {
+		clog << "eek, product of two symbols is NOT indefinite\n";
+		return 1;
+	}
+	return 0;
+}
+
 static unsigned is_polynomial_false_positive()
 {
 	unsigned result = 0;
@@ -699,6 +710,7 @@ unsigned exam_paranoia()
 	result += exam_paranoia18();  cout << '.' << flush;
 	result += exam_paranoia19();  cout << '.' << flush;
 	result += exam_paranoia20();  cout << '.' << flush;
+	result += exam_mul_info(); cout << '.' << flush;
 	result += is_polynomial_false_positive(); cout << '.' << flush;
 	result += exam_paranoia21();  cout << '.' << flush;
 	result += exam_paranoia22();  cout << '.' << flush;