Sympy-exact witness of the equal-mass chirp-mass reduction. Setup: M_c = (m_1·m_2)^(3/5) / (m_1+m_2)^(1/5). Identity: substituting m_1 = m_2 = m, M_c = (m²)^(3/5)/(2·m)^(1/5) = m^(6/5)/(2^(1/5)·m^(1/5)) = 2^(-1/5)·m, which sympy's…
Sympy-exact witness of the equal-mass chirp-mass reduction. Setup: M_c = (m_1·m_2)^(3/5) / (m_1+m_2)^(1/5). Identity: substituting m_1 = m_2 = m, M_c = (m²)^(3/5)/(2·m)^(1/5) = m^(6/5)/(2^(1/5)·m^(1/5)) = 2^(-1/5)·m, which sympy's…