Closed staplejw closed 6 years ago
Failure in: 6:RoundTrip:7:0:t_cauchy_linear_transformation:0 haskell/Tests/TestTools.hs:130 expected: stdNormal = p <~ normal(nat2real(0), nat2prob(1)) return p stdCauchy = X1 <~ stdNormal X2 <~ stdNormal return X1 / X2 cauchy = fn a real: fn alpha prob: X <~ stdCauchy return a + prob2real(alpha) X X <~ cauchy(nat2real(7), nat2prob(2)) return X but got: p5 <~ normal(+0/1, 1/1) p3 <~ normal(+0/1, 1/1) return (p5 (+2/1) + p3 * (+7/1)) / p3 Cases: 338 Tried: 287 Errors: 2 Failures: 20
Failure in: 6:RoundTrip:7:0:t_cauchy_linear_transformation:1 haskell/Tests/TestTools.hs:130 expected: stdNormal = p <~ normal(nat2real(0), nat2prob(1)) return p stdCauchy = X1 <~ stdNormal X2 <~ stdNormal return X1 / X2 cauchy = fn a real: fn alpha prob: X <~ stdCauchy return a + prob2real(alpha) X X <~ cauchy(nat2real(7), nat2prob(2)) return X but got: p5 <~ normal(+0/1, 1/1) p3 <~ normal(+0/1, 1/1) return (p5 (+2/1) + p3 * (+7/1)) / p3 Cases: 338 Tried: 288 Errors: 2 Failures: 21
Failure in: 6:RoundTrip:7:0:t_cauchy_linear_transformation:0 haskell/Tests/TestTools.hs:130 expected: stdNormal = p <~ normal(nat2real(0), nat2prob(1)) return p stdCauchy = X1 <~ stdNormal X2 <~ stdNormal return X1 / X2 cauchy = fn a real: fn alpha prob: X <~ stdCauchy return a + prob2real(alpha) X X <~ cauchy(nat2real(7), nat2prob(2)) return X but got: p5 <~ normal(+0/1, 1/1) p3 <~ normal(+0/1, 1/1) return (p5 (+2/1) + p3 * (+7/1)) / p3 Cases: 338 Tried: 287 Errors: 2 Failures: 20
Failure in: 6:RoundTrip:7:0:t_cauchy_linear_transformation:1 haskell/Tests/TestTools.hs:130 expected: stdNormal = p <~ normal(nat2real(0), nat2prob(1)) return p stdCauchy = X1 <~ stdNormal X2 <~ stdNormal return X1 / X2 cauchy = fn a real: fn alpha prob: X <~ stdCauchy return a + prob2real(alpha) X X <~ cauchy(nat2real(7), nat2prob(2)) return X but got: p5 <~ normal(+0/1, 1/1) p3 <~ normal(+0/1, 1/1) return (p5 (+2/1) + p3 * (+7/1)) / p3 Cases: 338 Tried: 288 Errors: 2 Failures: 21