Revision c206b9035f722ce969cde24cacd05182e6434754 authored by Mohamed Barakat on 08 July 2015, 14:52:28 UTC, committed by Mohamed Barakat on 09 July 2015, 16:29:50 UTC
1 parent e2f711d
Raw File
all.g
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;
back to top