gap-packages/OrbitalGraphs

`IsOGR(<trivial group>)`? / `OrbitalClosure` for a trivial group?

wilfwilson opened this issue · 0 comments

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?)