1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
|
#############################################################################
##
#W grphoms.gd Polycyc Bettina Eick
#W Werner Nickel
##
#############################################################################
##
#R IsFromPcpGHBI( <map> )
#R IsToPcpGHBI( <map> )
##
## These declarations are a slight hack copied from the corresponding
## See the corresponding code for fp-groups for further background.
##
DeclareRepresentation( "IsFromPcpGHBI",
IsGroupGeneralMappingByImages
and NewFilter("Extrarankfilter",11),
[ "igs_gens_to_imgs" ] );
DeclareRepresentation( "IsToPcpGHBI",
IsGroupGeneralMappingByImages
and NewFilter("Extrarankfilter",11),
[ "igs_imgs_to_gens" ] );
|
