GroupsCore.jl

Interface for abstract groups
Author kalmarek
Popularity
5 Stars
Updated Last
11 Months Ago
Started In
March 2021

GroupsCore

Stable Dev codecov Build Status


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.

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(...)
    test_Group_interface(G)
    test_GroupElement_interface(rand(G, 2)...)
    nothing
end

Required Packages

No packages found.