Oscar.jl icon indicating copy to clipboard operation
Oscar.jl copied to clipboard

Published 20 hours ago • verified publisher icon oscar-system

Wrap DoubleCosetsRepsAndSizes

Open simonbrandhorst opened this issue 7 months ago • 2 comments

Adds double_cosets_representatives_and_sizes and smaller_degree_permutation_representation. If you point me to the right place, I will happily add these functions to the docs.

simonbrandhorst avatar Jul 01 '24 08:07 simonbrandhorst