This document describes the intended extent of the RepLAB project, both in terms of desired support and limitations, whether temporary or longer term.
The first aim of RepLAB is to:
Manage groups, including:
Group construction from permutations
Manage representations, including:
Irreducible decomposition
Provide tools to deal with semi-definite programs subject to symmetry constraints
Every implementation has limitations. Currently, the following elements are out of the scope of the library
No support for group intersection
No support for coset calculation
Construction of groups from matrix images