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