GroupsCore.jl

Experimenting with Groups interface
Author kalmarek
Popularity
2 Stars
Updated Last
1 Year Ago
Started In
March 2021

GroupsCore

Stable Dev codecov Build Status


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

Used By Packages