isFRational(R)
The function isFRational determines whether a ring is $F$-rational. If the option AtOrigin (default value false) is set to true, it will only check if the ring is $F$-rational at the origin (this can be slower). If the option AssumeCM (default value false) is set to true, it will not verify that the ring is Cohen-Macaulay.
|
|
|
|
|
|
|
Below is a more interesting example, of a ring that is $F$-rational but not $F$-regular. This example first appeared in A. K. Singh's work on deformation of $F$-regularity.
|
|
|
|
|
The option AssumeDomain is used when computing a test element. The option FrobeniusRootStrategy is passed to internal frobeniusRoot calls.
This function assumes that the spectrum of the ring is connected. Like isCohenMacaulay, if given a non-equidimensional $F$-rational ring (e.g., a ring whose spectrum has two connected components of different dimensions), isFRational will return false.
The object isFRational is a method function with options.