Use gap iterators to iterate over the conjugacy classes of subgroups

[mantepse]

Problem Description

Currently we can only compute a list of all subgroups up to conjugacy, using G.conjugacy_classes_subgroups(). If we only want to look at the first few, we are out of luck.

Proposed Solution

Use Gap's iterators:

def conjugacy_classes_subgroups_iterator(self):
    it = libgap.Iterator(self._libgap_().ConjugacyClassesSubgroups())
    while not it.IsDoneIterator().sage():
        sub = it.NextIterator()
        yield self.subgroup(gap_group=sub.Representative())

Alternatives Considered

bäh.

Additional Information

No response

Is there an existing issue for this?

• I have searched the existing issues for a bug report that matches the one I want to file, without success.

[fchapoton]

Note that Gap does not provide true iterators for that, currently.