Quelle  ugaly05.tst   Sprache: unbekannt

# UGALY, chapter 5
#
# DO NOT EDIT THIS FILE - EDIT EXAMPLES IN THE SOURCE INSTEAD!
#
# This file has been generated by AutoDoc. It contains examples extracted from
# the package documentation. Each example is preceded by a comment which gives
# the name of a GAPDoc XML file and a line range from which the example were
# taken. Note that the XML file in turn may have been generated by AutoDoc
# from some other input.
#
gap> START_TEST("ugaly05.tst");

# doc/_Chapter_Discreteness.xml:34-39
gap> G:=LocalActionGamma(3,SymmetricGroup(3));
Group([ (1,4,5)(2,3,6), (1,3)(2,4)(5,6) ])
gap> SatisfiesD(G);
true

# doc/_Chapter_Discreteness.xml:56-61
gap> G:=LocalActionGamma(3,SymmetricGroup(3));
Group([ (1,4,5)(2,3,6), (1,3)(2,4)(5,6) ])
gap> YieldsDiscreteUniversalGroup(G);
true

# doc/_Chapter_Discreteness.xml:65-76
gap> F:=LocalAction(3,2,Group((1,2)));
Group([ (1,2) ])
gap> YieldsDiscreteUniversalGroup(F);
true
gap> SatisfiesD(F);
false
gap> C:=MaximalCompatibleSubgroup(F);
Group(())
gap> SatisfiesD(C);
true

# doc/_Chapter_Discreteness.xml:99-107
gap> F:=LocalAction(3,1,AlternatingGroup(3));;
gap> z:=InvolutiveCompatibilityCocycle(F);;
gap> mt:=RandomSource(IsMersenneTwister,1);;
gap> a:=Random(mt,F);; dir:=Random(mt,[1..3]);;
gap> a; Image(z,[a,dir]);
(1,2,3)
(1,2,3)

# doc/_Chapter_Discreteness.xml:111-118
gap> G:=LocalActionGamma(3,AlternatingGroup(3));
Group([ (1,4,5)(2,3,6) ])
gap> InvolutiveCompatibilityCocycle(G) <> fail;
true
gap> InvolutiveCompatibilityCocycle(AutBall(3,2));
fail

# doc/_Chapter_Discreteness.xml:134-140
gap> S3:=LocalAction(3,1,SymmetricGroup(3));;
gap> Size(AllInvolutiveCompatibilityCocycles(S3));
4
gap> Size(AllInvolutiveCompatibilityCocycles(LocalActionGamma(3,SymmetricGroup(3))));
1

#
gap> STOP_TEST("ugaly05.tst", 1);