CanonicalIdeal -- an option to specify that a certain ideal be used as the canonical ideal

Description

CanonicalIdeal is an option used in various functions to specify an ideal to be used as the canonical ideal. In this way, the canonical ideal does not have to be recomputed, and one can use a single fixed choice across multiple calls of a function.

Functions with optional argument named CanonicalIdeal :

• "FPureModule(...,CanonicalIdeal=>...)" -- see FPureModule -- compute the submodule of the canonical module stable under the image of the trace of Frobenius
• "testModule(...,CanonicalIdeal=>...)" -- see testModule -- find the parameter test module of a reduced ring

For the programmer

The object CanonicalIdeal is .