AlphaGitHub
Source/Packages

Learning.Checked.MomentCorrection

packages/learning/src/Learning/Checked/MomentCorrection.alpha

72 lines5 declarations3.1 KiBSHA-256 61091b557e77
Download exact fileView at revisionf5034773ad4bb52133

def · lines 22–28

momentPowerGap

Full file
22def momentPowerGap =
23  (lambda unrestricted numerator : Nat .
24    (lambda unrestricted denominator : Nat .
25      (lambda unrestricted step : Nat .
26        (naturalSaturatingSubtract
27          (momentNaturalPower denominator step)
28          (momentNaturalPower numerator step)))))

The compiler supplied declaration spans and resolved links from this source snapshot. This page does not assert that this file belongs to a checked closure.