Quelle  oprt.tst   Sprache: unbekannt

#@local G,c5,d,eo,es,ess,gens,res
gap> START_TEST("oprt.tst");
gap> c5:=CyclicGroup(IsPermGroup,5);;
gap> d:=Combinations([1..5],2);;
gap> eo:=ExternalOrbit(c5,d,[1,2],OnSets);
[ 1, 2 ]^G
gap> IsTransitive(eo);
true
gap> Transitivity(eo);
1
gap> IsPrimitive(eo);
true
gap> Blocks(eo);
[ [ [ 1, 2 ], [ 1, 5 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ] ] ]
gap> es:=ExternalSet(c5,d,OnSets);;
gap> ess:=ExternalSubset(c5,es,[[1,2]],OnSets);;
gap> IsTransitive(es);
false
gap> IsTransitive(ess);
true
gap> IsPrimitive(ess);
true
gap> Blocks(ess);
[ [ [ 1, 2 ], [ 1, 5 ], [ 2, 3 ], [ 3, 4 ], [ 4, 5 ] ] ]
gap> G:=AbelianGroup(IsPermGroup,[12,12]);;
gap> eo:=ExternalOrbit(G,[1..24],1,OnPoints);;
gap> IsTransitive(eo);
true
gap> Blocks(eo);
[ [ 1, 5, 9 ], [ 2, 6, 10 ], [ 3, 7, 11 ], [ 4, 8, 12 ] ]
gap> RepresentativesMinimalBlocks(eo);
[ [ 1, 5, 9 ], [ 1, 7 ] ]
gap> MaximalBlocks(eo);
[ [ 1, 3 .. 11 ], [ 2, 4 .. 12 ] ]
gap> eo:=ExternalOrbit(G,[1..12],1,OnPoints);
1^G
gap> IsTransitive(eo); 
true
gap> Blocks(eo);
[ [ 1, 5, 9 ], [ 2, 6, 10 ], [ 3, 7, 11 ], [ 4, 8, 12 ] ]
gap> G:= Group( (2,3,4), (2,3) );;
gap> IsTransitive( G, [ 2, 3 ] );
false
gap> Transitivity( G, [ 2, 3 ] );
0

##  variants of Orbit( G[, Omega], pnt[, gens, acts][, act] )
gap> G:= SymmetricGroup( 5 );;
gap> gens:= GeneratorsOfGroup( G );;
gap> res:= [ 1 .. 5 ];;
gap> SortedList( Orbit( G, 1 ) ) = res;
true
gap> SortedList( Orbit( G, [ 1 .. 5 ], 1 ) ) = res;
true
gap> SortedList( Orbit( G, 1, gens, gens ) ) = res;
true
gap> SortedList( Orbit( G, [ 1 .. 5 ], 1, gens, gens ) ) = res;
true
gap> SortedList( Orbit( G, 1, OnPoints ) ) = res;
true
gap> SortedList( Orbit( G, [ 1 .. 5 ], 1, OnPoints ) ) = res;
true
gap> SortedList( Orbit( G, 1, gens, gens, OnPoints ) ) = res;
true
gap> SortedList( Orbit( G, [ 1 .. 5 ], 1, gens, gens, OnPoints ) ) = res;
true
gap> Orbit( G, GF(7), 1 );
Error, wrong relation between <D> and <pnt>
gap> Orbit( G, GF(7), 1, OnPoints );
Error, wrong relation between <D> and <pnt>

##
gap> STOP_TEST( "oprt.tst" );