|
gap> START_TEST( "Cryst: crystcat.tst" );
gap> SetAssertionLevel(1);
gap> S := SpaceGroupBBNWZ( 4, 29, 7, 2, 1 );
SpaceGroupOnRightBBNWZ( 4, 29, 7, 2, 1 )
gap> S := WyckoffStabilizer( WyckoffPositions(S)[1] );
<matrix group with 4 generators>
gap> cl := ConjugacyClasses( S );
[ [ [ 1, 0, 0, 0, 0 ], [ 0, 1, 0, 0, 0 ], [ 0, 0, 1, 0, 0 ],
[ 0, 0, 0, 1, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ -1, -1, -1, -1, 0 ], [ 0, 1, 0, 1, 0 ], [ 1, 1, 0, 0, 0 ],
[ 0, -1, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ -1, -1, 0, 0, 0 ], [ 0, 0, -1, -1, 0 ], [ 1, 0, 0, 0, 0 ],
[ 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ -1, -1, 0, 0, 0 ], [ 0, 1, 0, 0, 0 ], [ 1, 1, 1, 1, 0 ],
[ 0, -1, 0, -1, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ -1, -1, 0, 0, 0 ], [ 1, 0, 0, 0, 0 ], [ 0, 0, -1, -1, 0 ],
[ 0, 0, 1, 0, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ -1, 0, 0, 0, 0 ], [ 0, -1, 0, 0, 0 ], [ 1, 0, 1, 0, 0 ],
[ 0, 1, 0, 1, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ 0, -1, 0, -1, 0 ], [ 0, 1, 0, 0, 0 ], [ 1, 1, 1, 1, 0 ],
[ -1, -1, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ 0, -1, 0, -1, 0 ], [ 1, 1, 1, 1, 0 ], [ 0, 1, 0, 0, 0 ],
[ -1, -1, 0, 0, 0 ], [ 0, 0, 0, 0, 1 ] ]^G,
[ [ -1, -1, -1, -1, 0 ], [ 0, 0, 1, 1, 0 ], [ 1, 0, 1, 0, 0 ],
[ 0, 0, -1, 0, 0 ], [ 0, 0, 0, 0, 1 ] ]^G ]
gap> Size( cl[1] );
1
gap> G := SpaceGroupBBNWZ( 4, 29, 7, 2, 1 );
SpaceGroupOnRightBBNWZ( 4, 29, 7, 2, 1 )
gap> H := MaximalSubgroupRepsTG( G )[4];;
gap> C := ColorGroup( G, H );
<matrix group with 8 generators>
gap> ColorPermGroup( C );
Group([ (2,4)(3,8)(5,6), (2,5,6,4)(3,7,8,9), (1,2,6)(3,7,5)(4,9,8), (1,3,8)
(2,7,4)(5,9,6), (), (), (), () ])
gap> P := PointGroup( C );; Size( P );; P;
<matrix group of size 72 with 4 generators>
gap> IsColorGroup( P );
true
gap> STOP_TEST( "crystcat.tst", 10000 );
[ Dauer der Verarbeitung: 0.17 Sekunden
(vorverarbeitet)
]
|
