gap> LoadPackage( "GaussForHomalg", false ); Q := HomalgFieldOfRationals( ); Display( SyzygiesOfRows( HomalgMatrix( [ [ -1, 0, -1, 0 ], [ 0, -1, 0, -1 ], [ 2, 0, 2, 0 ] ], 3, 4, Q ) ) );
true
Q
[ [ 2, 0, 1 ] ]
julia> using MatricesForHomalg; Q = HomalgFieldOfRationals( ); display( SyzygiesOfRows( HomalgMatrix( [ [ -1, 0, -1, 0 ], [ 0, -1, 0, -1 ], [ 2, 0, 2, 0 ] ], 3, 4, Q ) ) );
[1//1 0//1 1//2]
Note that Julia seems to normalize the first entry of the row to 1. I'm not sure if something can be done about this, but it might get important in the context of other variants of SyzygiesOfRows, for example ReducedSyzygiesOfRows.
Note that Julia seems to normalize the first entry of the row to 1. I'm not sure if something can be done about this, but it might get important in the context of other variants of SyzygiesOfRows, for example
ReducedSyzygiesOfRows.