Two colorings of a space group S are equivalent if the two
ColorSubgroups are conjugate in the affine normalizer of S.
AffineInequivalentSubgroups( L )
where L is a list of sub space groups with a common parent space group S, returns a list of affine inequivalent subgroups from L. At present, this routine is supported only for CrystGroups constructed from the space group library.
A list of prime index p subgroups of S (actually, a list of conjugacy class representatives of such subgroups) can be obtained with
Filtered( MaximalSubgroupsRepresentatives( S, p ), U -> U.index = p )
These two routines together therefore allow to determine all inequivalent colorings of S with p colors.
Previous Up Top