MinimalPolynomial[2 Cos[2Pi/13], z]