GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
<?xml version="1.0" encoding="UTF-8"?>12<!--34Matrices.xml MatricesForHomalg package documentation Mohamed Barakat56Copyright (C) 2007-2009, Mohamed Barakat, RWTH-Aachen78-->910<Chapter Label="Matrices">11<Heading>Matrices</Heading>1213<Section Label="Matrices:Category">14<Heading>Matrices: Category and Representations</Heading>1516<#Include Label="IsHomalgMatrix">1718<#Include Label="IsHomalgInternalMatrixRep">1920</Section>2122<Section Label="Matrices:Constructors">23<Heading>Matrices: Constructors</Heading>2425<#Include Label="HomalgInitialMatrix">26<#Include Label="HomalgInitialIdentityMatrix">27<#Include Label="HomalgZeroMatrix">28<#Include Label="HomalgIdentityMatrix">29<#Include Label="HomalgVoidMatrix">30<#Include Label="HomalgMatrix">31<#Include Label="HomalgDiagonalMatrix">32<#Include Label="\*:MatrixBaseChange">3334</Section>3536<Section Label="Matrices:Properties">37<Heading>Matrices: Properties</Heading>3839<#Include Label="IsZero:matrix">40<#Include Label="IsOne:matrix">41<#Include Label="IsUnitFree">42<#Include Label="IsPermutationMatrix">43<#Include Label="IsSpecialSubidentityMatrix">44<#Include Label="IsSubidentityMatrix">45<#Include Label="IsLeftRegular">46<#Include Label="IsRightRegular">47<#Include Label="IsInvertibleMatrix">48<#Include Label="IsLeftInvertibleMatrix">49<#Include Label="IsRightInvertibleMatrix">50<#Include Label="IsEmptyMatrix">51<#Include Label="IsDiagonalMatrix">52<#Include Label="IsScalarMatrix">53<#Include Label="IsUpperTriangularMatrix">54<#Include Label="IsLowerTriangularMatrix">55<#Include Label="IsStrictUpperTriangularMatrix">56<#Include Label="IsStrictLowerTriangularMatrix">57<#Include Label="IsUpperStairCaseMatrix">58<#Include Label="IsLowerStairCaseMatrix">59<#Include Label="IsTriangularMatrix">60<#Include Label="IsBasisOfRowsMatrix">61<#Include Label="IsBasisOfColumnsMatrix">62<#Include Label="IsReducedBasisOfRowsMatrix">63<#Include Label="IsReducedBasisOfColumnsMatrix">64<#Include Label="IsInitialMatrix">65<#Include Label="IsInitialIdentityMatrix">66<#Include Label="IsVoidMatrix">6768</Section>6970<Section Label="Matrices:Attributes">71<Heading>Matrices: Attributes</Heading>7273<#Include Label="NrRows">74<#Include Label="NrColumns">75<#Include Label="DeterminantMat">76<#Include Label="ZeroRows">77<#Include Label="ZeroColumns">78<#Include Label="NonZeroRows">79<#Include Label="NonZeroColumns">80<#Include Label="PositionOfFirstNonZeroEntryPerRow">81<#Include Label="PositionOfFirstNonZeroEntryPerColumn">82<#Include Label="RowRankOfMatrix">83<#Include Label="ColumnRankOfMatrix">84<#Include Label="LeftInverse">85<#Include Label="RightInverse">8687<#Include Label="CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries">88<#Include Label="CoefficientsOfNumeratorOfHilbertPoincareSeries">89<#Include Label="UnreducedNumeratorOfHilbertPoincareSeries">90<#Include Label="NumeratorOfHilbertPoincareSeries">91<#Include Label="HilbertPoincareSeries">92<#Include Label="HilbertPolynomial">93<#Include Label="AffineDimension">94<#Include Label="AffineDegree">95<#Include Label="ProjectiveDegree">96<#Include Label="ConstantTermOfHilbertPolynomial">97<#Include Label="MatrixOfSymbols">9899</Section>100101<Section Label="Matrices:Operations">102<Heading>Matrices: Operations and Functions</Heading>103104<#Include Label="HomalgRing:matrix">105106<#Include Label="LeftInverse:method">107<#Include Label="RightInverse:method">108109<#Include Label="LeftInverseLazy">110<#Include Label="RightInverseLazy">111112<#Include Label="Involution">113<#Include Label="CertainRows">114<#Include Label="CertainColumns">115<#Include Label="UnionOfRows">116<#Include Label="UnionOfColumns">117<#Include Label="DiagMat">118<#Include Label="KroneckerMat">119<#Include Label="MulMat">120<#Include Label="AddMat">121<#Include Label="SubMat">122<#Include Label="Compose:matrix">123124<#Include Label="EQ:matrix">125126<#Include Label="GetColumnIndependentUnitPositions">127<#Include Label="GetRowIndependentUnitPositions">128<#Include Label="GetUnitPosition">129<#Include Label="Eliminate">130131<#Include Label="BasisOfRowModule">132<#Include Label="BasisOfColumnModule">133<#Include Label="DecideZeroRows">134<#Include Label="DecideZeroColumns">135<#Include Label="SyzygiesGeneratorsOfRows">136<#Include Label="SyzygiesGeneratorsOfColumns">137138<#Include Label="RelativeSyzygiesGeneratorsOfRows">139<#Include Label="RelativeSyzygiesGeneratorsOfColumns">140141<#Include Label="ReducedBasisOfRowModule">142<#Include Label="ReducedBasisOfColumnModule">143<#Include Label="ReducedSyzygiesGeneratorsOfRows">144<#Include Label="ReducedSyzygiesGeneratorsOfColumns">145146<#Include Label="BasisOfRowsCoeff">147<#Include Label="BasisOfColumnsCoeff">148<#Include Label="DecideZeroRowsEffectively">149<#Include Label="DecideZeroColumnsEffectively">150151<#Include Label="BasisOfRows">152<#Include Label="BasisOfColumns">153<#Include Label="DecideZero:matrix_rel">154<#Include Label="SyzygiesOfRows">155<#Include Label="SyzygiesOfColumns">156157<#Include Label="ReducedSyzygiesOfRows">158<#Include Label="ReducedSyzygiesOfColumns">159160<#Include Label="RightDivide">161<#Include Label="LeftDivide">162<#Include Label="RelativeRightDivide">163<#Include Label="RelativeLeftDivide">164165<#Include Label="GenerateSameRowModule">166<#Include Label="GenerateSameColumnModule">167168</Section>169170<!-- ############################################################ -->171172</Chapter>173174175