11

11.txt

@@ -0,0 +1,47 @@
+wn@baikonur:~/Documents/workspace-python/RuleOfCramer$ python main.py 
+0.000000 0.000000: Starting ...
+0.000034 0.000034: Generating system started
+0.000235 0.000201: Generating system done
+0.000258 0.000023: Calculating determinant started
+434.051536 434.051278: J for 11 generated, 39916800 entries
+670.586017 236.534481: Calculating determinant done, 439084800 steps
+670.614702 0.028685: Calculating determinant started
+670.614783 0.000081: J for 11 taken from cache
+905.880503 235.265720: Calculating determinant done, 439084800 steps
+905.880758 0.000255: Calculating determinant started
+905.880860 0.000102: J for 11 taken from cache
+1142.484297 236.603437: Calculating determinant done, 439084800 steps
+1142.484772 0.000475: Calculating determinant started
+1142.484838 0.000066: J for 11 taken from cache
+1378.728299 236.243461: Calculating determinant done, 439084800 steps
+1378.728583 0.000284: Calculating determinant started
+1378.728650 0.000067: J for 11 taken from cache
+1615.989283 237.260633: Calculating determinant done, 439084800 steps
+1615.989580 0.000297: Calculating determinant started
+1615.989644 0.000064: J for 11 taken from cache
+1850.350366 234.360722: Calculating determinant done, 439084800 steps
+1850.352438 0.002072: Calculating determinant started
+1850.352969 0.000531: J for 11 taken from cache
+2086.501693 236.148724: Calculating determinant done, 439084800 steps
+2086.503830 0.002137: Calculating determinant started
+2086.503932 0.000102: J for 11 taken from cache
+2320.930195 234.426263: Calculating determinant done, 439084800 steps
+2320.932179 0.001984: Calculating determinant started
+2320.932271 0.000092: J for 11 taken from cache
+2556.479044 235.546773: Calculating determinant done, 439084800 steps
+2556.485020 0.005976: Calculating determinant started
+2556.485102 0.000082: J for 11 taken from cache
+2791.211174 234.726072: Calculating determinant done, 439084800 steps
+2791.211470 0.000296: Calculating determinant started
+2791.211536 0.000066: J for 11 taken from cache
+3027.993508 236.781972: Calculating determinant done, 439084800 steps
+3027.994046 0.000538: Calculating determinant started
+3027.994164 0.000118: J for 11 taken from cache
+3262.178321 234.184157: Calculating determinant done, 439084800 steps
+3262.205026 0.026705: Solved
+11
+[[589.1748313096576, 189.65572530541363, 885.3740488104721, 227.20244113949283, 662.337244894588, 628.8690943510138, 500.72047295445344, 522.1700145510232, 929.6133997060421, 813.8554052074514, 185.62946757712763], [856.8283918078503, 450.9065968188861, 971.0430866719986, 614.6358404719833, 218.57399013987268, 774.9059454886361, 151.81262440317732, 876.9863661625792, 530.9287696445944, 303.88159359308406, 302.0440729846151], [472.23718551916363, 278.2879272235922, 884.8324637936462, 643.1037394547728, 935.225578245431, 633.5337660935837, 119.02072439319412, 933.8484125811716, 80.66543575792862, 575.3540805808773, 697.4480698822857], [798.6704591505616, 659.1561718089962, 868.6766714018225, 994.0798161750074, 311.98901142346847, 464.0806898265985, 539.6528018588498, 899.7238580562037, 713.34122824539, 168.42472655439778, 423.8753546105708], [677.1438204835024, 489.6627286695461, 937.1097796884864, 982.8796420626177, 893.3144858495978, 7.593379575205561, 759.4449022104666, 708.8570013129255, 821.6440115492587, 920.3123050486157, 172.87624860762574], [819.6792127204297, 914.3088812098424, 224.57257105804507, 204.36101611286128, 869.0822198356027, 118.77441988050363, 898.9586917257893, 528.5684994448563, 803.4456675575467, 444.8900943503951, 410.9753396111526], [600.4818274079626, 421.0227608633956, 544.5905338416684, 197.57548959151117, 655.8223943174321, 284.2539273034954, 794.714420237604, 679.0287907926719, 425.5652408389817, 918.6786431119175, 981.0252742554047], [171.30105003510053, 618.3936271242117, 547.7565216838201, 170.84449148066372, 531.2777441520957, 171.15865239620388, 337.9297273176236, 404.42195224881795, 544.0213307806621, 996.4770034069484, 274.50890124692694], [56.360937872850016, 163.89745121309772, 284.60016178945045, 439.01807780143463, 783.7482791047178, 894.3355135972429, 136.185839201154, 411.9680331626698, 756.8216665891903, 962.3101127520785, 998.2929809276013], [476.1312522155713, 374.00971112365625, 828.5886087201419, 823.3541069490558, 989.1855537940869, 580.923662068398, 144.29117003092273, 364.7657938207078, 370.9292279436661, 937.8889778145419, 903.4871290058305], [678.9111900894117, 149.58493154622786, 7.6694696984696, 18.896462353986898, 473.76413348303845, 59.69893796837755, 896.1448680803359, 115.16810901721819, 47.65898469016794, 431.53035148458054, 661.4685560765676], [824.8186496638382, 763.3896467745652, 115.61375697698418, 548.5463631979774, 424.40092196878777, 911.4244910599032, 648.0328366722591, 22.03180847210662, 518.6787673023119, 442.05105958631754, 21.634074628760768]]
+[-0.06345763639003978, 0.43086212005064517, 0.37821751125053416, 0.9987892239393674, -0.5662135146629753, -0.2595794546665318, -3.6700954756488526, 2.382143383445299, 0.7676943013015535, -0.4927876118476614, 3.0932249409512425]
+(False, 2.580723190703793e-09, [2.3646862246096134e-09, 4.893081495538354e-10, 7.263878387675504e-10, 2.767137630144134e-10, 1.3751559890806675e-09, -3.3526248444104567e-10, 2.129695531039033e-09, 8.780460802881862e-10, -6.617710823775269e-10, 9.715108717500698e-10, 2.580723190703793e-09])
+
+wn@baikonur:~/Documents/workspace-python/RuleOfCramer$ 

