File: groups.gd

package info (click to toggle)
gap-aclib 1.3.3-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 836 kB
  • sloc: makefile: 110; sh: 17
file content (26 lines) | stat: -rw-r--r-- 1,109 bytes parent folder | download | duplicates (3)
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" );