G, a graph, the induced Graph of G on the vertices of L
K, a hypergraph, the induced HyperGraph of H on the vertices of L
Description
When OriginalRing is set to true, inducedGraph or inducedHyperGraph returns a (hyper)graph with the original (larger) ring attached rather than the subring only involving the variables of L.