Internal API

GroupElement

An abstract type representing an element of a group.

FiniteGroup{E <: GroupElement}

Represents a finite group with elements of type E.

Type Parameters

• E <: GroupElement: The type of the elements in the group, which must be a subtype of GroupElement and provide a composition operation ∘.

Fields

• e::Set{E}: The set of all group elements.

Example

struct MyElement <: GroupElement
    # Define the structure of your group element here
end

function ∘(x::MyElement, y::MyElement)
    # Define the group operation here
end

# Define the generators of the group
gen = (MyElement(),)  # An iterable of group elements
group = FiniteGroup{MyElement}(gen)