GAP:UndirectedPowerGraph

From Groupprops
Jump to: navigation, search
This article is about a GAP function.

This GAP function takes as input a group. See more functions like this.

Definition

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

Method

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;;