# GlobalFrobeniusRoot -- a valid value for the option ContainmentTest

## Description

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.

• ContainmentTest -- an option for the function frobeniusNu specifying the type of containment of powers of ideals to test
• frobeniusNu -- computes the largest power of an ideal not contained in a specified Frobenius power

## For the programmer

The object GlobalFrobeniusRoot is .