Read( "../examples/homalg.g" );

files := [
          "gap_ZZ.g",
          "magma_ZZ.g",
          "maple_ZZ.g",
          "sage_ZZ.g",
          "magma_Qx.g",
          "maple_Qx.g",
          ## "sage_Qx.g" ## Sage 4.1.1: no Hermite normal form implemented yet
          ## "singular_Qx.g" ## Singular 3-0-4: buggy Smith normal form of non-quadratic matrices
          ];

for f in files do

    Read( f );
    
    ByASmallerPresentation( W );
    
    B := BasisOfModule( W );
    
    Display( B );
    Display( W );
    
    Print( "\n--------------------------------\n" );
    
od;