Macaulay2 » Documentation
Packages » Graphs :: isCM
next | previous | forward | backward | up | index | toc

isCM -- determines if a graph is Cohen-Macaulay



This uses the edge ideal notion of Cohen-Macaulayness; a graph is called C-M if and only if its edge ideal is C-M.

i1 : G = graph({{1,2},{1,3},{1,4},{2,5},{5,3},{3,2}},EntryMode=>"edges");
i2 : isCM G

o2 = true

See also

Ways to use isCM :

For the programmer

The object isCM is a method function.