Previous Program Introduction Next Program

Program Zass_main


Zass_main 'file1' 'file2' ['file3'] ['file4'] [-s] [-c] [-d] [-t]
file1: matrix_TYP containing a presentation for G.
file2: bravais_TYP containing the unimodular group G.


Determines isomorphism type of the cohomology group H^1(G,Q^n/Z^n), or in slight abuse of notation (since for finite G they are isomorphic) the group of extensions H2(G,Qn/Zn).


-s    : writes the system of equations nessecary to
      : determine the H^1(G,**) to file3
-c    : writes the cocycles to or (or if
      : used together with -s) and the denomiantors to
      : (or respectively)
-d    : writes a different output format, which is meant for
      : developing other programs, so do not us this option.
-t    : give transformation matrix.


See also for Extensions/Vector_systems and Presentation.


Previous Program Introduction Next Program