`IsOGR(<trivial group>)`? / `OrbitalClosure` for a trivial group?
wilfwilson opened this issue · 0 comments
wilfwilson commented
The trivial group seems to be equal to its own two-closure, so should it be OGR? (Is the OrbitalClosure
means to be the same as the TwoClosure
?)
gap> G := Group([ () ]);; IsTrivial(G);
true
gap> IsOGR(G);
false
gap> G = TwoClosure(G);
true
gap> OrbitalClosure(G);
[ ]
(The latter should probably return a trivial group, right?)