minimal polynomial sqrt(2