cdf()

atoti.stats.f.cdf(
    point: VariableMeasureConvertible,
    /,
    *,
    numerator_degrees_of_freedom: StrictlyPositiveNumber | VariableMeasureConvertible,
    denominator_degrees_of_freedom: StrictlyPositiveNumber | VariableMeasureConvertible,
) → MeasureDefinition

Cumulative distribution function for a F-distribution. The cdf for a F-distributions with parameters $d1$ et $d2$ is $$\operatorname {{cdf}}(x) = I_{{\frac {{d_{{1}}x}}{{d_{{1}}x+d_{{2}}}}}} \left(\tfrac {{d_{{1}}}}{{2}},\tfrac {{d_{{2}}}}{{2}}\right)$$ where I is the regularized incomplete beta function.

​

Parameters

​

point

The point where the function is evaluated.

​

numerator_degrees_of_freedom

Numerator degrees of freedom. Must be positive.

​

denominator_degrees_of_freedom

Denominator degrees of freedom. Must be positive.

---