← Mathematical handbook

def Verification.plackettMinorPolynomial (q p t : ℝ) : ℝ

The normalized symmetric corner minor, before substituting p=q-1.

Equations

• One or more equations did not get rendered due to their size.

theorem Verification.plackettMinorPolynomial_identity (q p t : ℝ) : q ^ 4 * (q ^ 2 - 4 * q * p * t * (1 - t)) ^ 3 - (q - 2 * p * t * (1 - t)) ^ 2 * (q - p * t) ^ 8 = t ^ 2 * plackettMinorPolynomial q p t

theorem Verification.plackettMinorPolynomial_zero (q : ℝ) : plackettMinorPolynomial q (q - 1) 0 = 8 * q ^ 8 * (q - 1) * (2 - q)