&GaussForHomalg; methods and functions
The field of rationals <#Include Label="HomalgFieldOfRationals">
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="DualKroneckerMat"> <#Include Label="Compose"> <#Include Label="NumberRows"> <#Include Label="NumberColumns"> <#Include Label="IsZeroMatrix"> <#Include Label="IsDiagonalMatrix"> <#Include Label="ZeroRows"> <#Include Label="ZeroColumns">
The Basic Functions and &homalg; table creation <#Include Label="ReducedRowEchelonForm"> <#Include Label="CreateHomalgTable">
Matrix entry manipulation This is just support for the sparse matrix data type. <#Include Label="MatElm"> <#Include Label="SetMatElm"> <#Include Label="AddToMatElm">