For the functions described here, A denotes the automorphism group of the graph G.

u ^ a : Vert, GrpPermElt -> Vert

The image of the vertex u of G under the action of the automorphism a of A (returns a vertex).

S ^ a : { Vert }, GrpPermElt -> { Vert }

The image of the set S of vertices of G under the action of the automorphism a of A (returns a set of vertices).

Q ^ a : [Vert], GrpPermElt -> [Vert]

The image of the sequence Q of vertices of G under the action of the automorphism a of A (returns a sequence of vertices).

e ^ a : Edge, GrpPermElt -> Edge

The image of the edge x of G under the action of the automorphism a of A (returns an edge).

T ^ a : { Edge }, GrpPermElt -> { Edge }

The image of the set T of edges of G under the action of the automorphism a of A (returns a set of edges).

U ^ a : [Edge], GrpPermElt -> [Edge]

The image of the sequence U of edges of G under the action of the automorphism a of A (returns a sequence of edges).

u ^ B : Vert, GrpPerm -> { Vert };

The image of the vertex u of G under the action of the subgroup B of the automorphism group A (returns a set of vertices).

S ^ B : { Vert }, GrpPerm -> { { Vert } }

The image of the set S of vertices of G under the action of the subgroup B of the automorphism group A (returns a set of sets of vertices).

Q ^ B : [Vert], GrpPerm -> { [Vert] }

The image of the sequence Q of vertices of G under the action of the subgroup B of the automorphism group A (returns a set of sequences of vertices).

e ^ B : Edge, GrpPerm -> { Edge }

The image of the edge x of G under the action of the subgroup B of the automorphism group A (returns a set of edges).

T ^ B : { Edge }, GrpPerm -> { { Edge } }

The image of the set T of edges of G under the action of the subgroup B of the automorphism group A (returns a set of sets of edges).

U ^ B : [Edge], GrpPerm -> { [Edge] }

The image of the sequence U of edges of G under the action of the subgroup B of the automorphism group A (returns a set of sequences of edges).

G ^ a : GrphUnd, GrpPermElt -> GrphUnd

The image of the graph G under the action of the automorphism a of A (returns a graph).

G ^ A : GrphUnd, GrpPerm -> { GrphUnd }

The orbit of the graph G under the action of the permutation group A (returns a set of graphs).