AssumeCM is an option used in various functions, to assume that a ring is Cohen-Macaulay.
The object AssumeCM is a symbol.
The source of this document is in TestIdeals/FinjectiveDoc.m2:285:0.