CurrentRing -- an option to specify that a certain ring is used
Description
CurrentRing is an option used in various functions to specify a ring to work with.
Functions with optional argument named CurrentRing :
FPureModule(..., CurrentRing => ...), see FPureModule -- compute the submodule of the canonical module stable under the image of the trace of Frobenius
testModule(..., CurrentRing => ...), see testModule -- find the parameter test module of a reduced ring