]> www.ginac.de Git - ginac.git/blobdiff - check/time_vandermonde.cpp
G_numeric: put convergence/acceleration transofrmations into helper functions.
[ginac.git] / check / time_vandermonde.cpp
index cfef6ea2be13b94777c095f2f19949db174f1a7f..ce0b286d3d5746c2894dd5aa7ecabf57aa6070df 100644 (file)
@@ -7,7 +7,7 @@
  */
 
 /*
- *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
+ *  GiNaC Copyright (C) 1999-2008 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
  *
  *  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 <iostream>
+#include <vector>
+#include "ginac.h"
+#include "timer.h"
+using namespace std;
+using namespace GiNaC;
 
 static unsigned vandermonde_det(unsigned size)
 {
-    unsigned result = 0;
-    symbol a("a");
-    
-    // construct Vandermonde matrix:
-    matrix M(size,size);
-    for (unsigned ro=0; ro<size; ++ro) {
-        for (unsigned co=0; co<size; ++co) {
-            if (ro%2)
-                M.set(ro,co,pow(-pow(a,1+ro/2),co));
-            else
-                M.set(ro,co,pow(pow(a,1+ro/2),co));
-        }
-    }
-    
-    // compute determinant:
-    ex vdet = M.determinant();
-    
-    // dirty consistency check of result:
-    if (!vdet.subs(a==1).is_zero()) {
-        clog << "Determaint of Vandermonde matrix " << endl
-             << "M==" << M << endl
-             << "was miscalculated: det(M)==" << vdet << endl;
-        ++result;
-    }
-    
-    return result;
+       unsigned result = 0;
+       const symbol a("a");
+
+       // construct Vandermonde matrix:
+       matrix M(size,size);
+       for (unsigned ro=0; ro<size; ++ro) {
+               for (unsigned co=0; co<size; ++co) {
+                       if (ro%2)
+                               M(ro,co) = pow(-pow(a,1+ro/2),co);
+                       else
+                               M(ro,co) = pow(pow(a,1+ro/2),co);
+               }
+       }
+
+       // compute determinant:
+       ex det = M.determinant();
+
+       // check the result:
+       ex vanddet = 1;
+       for (unsigned i=0; i<size; ++i)
+               for (unsigned j=0; j<i; ++j)
+                       vanddet *= M(i,1) - M(j,1);
+
+       if (expand(det - vanddet) != 0) {
+               clog << "Determaint of Vandermonde matrix " << endl
+                    << "M==" << M << endl
+                    << "was miscalculated: det(M)==" << det << endl;
+               ++result;
+       }
+
+       return result;
 }
 
-unsigned time_vandermonde(void)
+unsigned time_vandermonde()
+{
+       unsigned result = 0;
+       
+       cout << "timing determinant of univariate symbolic Vandermonde matrices" << flush;
+       
+       vector<unsigned> sizes;
+       vector<double> times;
+       timer swatch;
+       
+       sizes.push_back(8);
+       sizes.push_back(10);
+       sizes.push_back(12);
+       sizes.push_back(14);
+       
+       for (vector<unsigned>::iterator i=sizes.begin(); i!=sizes.end(); ++i) {
+               int count = 1;
+               swatch.start();
+               result += vandermonde_det(*i);
+               // correct for very small times:
+               while (swatch.read()<0.02) {
+                       vandermonde_det(*i);
+                       ++count;
+               }
+               times.push_back(swatch.read()/count);
+               cout << '.' << flush;
+       }
+       
+       // print the report:
+       cout << endl << "       dim:   ";
+       for (vector<unsigned>::iterator i=sizes.begin(); i!=sizes.end(); ++i)
+               cout << '\t' << *i << 'x' << *i;
+       cout << endl << "       time/s:";
+       for (vector<double>::iterator i=times.begin(); i!=times.end(); ++i)
+               cout << '\t' << *i;
+       cout << endl;
+       
+       return result;
+}
+
+extern void randomify_symbol_serials();
+
+int main(int argc, char** argv)
 {
-    unsigned result = 0;
-    
-    cout << "timing determinant of univariate symbolic Vandermonde matrices" << flush;
-    clog << "-------determinant of univariate symbolic Vandermonde matrices:" << endl;
-    
-    vector<unsigned> sizes;
-    vector<double> times;
-    timer swatch;
-    
-    sizes.push_back(4);
-    sizes.push_back(6);
-    sizes.push_back(8);
-    sizes.push_back(10);
-    
-    for (vector<unsigned>::iterator i=sizes.begin(); i!=sizes.end(); ++i) {
-        int count = 1;
-        swatch.start();
-        result += vandermonde_det(*i);
-        // correct for very small times:
-        while (swatch.read()<0.02) {
-            vandermonde_det(*i);
-            ++count;
-        }
-        times.push_back(swatch.read()/count);
-        cout << '.' << flush;
-    }
-    
-    if (!result) {
-        cout << " passed ";
-        clog << "(no output)" << endl;
-    } else {
-        cout << " failed ";
-    }
-    // print the report:
-    cout << endl << "    dim:   ";
-    for (vector<unsigned>::iterator i=sizes.begin(); i!=sizes.end(); ++i)
-        cout << '\t' << *i << 'x' << *i;
-    cout << endl << "    time/s:";
-    for (vector<double>::iterator i=times.begin(); i!=times.end(); ++i)
-        cout << '\t' << int(1000*(*i))*0.001;
-    cout << endl;
-    
-    return result;
+       randomify_symbol_serials();
+       cout << setprecision(2) << showpoint;
+       return time_vandermonde();
 }