quantified.uncertainty/squiggle
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Give isNormalised lower bound

Browse Source
This commit is contained in:
Sam Nolan 2022-04-26 13:28:08 -04:00
parent 350e420884
commit 7302a3ec10
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
packages/squiggle-lang/src/rescript/Distributions/PointSetDist/Continuous.res
View File

@ -271,7 +271,7 @@ module T = Dist({
let isNormalized = (t: t): bool => { let isNormalized = (t: t): bool => {
let areaUnderIntegral = t |> updateIntegralCache(Some(T.integral(t))) |> T.integralEndY let areaUnderIntegral = t |> updateIntegralCache(Some(T.integral(t))) |> T.integralEndY
areaUnderIntegral -. 1. < 1e-7 areaUnderIntegral < 1. +. 1e-7 && areaUnderIntegral > 1. -. 1e-7
} }
let downsampleEquallyOverX = (length, t): t => let downsampleEquallyOverX = (length, t): t =>