fixed rational root test