minimum polynomial 2cos(2pi/19)