What is the definition of a splitting field for  <i>f</i>(<i>x</i>)
  over <I>F</I>?