CARAT Introduction / Programs / Symbol

Previous Program | Introduction | Next Program

## Program Symbol

### Usage

    Symbol 'file' [-i] [-B] [-t] [-f]

file: bravais_TYP.

### Description

Identify the family symbol of a finite unimodular group given in 'file'.

### Options

     -i    : Identify the group in file even more,
             ie. give the position and representative of it's
             Bravais group in the catalog.
     -B    : Assume the group to be a Bravais group, ie. do not
             calculate the bravais group of it. Note, the order of
             the Bravais group must be correct.
     -t    : (Does only work in conjunction with -i) Give
             the transformation matrix which conjugates
             the given group to the group in the catalog.
     -f    : recalculate the form space even if it is given.
             (has an effect only if given with the option -i)

### Remarks

See also for Bravais_catalog/Datei and Q_catalog.
Symbol -i is a synonym for Bravais_type.

### Examples

1. How do the Z-classes in the Q-class of a given group distribute into their Bravais flocks?
2. Find the dual pairs of Bravais groups in family 1;1;1;1
3. Is the normalizer of a given group finite?

Previous Program | Introduction | Next Program