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
- Do two given groups have Z-equivalent copies which lie in a
finite unimodular group?