```SmallGeneratingSet``` throws error on matrix group about gap HOT 4 OPEN

This is an infinite matrix group, so how would this be supposed to work?

The only issue could be to have a nicer catch for this case, there are probably many other such situations.

from gap.

Good point, I didn't think about how it could even work mathematically.
Would it be better if there was something in the documentation or it would just return the original set? Not sure if this is a valid use case but I maybe if someone iterates over a set of generators and tries to reduce them it could be annoying to just get an error.

from gap.

There are really two questions here:

• Should the existing method be subject to extra conditions? (IsFinite, CanEasilyTestMembership would be potential candidates, even though the method is more general)
• Should there be a fallback method for SmallGeneratingSet that simply returns the existing generators.

from gap.

I think that even a very basic method which only tries to eliminate generators which are easily seen to be redundant could be useful. For example, such method would remove the identity and duplicate generators, generators which are inverses of other generators and generators which are products of two (or a few) other generators and / or inverses of other generators. Such method would not need to require much more than CanEasilyCompareElements.

from gap.