a value for the option ContainmentTest to consider containment of Frobenius roots of ideals
The object FrobeniusRoot is a symbol.