Sympy-exact witness of the amino-acid isoelectric-point formula on glycine. Setup: pK_a1 (carboxylic acid) = 2.34, pK_a2 (ammonium) = 9.60, so pI = (2.34 + 9.60)/2 = 11.94/2 = 5.97 exactly (Rational(234,100) + Rational(960,100))/2 =…
Sympy-exact witness of the amino-acid isoelectric-point formula on glycine. Setup: pK_a1 (carboxylic acid) = 2.34, pK_a2 (ammonium) = 9.60, so pI = (2.34 + 9.60)/2 = 11.94/2 = 5.97 exactly (Rational(234,100) + Rational(960,100))/2 =…