search

haskell-numerics / hmatrix

Linear algebra and numerical computation
381 stars 104 forks source link

Falsifiable cholSolve in hmatrix_tests 0.6.0.0 running against hmatrix-0.18.2.0 #271

Open blackgnezdo opened 6 years ago

blackgnezdo commented 6 years ago

------ index +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ mult Double +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ sub-trans +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ ctrans +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ lu +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ inv (linearSolve) +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ luSolve +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ ldlSolve +++ OK, passed 100 tests. +++ OK, passed 100 tests. ------ cholSolve +++ OK, passed 100 tests. *** Failed! Falsifiable (after 79 tests): PosDef (9><9) [ 57.66915620295708 :+ 0.0, (-3.311361788479472e-2) :+ 0.38361076202342764, (-2.805725697392374) :+ 6.199511614574995, (-1.428514198073374) :+ 0.8142393117778745, 0.6141680455259783 :+ (-15.948815287146076), (-3.189988277069082) :+ 10.443939914824018, 11.297241281788454 :+ (-0.5098539757053837), (-1.164320886221014) :+ (-2.8433003894065756), (-4.262378622459654) :+ 5.945902393940636 , (-3.311361788479472e-2) :+ (-0.38361076202342764), 1.481628540742625 :+ 0.0, (-3.5370256777345945) :+ (-1.4712480107547783), (-2.6082262606636766) :+ (-5.176857765951126), (-0.21984045205152644) :+ (-0.11123770542427985), 4.770966873690265 :+ 0.28673058739599067, 0.8934221478467694 :+ (-0.47955629892006824), (-0.2783975656961226) :+ (-1.9370191675315382), (-1.2781813675394833) :+ (-0.9298495722243305) , (-2.805725697392374) :+ (-6.199511614574995), (-3.5370256777345945) :+ 1.4712480107547783, 71.29777612286135 :+ 0.0, 1.3935391391796763 :+ 5.736318455556584, 8.01281081234521 :+ (-5.123252611677184), 2.1418204896484996 :+ 0.8694101975043937, (-0.667053148193478) :+ (-7.62398056091482), 0.25695813062294937 :+ 11.40824340483007, (-1.8986217753209766) :+ (-4.8424611630243035) , (-1.428514198073374) :+ (-0.8142393117778745), (-2.6082262606636766) :+ 5.176857765951126, 1.3935391391796763 :+ (-5.736318455556584), 36.42308190682108 :+ 0.0, (-1.3621413704661887) :+ (-0.7428035713527827), 0.3466702782469464 :+ 0.5350873765258591, (-1.3419010353970566) :+ (-0.14045379427377158), 1.7491797624632826 :+ 0.4661978729350763, (-0.5694608632424873) :+ (-0.6143433803371805) , 0.6141680455259783 :+ 15.948815287146076, (-0.21984045205152644) :+ 0.11123770542427985, 8.01281081234521 :+ 5.123252611677184, (-1.3621413704661887) :+ 0.7428035713527827, 57.416766484323276 :+ 0.0, 7.898189079096303 :+ 3.7264350058987428, (-4.7014615170486955) :+ 4.42958048011992, (-1.0805036654244973) :+ 2.4891360876174744, (-0.7963122429671874) :+ (-12.32421793269286) , (-3.189988277069082) :+ (-10.443939914824018), 4.770966873690265 :+ (-0.28673058739599067), 2.1418204896484996 :+ (-0.8694101975043937), 0.3466702782469464 :+ (-0.5350873765258591), 7.898189079096303 :+ (-3.7264350058987428), 74.18833326539986 :+ 0.0, (-2.4433566550709926) :+ (-3.495399767908143), (-3.6625467776512317) :+ (-4.8218328883945505e-2), (-4.968326608510019) :+ (-5.692537444932544) , 11.297241281788454 :+ 0.5098539757053837, 0.8934221478467694 :+ 0.47955629892006824, (-0.667053148193478) :+ 7.62398056091482, (-1.3419010353970566) :+ 0.14045379427377158, (-4.7014615170486955) :+ (-4.42958048011992), (-2.4433566550709926) :+ 3.495399767908143, 59.50835719972485 :+ 0.0, (-2.166994760551426) :+ (-1.1789943749026657), (-22.592641907339583) :+ (-0.32180794259203127) , (-1.164320886221014) :+ 2.8433003894065756, (-0.2783975656961226) :+ 1.9370191675315382, 0.25695813062294937 :+ (-11.40824340483007), 1.7491797624632826 :+ (-0.4661978729350763), (-1.0805036654244973) :+ (-2.4891360876174744), (-3.6625467776512317) :+ 4.8218328883945505e-2, (-2.166994760551426) :+ 1.1789943749026657, 38.743548317006486 :+ 0.0, (-1.1945783383237414) :+ 0.4671678584070357 , (-4.262378622459654) :+ (-5.945902393940636), (-1.2781813675394833) :+ 0.9298495722243305, (-1.8986217753209766) :+ 4.8424611630243035, (-0.5694608632424873) :+ 0.6143433803371805, (-0.7963122429671874) :+ 12.32421793269286, (-4.968326608510019) :+ 5.692537444932544, (-22.592641907339583) :+ 0.32180794259203127, (-1.1945783383237414) :+ (-0.4671678584070357), 57.2848768639013 :+ 0.0 ]

idontgetoutmuch commented 6 years ago

Almost certainly a malformed test case.