minimum polynomial of \sqrt3-(1+(5/2)^(1/3))^(1/4)