AssumeCM is an option used in various functions, to assume that a ring is Cohen-Macaulay.
The object AssumeCM is a symbol.