Macaulay2 » Documentation
Packages » TestIdeals :: AssumeCM
next | previous | forward | backward | up | index | toc

AssumeCM -- an option to assume a ring is Cohen-Macaulay

Description

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

Functions with optional argument named AssumeCM:

  • isFInjective(...,AssumeCM=>...) -- see isFInjective -- whether a ring is F-injective
  • isFRational(...,AssumeCM=>...) -- see isFRational -- whether a ring is F-rational

For the programmer

The object AssumeCM is a symbol.


The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/TestIdeals/FinjectiveDoc.m2:285:0.