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 Zbasis of the commuting algebra and its centre.
Remarks
CAUTION: The program might give wrong answers for degrees bigger than 6!
Examples
