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 |