UnderlyingGraph( gamma )
This function returns the underlying graph delta of gamma. The graph
delta has the same vertex set as gamma, and has an edge [x,y]
precisely when gamma has an edge [x,y] or an edge [y,x]. This
function also sets the isSimple components of gamma and delta.
gap> gamma := EdgeOrbitsGraph( Group((1,2,3,4)), [1,2] );
rec(
isGraph := true,
order := 4,
group := Group( (1,2,3,4) ),
schreierVector := [ -1, 1, 1, 1 ],
adjacencies := [ [ 2 ] ],
representatives := [ 1 ],
isSimple := false )
gap> UnderlyingGraph(gamma);
rec(
isGraph := true,
order := 4,
group := Group( (1,2,3,4) ),
schreierVector := [ -1, 1, 1, 1 ],
adjacencies := [ [ 2, 4 ] ],
representatives := [ 1 ],
isSimple := true )
GAP 3.4.4