CARAT Introduction / Programs / Bravais_grp

Previous Program | Introduction | Next Program

## Program Bravais_grp

### Usage

    Bravais_grp 'file'

file: bravais_TYP containing the finite unimodular group G.

### Description

Calculates generators of the Bravais group B(G) of G. If the space of G-invariant quadratic forms is given in 'file', it relies on its correctness and echoes it in the output. Otherwise it is calculated as well.

### Remarks

See also for Aut_grp (for forms without a group in file).

### Examples

1. Do two given groups have Z-equivalent copies which lie in a finite unimodular group?

Previous Program | Introduction | Next Program