A valid value for the option ContainmentTest specifying that Frobenius roots be used, and not localized, when verifying containments of powers of ideals. This is turned on by default if AtOrigin is set to false in frobeniusNu.
The object GlobalFrobeniusRoot is a symbol.