| 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 |