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.