coverIdeal -- Returns the vertex cover ideal of a graph

Synopsis

• Usage:

  J = coverIdeal G

• Inputs:
  • G, an instance of the type Graph,
• Outputs:
  • J, an ideal, The vertex cover ideal of a graph G

Description

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 ]
                          1   4

See also

• edgeIdeal -- returns the edge ideal of a graph
• vertexCovers -- returns a list of the minimal vertex covers of a graph
• vertexCoverNumber -- returns the vertex cover number of a graph