最後の固有値を求めるeigenvectsで失敗するかもしれません. これはsympyのversionによるようです.1.6.1ではダメです. それまでのは行けそうです.
上の方で,対角ベクトルを与えるところで, Rationalを使うとちゃんと求めてくれます.
#V = [1/5,1,1/2,1/3,1/4,1/2,1]
V = [Rational(1,5),1,Rational(1,2),Rational(1,3),Rational(1,4),Rational(1,2),1]
これに関する問い合わせと開発者の反応はGithubのissue の通りです. この辺りがOSS開発ソフトで時々おこる問題です. そういうものだということを覚悟して, いくつかのライブラリや他のソフトで結果をクロス検証することを心がけてください.
<2020-11-02 月>
from sympy import *
init_printing()
M = Matrix([[0, 1, 1, 1, 1, 0, 1],
[1, 0, 0, 0, 0, 0, 0],
[1, 1, 0, 0, 0, 0, 0],
[0, 1, 1, 0, 1, 0, 0],
[1, 0, 1, 1, 0, 1, 0],
[1, 0, 0, 0, 1, 0, 0],
[0, 0, 0, 0, 1, 0, 0]])
M
Mt = M.T
Mt
#V = [1/5,1,1/2,1/3,1/4,1/2,1]
V = [Rational(1,5),1,Rational(1,2),Rational(1,3),Rational(1,4),Rational(1,2),1]
VA = diag(*V)
VA
trans_mat = Mt*VA
trans_mat
trans_mat.eigenvects(error_when_incomplete=False)
v_all = trans_mat.eigenvects(error_when_incomplete=False)
print(v_all)
[(0, 1, [Matrix([ [ 0], [ 1], [ 0], [ 0], [ 0], [-2], [ 1]])]), (1, 1, [Matrix([ [ 5], [52/19], [44/19], [33/19], [56/19], [14/19], [ 1]])])]
v = Matrix(trans_mat.eigenvects(error_when_incomplete=False)[1][2])
print(v)
Matrix([[5], [52/19], [44/19], [33/19], [56/19], [14/19], [1]])
v_n = v.norm().evalf()
for i in range(0,6):
print(v[i]/v_n)
0.699456533837389 0.382860418521518 0.323958815672054 0.242969111754040 0.412311219946250 0.103077804986563