&GaussForHomalg; methods and functions
The Tools

Please note that there are more tool functions you can define, &GaussForHomalg; just provides homalg with a sufficient subset. This varies with the type and complexity of the rings you want to define. On the other hand, is a function specifically designed for &GaussForHomalg;.

<#Include Label="ZeroMatrix"> <#Include Label="IdentityMatrix"> <#Include Label="CopyMatrix"> <#Include Label="ImportMatrix"> <#Include Label="Involution"> <#Include Label="CertainRows"> <#Include Label="CertainColumns"> <#Include Label="UnionOfRows"> <#Include Label="UnionOfColumns"> <#Include Label="DiagMat"> <#Include Label="KroneckerMat"> <#Include Label="Compose"> <#Include Label="NrRows"> <#Include Label="NrColumns"> <#Include Label="IsZeroMatrix"> <#Include Label="IsDiagonalMatrix"> <#Include Label="ZeroRows"> <#Include Label="ZeroColumns">
The Basic Functions and &homalg; table creation
<#Include Label="DecideZeroRows"> <#Include Label="DecideZeroRowsEffectively"> <#Include Label="SyzygiesGeneratorsOfRows"> <#Include Label="RelativeSyzygiesGeneratorsOfRows"> <#Include Label="RowReducedEchelonForm"> <#Include Label="CreateHomalgTable">
Matrix entry manipulation
This is just support for the sparse matrix data type. <#Include Label="GetEntryOfHomalgMatrix"> <#Include Label="SetEntryOfHomalgMatrix"> <#Include Label="AddToEntryOfHomalgMatrix">