intermediate commit before I do a rebase

This commit is contained in:
Quinn Dougherty 2022-04-12 15:43:57 -04:00
parent 12d2397b57
commit 396fb9f6b0

View File

@ -79,8 +79,9 @@ describe("(Algebraic) addition of distributions", () => {
}) })
}) })
describe("pdf", () => { describe("pdf", () => {
// TEST IS WRONG. SEE STDEV ADDITION EXPRESSION.
testAll("(normal(mean=5) + normal(mean=5)).pdf (imprecise)", list{8e0, 1e1, 1.2e1, 1.4e1}, x => { testAll("(normal(mean=5) + normal(mean=5)).pdf (imprecise)", list{8e0, 1e1, 1.2e1, 1.4e1}, x => {
let received = normalDist10 let received = normalDist10 // this should be normal(10, sqrt(8))
-> Ok -> Ok
-> E.R2.fmap(d => GenericDist_Types.Constructors.UsingDists.pdf(d, x)) -> E.R2.fmap(d => GenericDist_Types.Constructors.UsingDists.pdf(d, x))
-> E.R2.fmap(run) -> E.R2.fmap(run)