A valid value for the option ContainmentTest specifying that Frobenius powers be used when verifying containments of powers of ideals.
The object FrobeniusPower is a symbol.