A valid value for the option ContainmentTest specifying that Frobenius roots be used when verifying containments of powers of ideals.
The object FrobeniusRoot is a symbol.
The source of this document is in FrobeniusThresholds/MainFunctionsDoc.m2:306:0.