* these oopses for good, so we run those stupid tests... */
/*
- * GiNaC Copyright (C) 1999-2010 Johannes Gutenberg University Mainz, Germany
+ * GiNaC Copyright (C) 1999-2011 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
return 0;
}
+// Bug in mul::conjugate when factors are evaluated at branch cuts, reported as
+// Sage bug #10964.
+static unsigned exam_paranoia19()
+{
+ symbol a("a");
+ ex e = conjugate(a*sqrt(ex(-2))*sqrt(ex(-3)));
+ ex c = a*conjugate(sqrt(ex(-2)))*conjugate(sqrt(ex(-3)));
+ if (!subs(e-c, a==42).is_zero()) {
+ clog << "subs(a*conjugate(sqrt(-2))*conjugate(sqrt(-3))-conjugate(a*sqrt(-2)*sqrt(-3)),a==42) failed to evaluate to 0\n";
+ return 1;
+ }
+ return 0;
+}
+
+// Bugs in is_polynomial (fixed 2011-05-20 and 2014-07-26).
+static unsigned exam_paranoia20()
+{
+ unsigned result = 0;
+ symbol x("x"), y("y");
+ 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";
+ ++result;
+ }
+ 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;
+ }
+ ex e3 = sqrt(x);
+ if (!e3.is_polynomial(y)) {
+ clog << "sqrt(x) is wrongly reported to be no polynomial in y\n";
+ ++result;
+ }
+ ex e4 = (1+y)/(2+x);
+ if (e4.is_polynomial(x)) {
+ clog << "(1+y)/(2+x) is wrongly reported to be a polynomial in x\n";
+ ++result;
+ }
+ return result;
+}
+
unsigned exam_paranoia()
{
unsigned result = 0;
result += exam_paranoia16(); cout << '.' << flush;
result += exam_paranoia17(); cout << '.' << flush;
result += exam_paranoia18(); cout << '.' << flush;
+ result += exam_paranoia19(); cout << '.' << flush;
+ result += exam_paranoia20(); cout << '.' << flush;
return result;
}