FrobeniusRootStrategy -- an option for various functions
Description
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