main.py

@@ -131,18 +131,19 @@ def verify(m, v):
 #g = [[8.019558599768107, 903.9449140455304, 919.612242767639, 753.9105365307668, 59.01030128588536, 920.4023338915356, 202.58884034378954, 431.09289053573997, 339.17491130065537, 313.11544472585905], [317.26651051567023, 727.3387587224795, 152.77343043145507, 408.44599685908923, 155.79032672640025, 425.6401391270683, 864.8657207590146, 298.9063131849389, 430.3786466384899, 425.29127250155807], [865.8564877305874, 669.481784333669, 538.9130960586408, 961.8480073483083, 753.9136870076827, 912.3571914611318, 929.0546428258709, 873.5276061317886, 459.59802608296684, 455.8093236762648], [318.8613025219013, 497.149024070492, 343.8577826382859, 780.6069003672162, 319.67906522418554, 628.3446507753014, 37.526503978800974, 490.48198671795006, 527.0266127960343, 180.8362568347207], [156.8237212311948, 510.1641000612821, 229.2078194439, 637.1024703370609, 972.0604419040393, 571.3909858582223, 184.34543232118418, 479.07607501617986, 382.12667148701297, 150.05251231416116], [297.8478733948842, 981.2792974599201, 271.8121041641507, 990.1956266273802, 645.839991521914, 288.9135934264093, 845.7496599336642, 19.88633912497506, 97.46153065555741, 343.1102890796861], [384.5208626880663, 145.38972551894247, 560.1624430301523, 224.07537517241872, 704.7921876231894, 781.2588369275445, 752.0786768851573, 77.91470589306748, 851.5354388193074, 146.64240712820654], [252.4899031289375, 928.4755757806711, 176.3416092863044, 914.652591937962, 379.5647442648579, 418.6432906860023, 397.44937187401274, 943.8352970973906, 495.8158468453109, 746.6463673774376], [330.80903398935936, 560.2262982840332, 881.0811315973745, 181.77380227358952, 315.50808931102347, 158.5072721277919, 947.7031957044982, 929.3796342482069, 131.55810107335486, 982.8660461523164], [310.9354667285096, 770.115136026887, 334.49254019770905, 236.96386990210726, 918.8431629974137, 893.3379619077041, 431.3668259114833, 285.69624238120986, 64.53926288027478, 799.2392946390154], [20.70259163693389, 306.46447894527165, 420.64284211501723, 37.622373302959474, 336.4417266492545, 247.6600784425259, 215.21800533449152, 426.10683135701044, 783.5055424440518, 817.507304763315]]
 
 
-for i in range(2, 10+1):
-    log("Starting ...", reset=True)
-    g = generate(i, 0.0, 1000.0)
+i = 11
 
-    v = solve(g)
-    log("Solved")
-    print(i)
-    print(g)
-    print(v)
+log("Starting ...", reset=True)
+g = generate(i, 0.0, 1000.0)
 
-    e = verify(g, v)
-    print(e)
-    print
+v = solve(g)
+log("Solved")
+print(i)
+print(g)
+print(v)
+    
+e = verify(g, v)
+print(e)
+print