From e854485ee2e173bdc29d66c84fd5ebb845d2d751 Mon Sep 17 00:00:00 2001 From: Richard Kreckel Date: Wed, 3 Jul 2002 21:33:20 +0000 Subject: [PATCH] * Enable tests N, Q and Q' by default. Rationale: Hubert finally is buying new cool hardware. ;-) * New test for expanding x^(x-1)*x. Complain to JvdH. ;-) --- check/exam_misc.cpp | 18 ++++++++++++++++++ check/time_lw_N.cpp | 2 +- check/time_lw_Q.cpp | 2 +- check/time_lw_Qprime.cpp | 2 +- 4 files changed, 21 insertions(+), 3 deletions(-) diff --git a/check/exam_misc.cpp b/check/exam_misc.cpp index 849dc5ad..1d1860c3 100644 --- a/check/exam_misc.cpp +++ b/check/exam_misc.cpp @@ -226,6 +226,23 @@ static unsigned exam_subs(void) return result; } +/* Joris van der Hoeven (he of TeXmacs fame) is a funny guy. He has his own + * ideas what a symbolic system should do. Let's make sure we won't disappoint + * him some day. Incidentally, this seems to always have worked. */ +static unsigned exam_joris(void) +{ + unsigned result = 0; + symbol x("x"); + + ex e = expand(pow(x, x-1) * x); + if (e != pow(x, x)) { + clog << "x^(x-1)*x did not expand to x^x. Please call Joris!" << endl; + ++result; + } + + return result; +} + unsigned exam_misc(void) { unsigned result = 0; @@ -239,6 +256,7 @@ unsigned exam_misc(void) result += exam_sqrfree(); cout << '.' << flush; result += exam_operator_semantics(); cout << '.' << flush; result += exam_subs(); cout << '.' << flush; + result += exam_joris(); cout << '.' << flush; if (!result) { cout << " passed " << endl; diff --git a/check/time_lw_N.cpp b/check/time_lw_N.cpp index 596a4686..2c3282d2 100644 --- a/check/time_lw_N.cpp +++ b/check/time_lw_N.cpp @@ -24,7 +24,7 @@ #include "times.h" -static const bool do_test = false; // set to true in order to run this beast +static const bool do_test = true; // set to true in order to run this beast static unsigned test(void) { diff --git a/check/time_lw_Q.cpp b/check/time_lw_Q.cpp index 9a9365c6..00c70926 100644 --- a/check/time_lw_Q.cpp +++ b/check/time_lw_Q.cpp @@ -23,7 +23,7 @@ #include "times.h" -static const bool do_test = false; // set to true in order to run this beast +static const bool do_test = true; // set to true in order to run this beast static unsigned test(void) { diff --git a/check/time_lw_Qprime.cpp b/check/time_lw_Qprime.cpp index 72f0e586..c6ea6907 100644 --- a/check/time_lw_Qprime.cpp +++ b/check/time_lw_Qprime.cpp @@ -23,7 +23,7 @@ #include "times.h" -static const bool do_test = false; // set to true in order to run this beast +static const bool do_test = true; // set to true in order to run this beast static unsigned test(void) { -- 2.49.0