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
|
#############################################################################
##
#W groups.gd Karel Dekimpe
#W Bettina Eick
##
DeclareProperty( "IsAlmostCrystallographic", IsGroup );
DeclareProperty( "IsAlmostBieberbachGroup", IsGroup );
DeclareAttribute( "AlmostCrystallographicInfo", IsGroup );
DeclareAttribute( "NaturalHomomorphismOnHolonomyGroup", IsGroup );
DeclareAttribute( "HolonomyGroup", IsGroup );
DeclareGlobalFunction( "AlmostCrystallographicDim3" );
DeclareGlobalFunction( "AlmostCrystallographicDim4" );
DeclareGlobalFunction( "AlmostCrystallographicGroup" );
DeclareGlobalFunction( "AlmostCrystallographicPcpDim3" );
DeclareGlobalFunction( "AlmostCrystallographicPcpDim4" );
DeclareGlobalFunction( "AlmostCrystallographicPcpGroup" );
DeclareGlobalFunction( "IsolatorSubgroup" );
DeclareAttribute( "OrientationModule", IsGroup );
DeclareOperation( "BettiNumber", [IsGroup, IsInt] );
DeclareAttribute( "BettiNumbers", IsGroup );
DeclareGlobalFunction( "HasExtensionOfType" );
|