b = isCM H
This uses the edge ideal notion of Cohen-Macaulayness; a hypergraph is called C-M if and only if its edge ideal is C-M.
|
|
|
|
|
|
|
The object isCM is a method function.
The source of this document is in EdgeIdeals.m2:3179:0.