Index

CleanColumnUsingMonicUptoUnit, for IsHomalgMatrix, IsInt 2.3-2
CleanRowUsingMonicUptoUnit, for IsHomalgMatrix, IsInt 2.2-2
EliminateIfColumnObsoleteForUnimodularity, for IsHomalgMatrix 2.2-6
EliminateIfRowObsoleteForUnimodularity, for IsHomalgMatrix 2.3-6
EliminateIfRowObsoleteForUnimodularityAsRightInverse, for IsHomalgMatrix 2.1-1
EliminateUnimodularPairPositionPerColumn, for IsHomalgMatrix 2.3-8
EliminateUnimodularPairPositionPerColumnAsRightInverse, for IsHomalgMatrix 2.1-3
EliminateUnimodularPairPositionPerRow, for IsHomalgMatrix 2.2-8
EliminateUnitInAColumn, for IsHomalgMatrix 2.3-9
EliminateUnitInAColumnAsRightInverse, for IsHomalgMatrix 2.1-2
EliminateUnitInARow, for IsHomalgMatrix 2.2-9
GetFirstMonicOfSmallestDegreeInColumn, for IsHomalgMatrix, IsInt 2.3-1
GetFirstMonicOfSmallestDegreeInRow, for IsHomalgMatrix, IsInt 2.2-1
GetObsoleteColumnForUnimodularity, for IsHomalgMatrix 2.2-5
    for IsHomalgMatrix, IsList 2.2-3
    for IsHomalgMatrix, IsList, IsList 2.2-4
GetObsoleteRowForUnimodularity, for IsHomalgMatrix 2.3-5
    for IsHomalgMatrix, IsList 2.3-3
    for IsHomalgMatrix, IsList, IsList 2.3-4
GetUnimodularPairPositionPerColumn, for IsHomalgMatrix 2.3-7
GetUnimodularPairPositionPerRow, for IsHomalgMatrix 2.2-7
Horrocks, for IsHomalgMatrix, IsInt 1.1-3
Patch, for IsHomalgMatrix, IsList, IsList 1.1-4
QuillenSuslin, for IsHomalgMatrix 1.2-2
QuillenSuslinUnipotent, for IsHomalgMatrix 1.2-1
SuslinLemma, for IsHomalgMatrix, IsInt, IsInt, IsInt 1.1-2
    for IsHomalgRingElement, IsHomalgRingElement, IsInt 1.1-1