Program Idem
Usage
Idem file [-d] [-o]
file: bravais_TYP containing generators of a finite unimodular group.
Description
Calculates the central primitive idempotents of the rational commuting (or
equivalently envelloping) algebra of the group in file. (This is used
for splitting the natural module Q^n into homogeneous components.)
Options
-d : Outputs the dimensions of the commuting algebra and its centre.
-o : Gives a Z-basis of the commuting algebra and its centre.
Remarks
CAUTION: The program might give wrong answers for degrees bigger than 6!
Examples
-