Smith normal form conjecture for the walk matrix of the extended Dynkin graph
Smith normal form conjecture. The Smith normal form of W(D~n)W(\tilde{D}_n)W(D~n​) is