X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=blobdiff_plain;f=check%2Ftime_lw_P.cpp;h=ea67414cd5b2111cb5f96da8237b0d2792d4492e;hp=ecdebae97828e1e1af797eea1fe50d64a10b2f17;hb=8cffcdf13d817a47f217f1a1043317d95969e070;hpb=383d5eb3b0f0506810d9105a268f939125bfc347 diff --git a/check/time_lw_P.cpp b/check/time_lw_P.cpp index ecdebae9..ea67414c 100644 --- a/check/time_lw_P.cpp +++ b/check/time_lw_P.cpp @@ -4,7 +4,7 @@ * Lewis and Michael Wester. */ /* - * GiNaC Copyright (C) 1999-2001 Johannes Gutenberg University Mainz, Germany + * GiNaC Copyright (C) 1999-2019 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 @@ -18,12 +18,18 @@ * * You should have received a copy of the GNU General Public License * along with this program; if not, write to the Free Software - * Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA + * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301 USA */ -#include "times.h" +#include "ginac.h" +#include "timer.h" +using namespace GiNaC; -static unsigned test(void) +#include +#include +using namespace std; + +static unsigned test() { // This is a pattern that comes up in graph theory: const unsigned n = 10; @@ -51,7 +57,7 @@ static unsigned test(void) return 0; } -unsigned time_lw_P(void) +unsigned time_lw_P() { unsigned result = 0; unsigned count = 0; @@ -59,7 +65,6 @@ unsigned time_lw_P(void) double time = .0; cout << "timing Lewis-Wester test P (det of sparse rank 101)" << flush; - clog << "-------Lewis-Wester test P (det of sparse rank 101)" << endl; rolex.start(); // correct for very small times: @@ -67,15 +72,16 @@ unsigned time_lw_P(void) result = test(); ++count; } while ((time=rolex.read())<0.1 && !result); - cout << '.' << flush; - - if (!result) { - cout << " passed "; - clog << "(no output)" << endl; - } else { - cout << " failed "; - } - cout << int(1000*(time/count))*0.001 << 's' << endl; + cout << time/count << 's' << endl; return result; } + +extern void randomify_symbol_serials(); + +int main(int argc, char** argv) +{ + randomify_symbol_serials(); + cout << setprecision(2) << showpoint; + return time_lw_P(); +}