← Mathematical handbook

Directional coefficients for equal diagonal blocks

theorem Verification.equalBlocks_xi (n : ℕ) (C : ProbabilityTheory.Copula 2) : (equalBlocks n C).chatterjeeXi = 1 - (1 - C.chatterjeeXi) / (↑n + 1)

theorem Verification.equalBlocks_correlationRatio (n : ℕ) (C : ProbabilityTheory.Copula 2) : correlationRatio (equalBlocks n C) = 1 - (1 - correlationRatio C) / (↑n + 1) ^ 2