-- berechne den rank der jacobi matrizen und -- produziere sql statements restart -- lade Dateinamen (eingabefile, ausgabefile) load"filenames.m2" -- lade Ergebnisse aus Martins Programm time load eingabefile -- wandele true in 1 und false in 0 um boolean = (s) -> if s then 1 else 0 -- sql querry um die Stammdaten einzutragen f = ausgabefile << "insert into experiment set " << endl; f << "p = " << p << endl; f << ", maxStrudel = " << maxStrudel << endl; f << ", minNullen = " << minNullen << endl; f << ", epsilon = " << boolean(epsilon) << endl; f << ", grad = " << grad << endl; f << ", jacobi = " << boolean(jacobi) << endl; f << ", anzZufall = " << anzZufall << endl; f << ", zufallInit = " << zufallInit << endl; f << ", zeitAlsZufall = " << boolean(zeitAlsZufall) << endl; f << ", rechneBisMaxStrudel = " << boolean(rechneBisMaxStrudel) f << ", benutzeFormel1 = " << boolean(benutzeFormel1) apply(maxStrudel+1,i -> f << ", stat" << i << " = " << statistik#i << endl); f << ";" << endl; -- << flush << close -- umwandeln von ganzen zahlen in Koerperelemente fp = map(Fp,ZZ); -- sql querry um einen ergebnispunkt einzutragen entryToSql = (file,l) -> ( file << "insert into points set " << endl; file << "zufallInit = " << zufallInit << "," << endl; file << "p20 = " << l#0#0#0 << "," << endl; file << "p11 = " << l#0#0#1 << "," << endl; file << "p02 = " << l#0#0#2 << "," << endl; file << "q20 = " << l#0#1#0 << "," << endl; file << "q11 = " << l#0#1#1 << "," << endl; file << "q02 = " << l#0#1#2 << "," << endl; file << "p30 = " << l#0#2#0 << "," << endl; file << "p21 = " << l#0#2#1 << "," << endl; file << "p12 = " << l#0#2#2 << "," << endl; file << "p03 = " << l#0#2#3 << "," << endl; file << "q30 = " << l#0#3#0 << "," << endl; file << "q21 = " << l#0#3#1 << "," << endl; file << "q12 = " << l#0#3#2 << "," << endl; file << "q03 = " << l#0#3#3 << "," << endl; file << "anzStrudelNull = " << l#1 << "," << endl; file << "rankJacobi = " << (rank fp(matrix l#3)) << ";" << endl; ) -- alle punkte eintragen time tally apply(L, l-> entryToSql(f,l)) -- Datei schliessen f << flush << close 0/0