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:
The Oscar.jl
project no longer
supports GroupsCore.jl
interface at version 0.5
.
For an implemented interface please have a look at /test
folder, where several
example implementations are tested against the conformance test suite:
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