ring(HyperGraph) -- gives the ring of a (hyper)graph

• Function: ring

• Usage:

  R = ring H

• Inputs:
  • H, a hypergraph,
• Outputs:
  • R, a ring,

i1 : S = QQ[a..d];

i2 : g = cycle S;

i3 : h = inducedHyperGraph(g,{a,b,c});

i4 : describe ring g

o4 = QQ[a..d, Degrees => {4:1}, Heft => {1}]

i5 : describe ring h

o5 = QQ[a..c, Degrees => {3:1}, Heft => {1}]