User Convience: Not Fp-Groups

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

User Convience: Not Fp-Groups #58

Closed FriedrichRober closed 10 months ago

FriedrichRober commented 10 months ago

Currently, if a group is not given as an fp-group it gets automatically translated to an fp-group via IsomorphismFpGroup. Do we want to keep this feature? If yes, then the result of LowIndexNormalSubgroups (see #57) should probably translate the group back into the original representation.

FriedrichRober commented 10 months ago

After discussions with @fingolfin, we decided to keep this feature