X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Ftime_lw_Qprime.cpp;h=b69cb91eca5590af79fc367137b51ce939a1b6e4;hp=b60ba11b3cdf0eb7b19781c71b42454b379a794c;hb=c77b5c8466b3d0a007146b435c4635ccf3fbf373;hpb=a43a2fe7d9df31529647c66dcfb9cad544ffd369 diff --git a/check/time_lw_Qprime.cpp b/check/time_lw_Qprime.cpp index b60ba11b..b69cb91e 100644 --- a/check/time_lw_Qprime.cpp +++ b/check/time_lw_Qprime.cpp @@ -4,7 +4,7 @@ * Lewis and Michael Wester. */ /* - * GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2003 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 @@ -22,68 +22,80 @@ */ #include "times.h" -#include "time_lw_w101n.h" -static unsigned test(void) +static const bool do_test = true; // set to true in order to run this beast + +static unsigned test() { - matrix m(101,101); - symbol lambda("lambda"); - for (unsigned r=0; r<101; ++r) { - for (unsigned c=0; c<10; ++c) { - m.set(r, - unsigned(ex_to_numeric(w101_numeric[r][2*c+1]).to_int()-1), - w101_numeric[r][2*c+2]); - } - } - matrix m2(m); - ex a; - for (unsigned r=0; r<101; ++r) { - a = m2(r,0); - for (unsigned c=0; c<100; ++c) { - m2.set(r,c,m2(r,c+1)); - } - m2.set(r,100,a); - } - for (unsigned r=0; r<101; ++r) { - for (unsigned c=0; c<101; ++c) { - if (!m(r,c).is_zero()) - m2.set(r,c,m(r,c)); - } - } - ex cp = m2.charpoly(lambda); - - if (cp.coeff(lambda,0) != numeric("140816284877507872414776")) { - clog << "characteristic polynomial miscalculated as " << cp << endl; - return 1; - } - return 0; + // same matrix as in test P': + const unsigned n = 10; + matrix m(n*n+1,n*n+1); + for (unsigned i=1; i<=n*n; ++i) + m.set(i-1,i-1,1); + for (unsigned i=1; i<=n*n; ++i) + if (!(i%n)) + m.set(i-1,n*n,1); + for (unsigned i=1; i<=n*n; ++i) + if (!((i-1)%n)) + m.set(n*n,i-1,n-(i-1)/n); + for(unsigned i=1; i<=n; ++i) + for (unsigned j=1; j<=n; ++j) + if (i-j) + for (unsigned k=1; k