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.
The object CanonicalIdeal is a symbol.