file: bravais_TYP containing the finite unimodular group G.
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.
See also for Aut_grp (for forms without a group in file).
- Do two given groups have Z-equivalent copies which lie in a
finite unimodular group?