1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
|
#############################################################################
##
## This file is part of GAP, a system for computational discrete algebra.
## This file's authors include Heiko Theißen.
##
## Copyright of GAP belongs to its developers, whose names are too numerous
## to list here. Please refer to the COPYRIGHT file for details.
##
## SPDX-License-Identifier: GPL-2.0-or-later
##
#############################################################################
##
#M Pcgs( <G> ) . . . . . . . . . . . . . . . . . . . . via nice monomorphism
##
AttributeMethodByNiceMonomorphism( Pcgs,
[ IsGroup ],
function( G )
local nice, npcgs, pcgs;
nice := NiceMonomorphism( G );
npcgs := Pcgs( NiceObject( G ) );
if npcgs = fail then
return fail;
fi;
pcgs := List( npcgs, gen -> PreImagesRepresentative( nice, gen ) );
pcgs := PcgsByPcSequenceNC( ElementsFamily( FamilyObj( G ) ), pcgs );
if HasIsPrimeOrdersPcgs( npcgs ) and IsPrimeOrdersPcgs( npcgs ) then
SetIsPrimeOrdersPcgs( pcgs, true );
fi;
SetNiceMonomorphism( pcgs, nice );
SetNiceObject ( pcgs, npcgs );
SetGroupOfPcgs ( pcgs, G );
SetOneOfPcgs(pcgs,One(G));
SetFilterObj ( pcgs, IsHandledByNiceMonomorphism );
return pcgs;
end );
#############################################################################
##
#M DepthOfPcElement( <pcgs>, <g> [ , <from> ] ) . . . via nice monomorphism
##
AttributeMethodByNiceMonomorphismCollElm( DepthOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse ] );
AttributeMethodByNiceMonomorphismCollElmOther( DepthOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse, IsPosInt ] );
#############################################################################
##
#M LeadingExponentOfPcElement( <pcgs>, <g> ) . . . . . via nice monomorphism
##
AttributeMethodByNiceMonomorphismCollElm( LeadingExponentOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse ] );
#############################################################################
##
#M ExponentsOfPcElement( <pcgs>, <g>[, <poss>] ) . . . via nice monomorphism
##
AttributeMethodByNiceMonomorphismCollElm( ExponentsOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse ] );
AttributeMethodByNiceMonomorphismCollElmOther( ExponentsOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse,
IsList and IsCyclotomicCollection ] );
AttributeMethodByNiceMonomorphismCollElmOther( ExponentsOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse,
IsList and IsEmpty ],
{ pcgs, g, poss } -> [] );
#############################################################################
##
#M ExponentOfPcElement( <pcgs>, <g>, <pos> ) . . . . . via nice monomorphism
##
AttributeMethodByNiceMonomorphismCollElmOther( ExponentOfPcElement,
[ IsPcgs, IsMultiplicativeElementWithInverse, IsPosInt ] );
|
