CurrentRing -- an option to specify that a certain ring is used

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