@@ -113,9 +113,7 @@ DeclareAttribute( "InvolutiveCompatibilityCocycle" , IsLocalAction );
113113# ! @BeginExampleSession
114114# ! gap> F:=LocalAction(3,1,AlternatingGroup(3));;
115115# ! gap> z:=InvolutiveCompatibilityCocycle(F);
116- # ! MappingByFunction( Domain([ [ (), 1 ], [ (), 2 ], [ (), 3 ], [ (1,3,2), 1 ],
117- # ! [ (1,3,2), 2 ], [ (1,3,2), 3 ], [ (1,2,3), 1 ], [ (1,2,3), 2 ],
118- # ! [ (1,2,3), 3 ] ]), Alt( [ 1 .. 3 ] ), function( s ) ... end )
116+ # ! MappingByFunction( <object>, Alt( [ 1 .. 3 ] ), function( s ) ... end )
119117# ! gap> mt:=RandomSource(IsMersenneTwister,1);;
120118# ! gap> a:=Random(mt,F);; dir:=Random(mt,[1..3]);;
121119# ! gap> a; Image(z,[a,dir]);
@@ -127,10 +125,7 @@ DeclareAttribute( "InvolutiveCompatibilityCocycle" , IsLocalAction );
127125# ! gap> G:=LocalActionGamma(3,AlternatingGroup(3));
128126# ! Group([ (1,4,5)(2,3,6) ])
129127# ! gap> InvolutiveCompatibilityCocycle(G);
130- # ! MappingByFunction( Domain([ [ (), 1 ], [ (), 2 ], [ (), 3 ],
131- # ! [ (1,5,4)(2,6,3), 1 ], [ (1,5,4)(2,6,3), 2 ], [ (1,5,4)(2,6,3), 3 ],
132- # ! [ (1,4,5)(2,3,6), 1 ], [ (1,4,5)(2,3,6), 2 ], [ (1,4,5)(2,3,6), 3 ]
133- # ! ]), Group([ (1,4,5)(2,3,6) ]), function( s ) ... end )
128+ # ! MappingByFunction( <object>, Group([ (1,4,5)(2,3,6) ]), function( s ) ... end )
134129# ! gap> InvolutiveCompatibilityCocycle(AutBall(3,2));
135130# ! fail
136131# ! @EndExampleSession
0 commit comments