K, an object of class HyperGraph, the induced HyperGraph of H on the vertices of L
Description
When OriginalRing is set to true, inducedHyperGraph returns a hypergraph with the original (larger) ring attached rather than the subring only involving the variables of L.