A flag that determines whether computations should be performed for verifying the correctness of a sagbi basis. When the flag is set to false then the function being called will only use the results of previous computations, if they exist. When previous computations have not been performed and the flag is set to false, then the function will usually return null.