‣ IsNumberField
returns true if the field F is a finite dimensional extension of a prime field in characteristic zero, and false otherwise.
true
false