(A) symbolic in p
 n=2 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
 n=3 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
 n=4 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
 n=5 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
 n=6 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
 n=7 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
 n=8 mu_off_e_constant=True mu_formula=True a-b=(n-1)p/(n-p):True charpoly=(z-1)(z-beta)(z+1/(n-1))^(n-2):True tau(both forms)=True dtau/dp=(n-1)^3/(n-p)^2:True beta+s=1-r=(n-1)p/(1+(n-2)p):True T3a_equality=True
(B) rational p, generic code path (exact)
 n=2 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
 n=3 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
 n=4 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
 n=5 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
 n=6 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
 n=7 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
 n=8 : 40 rational p values, tau exactly equal to (n-1)(1+(n-2)p)/(n-p): OK
cases: 280
ALL T1 CHECKS PASSED
