This option for the function fpt specifies that, in a situation where the exact F-pure threshold was not found, a final check be run to determine whether the final lower bound for the F-pure threshold is actually its exact value. Only takes on Boolean values.
The object FRegularityCheck is a symbol.