FrobeniusRootStrategy -- an option for various functions

An option for various functions, and in particular for frobeniusRoot. The valid values are Substitution and MonomialBasis.

Functions with optional argument named FrobeniusRootStrategy:

• ascendIdeal(...,FrobeniusRootStrategy=>...) -- see ascendIdeal -- find the smallest ideal containing a given ideal which is compatible with a given Cartier linear map
• compatibleIdeals(...,FrobeniusRootStrategy=>...) -- see compatibleIdeals -- find all prime ideals compatible with a Frobenius near-splitting
• descendIdeal(...,FrobeniusRootStrategy=>...) -- see descendIdeal -- finds the maximal F-pure Cartier submodule of an ideal viewed as a Cartier module
• FPureModule(...,FrobeniusRootStrategy=>...) -- see FPureModule -- compute the submodule of the canonical module stable under the image of the trace of Frobenius
• frobenius(...,FrobeniusRootStrategy=>...) -- see frobenius -- compute a Frobenius power of an ideal or a matrix
• frobeniusPower(...,FrobeniusRootStrategy=>...) -- see frobeniusPower -- compute a (generalized) Frobenius power of an ideal
• frobeniusRoot(...,FrobeniusRootStrategy=>...) -- see frobeniusRoot -- compute a Frobenius root
• isFInjective(...,FrobeniusRootStrategy=>...) -- see isFInjective -- whether a ring is F-injective
• isFPure(...,FrobeniusRootStrategy=>...) -- see isFPure -- whether a ring is F-pure
• isFRational(...,FrobeniusRootStrategy=>...) -- see isFRational -- whether a ring is F-rational
• isFRegular(...,FrobeniusRootStrategy=>...) -- see isFRegular -- whether a ring or pair is strongly F-regular
• parameterTestIdeal(...,FrobeniusRootStrategy=>...) -- see parameterTestIdeal -- compute the parameter test ideal of a Cohen-Macaulay ring
• testIdeal(...,FrobeniusRootStrategy=>...) -- see testIdeal -- compute a test ideal in a Q-Gorenstein ring
• testModule(...,FrobeniusRootStrategy=>...) -- see testModule -- find the parameter test module of a reduced ring