search

gap-packages / LINS

The GAP package LINS provides an algorithm for computing the normal subgroups of a finitely presented group up to some given index bound.
https://gap-packages.github.io/LINS/
Other
9 stars 3 forks source link

Add `LowIndexNormalSubgroups` method. #57

Closed FriedrichRober closed 10 months ago

FriedrichRober commented 10 months ago

We need a high-level function for the User to just get a list of normal subgroups and not that Lins_Graph datastructure. Need to keep in mind, that this operation is already declared in polycylic

FriedrichRober commented 10 months ago

I'm very much in favor of distributing the package. Would it be possible to add a trivial function

LowIndexNormalSubgroups:=function(g,n)
local l;
  l:=LowIndexNormalSubgroupsSearchForAll(g,n);
  return List(List(l),Grp);
end;

to cater to users who just want a list of actual subgroups without the fancier features?

Originally posted by @hulpke in https://github.com/gap-packages/LINS/issues/50#issuecomment-1834470450