GroupsCore

The aim of this package is to standardize common assumptions on and functions for groups, i.e. to create Group interface. Packages using it include:

• Groups.jl,
• SymbolicWedderburn.jl,
• Oscar project.

Examples and Conformance testing

For an implemented interface please have a look at /test folder, where several example implementations are tested against the conformance test suite:

• CyclicGroup
• InfCyclicGroup
• DirectProduct
• WreathProduct

To test the conformance of a group implementation one can run

using GroupsCore
include(joinpath(pathof(GroupsCore), "..", "..", "test", "conformance_test.jl"))
include("my_group.jl")
let G = MyFancyGroup(...)
    test_Group_interface(G)
    test_GroupElement_interface(rand(G, 2)...)
    nothing
end