CARAT Introduction / Programs / Idem

Previous Program | Introduction | Next Program

## 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

Previous Program | Introduction | Next Program