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

Add isNormalized to Continuous

Browse Source
This commit is contained in:
Sam Nolan 2022-04-26 13:25:45 -04:00
parent e47deb8433
commit 350e420884
2 changed files with 6 additions and 3 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
packages/squiggle-lang/__tests__/Distributions/SampleSetDist_ToPointSet_test.res
View File

@ -14,9 +14,7 @@ describe("Converting from a sample set distribution", () => {
integralSumCache: None, integralSumCache: None,
integralCache: None, integralCache: None,
} }
let fullShape = Continuous.updateIntegralCache(Some(Continuous.T.integral(c)), c)
let endY = Continuous.T.integralEndY(fullShape)
expect(endY)->toBeCloseTo(1.) expect(Continuous.isNormalized(c))->toBe(true)
}) })
}) })

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

@ -269,6 +269,11 @@ module T = Dist({
XYShape.Analysis.getVarianceDangerously(t, mean, Analysis.getMeanOfSquares) XYShape.Analysis.getVarianceDangerously(t, mean, Analysis.getMeanOfSquares)
}) })
let isNormalized = (t: t): bool => {
let areaUnderIntegral = t |> updateIntegralCache(Some(T.integral(t))) |> T.integralEndY
areaUnderIntegral -. 1. < 1e-7
}
let downsampleEquallyOverX = (length, t): t => let downsampleEquallyOverX = (length, t): t =>
t |> shapeMap(XYShape.XsConversion.proportionEquallyOverX(length)) t |> shapeMap(XYShape.XsConversion.proportionEquallyOverX(length))