GroupsCore

An experimental group interface for the OSCAR project. The aim of this package is to standardize the common assumptions and functions on group i.e. to create Group interface. This should standardize the groups within and outside of the 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(15, 37, 42)
    test_Group_interface(G)
    test_GroupElement_interface(rand(G, 2)...)
    nothing
end