GAP:UndirectedPowerGraph

Function type
The function takes as input a group (supposed to be a finite group) and outputs a graph.

Behavior
The function is supposed to output the undirected power graph of the group that is input to it.

Packages used
The definition of the function requires the Grape package.

Typical use
UndirectedPowerGraph( group );

Related functions

 * DirectedPowerGraph

Code
UndirectedPowerGraph := function(G) local L,o,f; o := Order(G); L := AsList(Set(G)); f := function(x,y) return(IsSubgroup(Group(L[x]),Group(L[y])) or IsSubgroup(Group(\ L[y]),Group(L[x]))); end;; return(Graph(TrivialSubgroup(SymmetricGroup(o)),[1..o],OnPoints,f,true)\ ); end;;