60.40 Inequivalent colorings of space groups

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
Index