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:
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