isFJumpingExponent(t, f)
Consider a $\mathbb{Q}$-Gorenstein ring $R$ of characteristic $p>0$, of index not divisible by $p$. Given an element $f$ of $R$ and a rational number $t$, isFJumpingExponent(t, f) returns true if $t$ is an $F$-jumping exponent of $f$, and otherwise it returns false.
|
|
|
|
|
|
The ring $R$ below is singular, and the jumping numbers of $f$ in the open unit interval are 1/4, 1/2 and 3/4.
|
|
|
|
|
|
|
Setting the option AtOrigin to true (its default value is false) tells the function to consider only $F$-jumping exponents at the origin. The following example considers a polynomial that looks locally analytically like two lines at the origin, and four lines at (2,0).
|
|
|
|
If the ambient ring $R$ is not a domain, the option AssumeDomain should be set to false. We assume that the ring is a domain by default, in order to speed up the computation.
If the Gorenstein index of $R$ is known, the user should set the option QGorensteinIndex to this value. Otherwise, the function attempts to find the Gorenstein index of $R$, assuming it is between 1 and the value passed to the option MaxCartierIndex (default value 10).
The option FrobeniusRootStrategy is passed to internal calls of functions from the TestIdeals package. The two valid values of FrobeniusRootStrategy are Substitution and MonomialBasis.
Setting the option Verbose (default value false) to true produces verbose output.
The object isFJumpingExponent is a method function with options.