Skip to main content

Documentation Index

Fetch the complete documentation index at: https://docs.activeviam.com/llms.txt

Use this file to discover all available pages before exploring further.

​
atoti.stats.f.cdf(point, /, *, numerator_degrees_of_freedom, denominator_degrees_of_freedom)

Cumulative distribution function for a F-distribution.
This feature is experimental, its key is "stats.f.cdf".
The cdf for a F-distributions with parameters d1d1 et d2d2 is cdf⁡(x)=Id1xd1x+d2(d12,d22)\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 (VariableMeasureConvertible) – The point where the function is evaluated.
    • numerator_degrees_of_freedom (StrictlyPositiveNumber | VariableMeasureConvertible) – Numerator degrees of freedom. Must be positive.
    • denominator_degrees_of_freedom (StrictlyPositiveNumber | VariableMeasureConvertible) – Denominator degrees of freedom. Must be positive.
  • Return type: MeasureDefinition
See also: The F-distribution Wikipedia page.