next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Graphs :: coverIdeal

coverIdeal -- Returns the vertex cover ideal of a graph

Synopsis

Description

The vertex cover ideal of a graph G is the ideal generated by (ms | s in [n] is a vertex cover of G), where ms = product(i in S)(xi)

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

o2 = monomialIdeal (x x , x x , x x x )
                     1 3   2 3   1 2 4

o2 : MonomialIdeal of QQ[x , x , x , x ]
                          1   2   3   4

See also

Ways to use coverIdeal :