The GAP command "LowIndexSubgroupsFpGroup()" could be improved by adding
an argument for a range of subgroup indices instead of the current
maximum integer n implying a range of [1..n]. (This is a feature of the
equivalent magma command, for instance.)
Has anyone attempted this patch?
I'm also interested if anyone out there has coset enumeration routines
written in C, as I'm only interested in checking for the existence of
representations of a given degree.
Thanks in advance.