| Previous Example | Introduction | Next Example |
Bravais_catalog
and input 1;1;1;1 as family symbol.
Bravais_catalog
and input 4-1 as family symbol. Write all Bravais groups in this
family to a file 'B'. There are two groups in file 'B' now. We
want the Bravais group of the form represented by the unit
matrix, which is the first group. The idea is that any of the
subgroups of this group is Z-equivalent (actually equal) to its
transposed.
Bravais_inclusions B > Bin
grep 1\;1\;1\;1 Bin
We get the file 'Bin' and the output
Symbol: 1;1;1;1 homogeneously d.: 1 zclass: 2
Symbol: 1;1;1;1 homogeneously d.: 1 zclass: 1
Symbol: 1;1;1;1 homogeneously d.: 1 zclass: 5
Symbol: 1;1;1;1 homogeneously d.: 1 zclass: 9
We find that the groups 1;1;1;1_1_i with i = 1, 2, 5, or 9 contain
the unit matrix in their form space (at least up to
Z-equivalence).
Tr_bravais b3 > b3t
Bravais_type b3t > b3type
to find that 1;1;1;1_1_3 and 1;1;1;1_1_6 are paired. Similarly
one finds that 1;1;1;1_1_4 and 1;1;1;1_1_8 are paired and that
1;1;1;1_1_7 is paired to itself (without fixing I_4).| Previous Example | Introduction | Next Example |