Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 A B C D E F G H I Bib Ind
Top of Book Previous Chapter

### Index

homalg .-3
`\*`, TensorProduct 16.4-12
`\*`, constructor for ideal multiples 9.5-5
`\*`, copy a matrix over a different ring 6.2-8
`\*`, copy a matrix over a different ring (right) 6.2-8
`\*`, for composable matrices 6.5-12
`\*`, for ring elements and matrices 6.5-9
`\*`, transfer a module over a different ring 9.2-7
`\*`, transfer a module over a different ring (right) 9.2-7
`\+`, for matrices 6.5-10
`\-`, for matrices 6.5-11
`\/`, constructor for residue class rings 4.2-3
`\=`, for matrices 6.5-13
`Add`, to complexes given a map 11.5-1
`Add`, to complexes given a matrix 11.5-1
`AddMat`, ResidueClassRing F.2-11
`AddMat`, homalgTable entry D.1-13
`AreEqualMatrices`, ResidueClassRing F.3-1
`AreEqualMatrices`, homalgTable entry D.2-1
`AsDifferentialObject`, for homalg bigraded objects stemming from a bicomplex 14.2-2
`BasisAlgorithmRespectsPrincipalIdeals` 4.3-48
`BasisOfColumnModule`, ResidueClassRing F.1-2
`BasisOfColumnModule`, for matrices 6.5-18
`BasisOfColumns`, for matrices 6.5-34
`BasisOfColumns`, for pairs of matrices 6.5-34
`BasisOfColumnsCoeff`, ResidueClassRing F.1-8
`BasisOfColumnsCoeff`, for matrices 6.5-30
`BasisOfRowModule`, ResidueClassRing F.1-1
`BasisOfRowModule`, for matrices 6.5-17
`BasisOfRows`, for matrices 6.5-33
`BasisOfRows`, for pairs of matrices 6.5-33
`BasisOfRowsCoeff`, ResidueClassRing F.1-7
`BasisOfRowsCoeff`, for matrices 6.5-29
`BettiDiagram`, for complexes 11.4-1
`BettiDiagram`, for modules 9.4-17
`ByASmallerPresentation`, for bicomplexes 13.5-2
`ByASmallerPresentation`, for bigraded objects 14.4-1
`ByASmallerPresentation`, for chain maps 12.5-1
`ByASmallerPresentation`, for complexes 11.5-2
`ByASmallerPresentation`, for maps 10.5-2
`ByASmallerPresentation`, for modules 9.5-2
`ByASmallerPresentation`, for spectral sequences 15.4-1
`CanBeUsedToDecideZeroEffectively` 7.3-1
`CastelnuovoMumfordRegularity` 9.4-18
`CertainColumns`, ResidueClassRing F.2-5
`CertainColumns`, for matrices 6.5-4
`CertainColumns`, homalgTable entry D.1-7
`CertainRows`, ResidueClassRing F.2-4
`CertainRows`, for matrices 6.5-3
`CertainRows`, homalgTable entry D.1-6
`CodegreeOfPurity` 9.4-16
`Codim` 9.4-14
`CoefficientsRing` 4.4-17
`Cokernel` 16.4-2
`CokernelEpi`, for maps 10.4-4
`CokernelNaturalGeneralizedIsomorphism`, for maps 10.4-5
`ColumnRankOfMatrix` 6.4-12
`Compose`, ResidueClassRing F.2-13
`Compose`, homalgTable entry D.1-15
`ComposeFunctors`, constructor for functors given two functors 16.2-7
`ConstructedAsAnIdeal` 9.3-13
`ConstructorForHomalgMatrices` 4.4-6
`ContainsAField` 4.3-1
`CoordinateRingOfGraph`, for ring maps 5.4-4
`CreateHomalgFunctor`, constructor for functors 16.2-1
`DecideZero`, for matrices and relations 6.5-35
`DecideZeroColumns`, ResidueClassRing F.1-4
`DecideZeroColumns`, for pairs of matrices 6.5-20
`DecideZeroColumnsEffectively`, ResidueClassRing F.1-10
`DecideZeroColumnsEffectively`, for pairs of matrices 6.5-32
`DecideZeroRows`, ResidueClassRing F.1-3
`DecideZeroRows`, for pairs of matrices 6.5-19
`DecideZeroRowsEffectively`, ResidueClassRing F.1-9
`DecideZeroRowsEffectively`, for pairs of matrices 6.5-31
`DefectOfExactness` 16.4-8
`DefectOfExactness`, for homalg differential bigraded objects 14.2-3
`DegreeOfMorphism`, for maps 10.4-3
`DegreeOfMorphism`, for ring maps 5.4-3
`DegreeOfTorsionFreeness` 9.4-13
`DegreesOfEntries` 6.4-10
`DegreesOfEntries`, homalgTable entry D.2-9
`Determinant`, ResidueClassRing F.2-17
`Determinant`, homalgTable entry D.1-19
`DeterminantMat` 6.4-3
`DiagMat`, ResidueClassRing F.2-8
`DiagMat`, for matrices 6.5-7
`DiagMat`, homalgTable entry D.1-10
`ElementaryDivisors` 9.4-10
`ElementaryRank` 4.4-23
`EmbeddingInSuperObject` 9.4-4
`Eval`, for matrices created with AddMat E.4-13
`Eval`, for matrices created with CertainColumns E.4-7
`Eval`, for matrices created with CertainRows E.4-6
`Eval`, for matrices created with Compose E.4-15
`Eval`, for matrices created with DiagMat E.4-10
`Eval`, for matrices created with HomalgIdentityMatrix E.4-4
`Eval`, for matrices created with HomalgInitialIdentityMatrix E.4-2
`Eval`, for matrices created with HomalgInitialMatrix E.4-1
`Eval`, for matrices created with HomalgZeroMatrix E.4-3
`Eval`, for matrices created with Involution E.4-5
`Eval`, for matrices created with KroneckerMat E.4-11
`Eval`, for matrices created with LeftInverse E.4-16
`Eval`, for matrices created with MulMat E.4-12
`Eval`, for matrices created with RightInverse E.4-17
`Eval`, for matrices created with SubMat E.4-14
`Eval`, for matrices created with UnionOfColumns E.4-9
`Eval`, for matrices created with UnionOfRows E.4-8
`Ext` 16.4-14
`FactorObject` 9.4-5
`FiniteFreeResolutionExists` 9.3-4
`FreeResolution` 7.4-1
`FullSubmodule` 9.4-3
`functor_Cokernel` 16.4-1
`functor_DefectOfExactness` 16.4-7
`Functor_Ext` 16.4-13
`Functor_Hom` 16.4-9
`Functor_HomHom` 16.4-21
`functor_ImageModule` 16.4-3
`functor_Kernel` 16.4-5
`Functor_LHomHom` 16.4-22
`Functor_LTensorProduct` 16.4-19
`Functor_RHom` 16.4-17
`Functor_TensorProduct` 16.4-11
`Functor_Tor` 16.4-15
`GeneralizedEmbeddingsInTotalDefects` 15.3-2
`GeneralizedEmbeddingsInTotalObjects` 15.3-1
`GeneralLinearRank` 4.4-22
`GenerateSameColumnModule`, for pairs of matrices 6.5-45
`GenerateSameRowModule`, for pairs of matrices 6.5-44
`Genesis` 16.3-1
`GetColumnIndependentUnitPositions`, for matrices 6.5-14
`GetColumnIndependentUnitPositions`, homalgTable entry D.2-6
`GetRowIndependentUnitPositions`, for matrices 6.5-15
`GetRowIndependentUnitPositions`, homalgTable entry D.2-7
`GetUnitPosition`, for matrices 6.5-16
`GetUnitPosition`, homalgTable entry D.2-8
`GlobalDimension` 4.4-21
`HasConstantRank` 9.3-12
`HasInvariantBasisProperty` 4.3-18
`HasLeftInvariantBasisProperty` 4.3-19
`HasRightInvariantBasisProperty` 4.3-20
`Hom` 16.4-10
`HomalgBicomplex`, constructor for bicomplexes given a complex of complexes 13.2-1
`HomalgBigradedObject`, constructor for bigraded objects given a bicomplex 14.2-1
`HomalgChainMap`, constructor for chain maps given a map 12.2-1
`HomalgCocomplex`, constructor for cocomplexes given a chain map 11.2-2
`HomalgCocomplex`, constructor for cocomplexes given a complex 11.2-2
`HomalgCocomplex`, constructor for cocomplexes given a map 11.2-2
`HomalgCocomplex`, constructor for cocomplexes given a module 11.2-2
`HomalgComplex`, constructor for complexes given a chain map 11.2-1
`HomalgComplex`, constructor for complexes given a complex 11.2-1
`HomalgComplex`, constructor for complexes given a map 11.2-1
`HomalgComplex`, constructor for complexes given a module 11.2-1
`HomalgDiagonalMatrix`, constructor for diagonal matrices 6.2-7
`HomalgFieldOfRationals`, constructor for the field of rationals 4.2-2
`HomalgFreeLeftModule`, constructor for free left modules 9.2-3
`HomalgFreeRightModule`, constructor for free right modules 9.2-4
`HomalgIdentityMap`, constructor for identity maps 10.2-3
`HomalgIdentityMatrix`, constructor for identity matrices 6.2-4
`HomalgInitialIdentityMatrix`, constructor for initial quadratic matrices with ones on the diagonal 6.2-2
`HomalgInitialMatrix`, constructor for initial matrices filled with zeros 6.2-1
`HomalgMap`, constructor for maps 10.2-1
`HomalgMap`, constructor for maps between free modules 10.2-1
`HomalgMatrix`, constructor for matrices using a list 6.2-6
`HomalgMatrix`, constructor for matrices using a listlist 6.2-6
`HomalgMatrix`, constructor for matrices using a string of a list 6.2-6
`HomalgMatrix`, constructor for matrices using a string of a listlist 6.2-6
`homalgMode` G.2-1
`HomalgRing`, for maps 10.5-1
`HomalgRing`, for matrices 6.5-1
`HomalgRing`, for modules 9.5-1
`HomalgRingOfIntegers`, constructor for the integers 4.2-1
`HomalgRingOfIntegers`, constructor for the residue class rings of the integers 4.2-1
`HomalgSpectralSequence`, constructor for spectral sequences given a bicomplex 15.2-1
`HomalgSpectralSequence`, constructor for spectral sequences without a special sheet given a bicomplex 15.2-1
`HomalgSpectralSequence`, constructor for spectral sequences without bound and without a special sheet given a bicomplex 15.2-1
`HomalgSpectralSequence`, constructor for spectral sequences without bound given a bicomplex 15.2-1
`homalgTable` 4.4-3
`HomalgVoidMatrix`, constructor for void matrices 6.2-5
`HomalgZeroLeftModule`, constructor for zero left modules 9.2-5
`HomalgZeroMap`, constructor for zero maps 10.2-2
`HomalgZeroMatrix`, constructor for zero matrices 6.2-3
`HomalgZeroRightModule`, constructor for zero right modules 9.2-6
`IdentityMatrix`, ResidueClassRing F.2-2
`IdentityMatrix`, homalgTable entry D.1-4
`IdentityMatrix`, homalgTable entry for initial identity matrices D.1-2
`ImageModule` 16.4-4
`ImageModuleEmb`, for maps 10.4-9
`ImageModuleEpi`, for maps 10.4-10
`ImageSubmodule`, for maps 10.4-8
`IndeterminateAntiCommutingVariablesOfExteriorRing` 4.4-13
`IndeterminateCoordinatesOfRingOfDerivations` 4.4-11
`IndeterminateDerivationsOfRingOfDerivations` 4.4-12
`IndeterminatesOfExteriorRing` 4.4-14
`IndeterminatesOfPolynomialRing` 4.4-10
`InsertObjectInMultiFunctor`, constructor for functors given a multi-functor and an object 16.2-2
`InstallDeltaFunctor` 16.7-3
`InstallFunctor` 16.7-2
`Involution`, ResidueClassRing F.2-3
`Involution`, for matrices 6.5-2
`Involution`, homalgTable entry D.1-5
`IsAcyclic` 11.3-3
`IsArtinian`, for modules 9.3-7
`IsArtinian`, for rings 4.3-33
`IsAutomorphism`, for chain maps 12.3-12
`IsAutomorphism`, for maps 10.3-12
`IsAutomorphism`, for ring maps 5.3-6
`IsBasisOfColumnsMatrix` 6.3-22
`IsBasisOfRowsMatrix` 6.3-21
`IsBezoutRing` 4.3-7
`IsBicocomplexOfFinitelyPresentedObjectsRep` 13.1-3
`IsBicomplex` 13.3-2
`IsBicomplexOfFinitelyPresentedObjectsRep` 13.1-2
`IsBigradedObjectOfFinitelyPresentedObjectsRep` 14.1-5
`IsBisequence` 13.3-1
`IsChainMapOfFinitelyPresentedObjectsRep` 12.1-3
`IsCochainMapOfFinitelyPresentedObjectsRep` 12.1-4
`IsCocomplexOfFinitelyPresentedObjectsRep` 11.1-3
`IsComplex` 11.3-2
`IsComplexOfFinitelyPresentedObjectsRep` 11.1-2
`IsCyclic` 9.3-8
`IsDedekindDomain` 4.3-11
`IsDiagonalMatrix` 6.3-12
`IsDiagonalMatrix`, ResidueClassRing F.3-3
`IsDiagonalMatrix`, homalgTable entry D.2-3
`IsDiscreteValuationRing` 4.3-12
`IsDivisionRingForHomalg` 4.3-4
`IsEmptyMatrix` 6.3-11
`IsEndowedWithDifferential` 14.3-1
`IsEpimorphism`, for chain maps 12.3-8
`IsEpimorphism`, for maps 10.3-8
`IsEpimorphism`, for ring maps 5.3-4
`IsExactSequence` 11.3-7
`IsExactTriangle` 11.3-11
`IsFieldForHomalg` 4.3-3
`IsFiniteFreePresentationRing` 4.3-43
`IsFinitelyPresentedModuleOrSubmoduleRep` 9.1-2
`IsFinitelyPresentedModuleRep` 9.1-3
`IsFinitelyPresentedSubmoduleRep` 9.1-4
`IsFree` 9.3-1
`IsFreePolynomialRing` 4.3-13
`IsGeneralizedEpimorphism`, for chain maps 12.3-3
`IsGeneralizedEpimorphism`, for maps 10.3-3
`IsGeneralizedIsomorphism`, for chain maps 12.3-5
`IsGeneralizedIsomorphism`, for maps 10.3-5
`IsGeneralizedMonomorphism`, for chain maps 12.3-4
`IsGeneralizedMonomorphism`, for maps 10.3-4
`IsGeneralizedMorphism`, for chain maps 12.3-2
`IsGeneralizedMorphism`, for maps 10.3-2
`IsGeneratorsOfFinitelyGeneratedModuleRep` 8.1-4
`IsGlobalDimensionFinite` 4.3-15
`IsGradedMorphism`, for chain maps 12.3-13
`IsGradedObject` 11.3-6
`IsHereditary` 4.3-24
`IsHermite` 4.3-27
`IsHolonomic` 9.3-10
`IsHomalgBicomplex` 13.1-1
`IsHomalgBigradedObject` 14.1-1
`IsHomalgBigradedObjectAssociatedToABicomplex` 14.1-4
`IsHomalgBigradedObjectAssociatedToAFilteredComplex` 14.1-3
`IsHomalgBigradedObjectAssociatedToAnExactCouple` 14.1-2
`IsHomalgChainMap` 12.1-1
`IsHomalgChainSelfMap` 12.1-2
`IsHomalgComplex` 11.1-1
`IsHomalgFunctor` 16.1-1
`IsHomalgFunctorRep` 16.1-2
`IsHomalgGenerators` 8.1-1
`IsHomalgGeneratorsOfLeftModule` 8.1-2
`IsHomalgGeneratorsOfRightModule` 8.1-3
`IsHomalgInternalMatrixRep` 6.1-2
`IsHomalgInternalRingRep` 4.1-4
`IsHomalgMap` 10.1-1
`IsHomalgMatrix` 6.1-1
`IsHomalgModule` 9.1-1
`IsHomalgRelations` 7.1-1
`IsHomalgRelationsOfLeftModule` 7.1-2
`IsHomalgRelationsOfRightModule` 7.1-3
`IsHomalgRing` 4.1-1
`IsHomalgRingElement` 4.1-3
`IsHomalgRingMap` 5.1-1
`IsHomalgRingMapRep` 5.1-3
`IsHomalgRingSelfMap` 5.1-2
`IsHomalgSelfMap` 10.1-2
`IsHomalgSpectralSequence` 15.1-1
`IsHomalgSpectralSequenceAssociatedToABicomplex` 15.1-4
`IsHomalgSpectralSequenceAssociatedToAFilteredComplex` 15.1-3
`IsHomalgSpectralSequenceAssociatedToAnExactCouple` 15.1-2
`IsIdentityMatrix` 6.3-2
`IsIdentityMatrix`, ResidueClassRing F.3-2
`IsIdentityMatrix`, homalgTable entry D.2-2
`IsIdentityMorphism`, for chain maps 12.3-6
`IsIdentityMorphism`, for maps 10.3-6
`IsIdentityMorphism`, for ring maps 5.3-2
`IsInitialIdentityMatrix` 6.3-27
`IsInitialMatrix` 6.3-26
`IsInjectivePresentation` 7.3-2
`IsIntegersForHomalg` 4.3-5
`IsIntegralDomain` 4.3-23
`IsIntegrallyClosedDomain` 4.3-8
`IsInvertibleMatrix` 6.3-8
`IsIsomorphism`, for chain maps 12.3-11
`IsIsomorphism`, for maps 10.3-11
`IsIsomorphism`, for ring maps 5.3-5
`IsKaplanskyHermite` 4.3-10
`IsLeftAcyclic` 11.3-5
`IsLeftArtinian` 4.3-34
`IsLeftFiniteFreePresentationRing` 4.3-44
`IsLeftGlobalDimensionFinite` 4.3-16
`IsLeftHereditary` 4.3-25
`IsLeftHermite` 4.3-28
`IsLeftInvertibleMatrix` 6.3-9
`IsLeftNoetherian` 4.3-31
`IsLeftOreDomain` 4.3-37
`IsLeftPrincipalIdealRing` 4.3-40
`IsLeftRegularMatrix` 6.3-6
`IsLocalRing` 4.3-21
`IsLowerStairCaseMatrix` 6.3-19
`IsLowerTriangularMatrix` 6.3-15
`IsMapOfFinitelyGeneratedModulesRep` 10.1-3
`IsMinusOne` 4.3-49
`IsMonomorphism`, for chain maps 12.3-7
`IsMonomorphism`, for maps 10.3-7
`IsMonomorphism`, for ring maps 5.3-3
`IsMorphism`, for chain maps 12.3-1
`IsMorphism`, for maps 10.3-1
`IsMorphism`, for ring maps 5.3-1
`IsMutableMatrix` 6.3-25
`IsNoetherian` 4.3-30
`IsOreDomain` 4.3-36
`IsPermutationMatrix` 6.3-3
`IsPreHomalgRing` 4.1-2
`IsPrimeIdeal` 9.3-14
`IsPrincipalIdealRing` 4.3-39
`IsProjective` 9.3-3
`IsPure` 9.3-11
`IsQuasiIsomorphism`, for chain maps 12.3-14
`IsRationalsForHomalg` 4.3-2
`IsReduced` 8.3-1
`IsReducedBasisOfColumnsMatrix` 6.3-24
`IsReducedBasisOfRowsMatrix` 6.3-23
`IsReflexive` 9.3-5
`IsRegular` 4.3-42
`IsRelationsOfFinitelyPresentedModuleRep` 7.1-4
`IsResidueClassRingOfTheIntegers` 4.3-6
`IsRightAcyclic` 11.3-4
`IsRightArtinian` 4.3-35
`IsRightFiniteFreePresentationRing` 4.3-45
`IsRightGlobalDimensionFinite` 4.3-17
`IsRightHereditary` 4.3-26
`IsRightHermite` 4.3-29
`IsRightInvertibleMatrix` 6.3-10
`IsRightNoetherian` 4.3-32
`IsRightOreDomain` 4.3-38
`IsRightPrincipalIdealRing` 4.3-41
`IsRightRegularMatrix` 6.3-7
`IsScalarlMatrix` 6.3-13
`IsSemiLocalRing` 4.3-22
`IsSemiSimpleRing` 4.3-47
`IsSequence` 11.3-1
`IsShortExactSequence` 11.3-8
`IsSimpleRing` 4.3-46
`IsSpecialSubidentityMatrix` 6.3-4
`IsSpectralCosequenceOfFinitelyPresentedObjectsRep` 15.1-6
`IsSpectralSequenceOfFinitelyPresentedObjectsRep` 15.1-5
`IsSplitEpimorphism`, for chain maps 12.3-10
`IsSplitEpimorphism`, for maps 10.3-10
`IsSplitMonomorphism`, for chain maps 12.3-9
`IsSplitMonomorphism`, for maps 10.3-9
`IsSplitShortExactSequence` 11.3-9
`IsStableSheet` 14.3-2
`IsStablyFree` 9.3-2
`IsStrictLowerTriangularMatrix` 6.3-17
`IsStrictUpperTriangularMatrix` 6.3-16
`IsSubidentityMatrix` 6.3-5
`IsTorsion` 9.3-9
`IsTorsionFree` 9.3-6
`IsTransposedWRTTheAssociatedComplex` 13.3-3
`IsTriangle` 11.3-10
`IsTriangularMatrix` 6.3-20
`IsUniqueFactorizationDomain` 4.3-9
`IsUpperStairCaseMatrix` 6.3-18
`IsUpperTriangularMatrix` 6.3-14
`IsVoidMatrix` 6.3-28
`IsWeylRing` 4.3-14
`IsZero`, for matrices 6.3-1
`IsZeroMatrix`, ResidueClassRing F.2-14
`IsZeroMatrix`, homalgTable entry D.1-16
`Kernel`, for maps 16.4-6
`Kernel`, for ring maps 5.5-1
`KernelEmb`, for maps 10.4-7
`KernelEmb`, for ring maps 5.4-6
`KernelSubmodule`, for maps 10.4-6
`KernelSubmodule`, for ring maps 5.4-5
`KroneckerMat`, ResidueClassRing F.2-9
`KroneckerMat`, for matrices 6.5-8
`KroneckerMat`, homalgTable entry D.1-11
`KrullDimension` 4.4-18
`LeftDerivedFunctor`, constructor of the left derived functor of a covariant functor 16.2-6
`LeftDivide`, for pairs matrices and a set of relations 6.5-43
`LeftDivide`, for pairs of matrices 6.5-41
`LeftDivide`, for triples of matrices 6.5-43
`LeftGlobalDimension` 4.4-19
`LeftInverse`, for matrices 6.4-13
`LeftPresentation`, constructor for left modules 9.2-1
`LeftSatelliteOfFunctor`, constructor of the left satellite of a covariant functor 16.2-4
`LeftSubmodule`, constructor for left submodules 9.2-11
`LTensorProduct` 16.4-20
`MatrixOfWeightsOfIndeterminates` 4.4-16
`MinusOne` 4.4-9
`MorphismAidMap`, for maps 10.4-11
`MulMat`, ResidueClassRing F.2-10
`MulMat`, homalgTable entry D.1-12
`NameOfFunctor` 16.7-1
`NatTrIdToHomHom_R`, for maps 9.4-8
`NonZeroColumns` 6.4-7
`NonZeroRows` 6.4-6
`NrColumns` 6.4-2
`NrColumns`, ResidueClassRing F.2-16
`NrColumns`, homalgTable entry D.1-18
`NrRows` 6.4-1
`NrRows`, ResidueClassRing F.2-15
`NrRows`, homalgTable entry D.1-17
`One`, for homalg ring elements 4.4-2
`One`, for homalg rings 4.4-8
`PositionOfFirstNonZeroEntryPerColumn` 6.4-9
`PositionOfFirstNonZeroEntryPerRow` 6.4-8
`PreInverse`, for maps 10.5-3
`PrimaryDecomposition` 9.4-9
`ProcedureToReadjustGenerators` 8.4-1
`ProjectiveDimension` 9.4-12
`PurityFiltration` 9.4-15
`Range`, for chain maps 12.4-2
`Range`, for maps 10.4-2
`Range`, for ring maps 5.4-2
`RankOfModule` 9.4-11
`ReducedBasisOfColumnModule`, for matrices 6.5-26
`ReducedBasisOfRowModule`, for matrices 6.5-25
`ReducedSyzygiesGeneratorsOfColumns`, for matrices 6.5-28
`ReducedSyzygiesGeneratorsOfRows`, for matrices 6.5-27
`ReducedSyzygiesOfColumns`, for matrices 6.5-39
`ReducedSyzygiesOfColumns`, for pairs of matrices 6.5-39
`ReducedSyzygiesOfRows`, for matrices 6.5-38
`ReducedSyzygiesOfRows`, for pairs of matrices 6.5-38
`RelativeSyzygiesGeneratorsOfColumns`, ResidueClassRing F.1-12
`RelativeSyzygiesGeneratorsOfRows`, ResidueClassRing F.1-11
`ResidueClassRing` 9.4-6
`RHom` 16.4-18
`RightDerivedCofunctor`, constructor of the right derived functor of a contravariant functor 16.2-5
`RightDivide`, for pairs matrices and a set of relations 6.5-42
`RightDivide`, for pairs of matrices 6.5-40
`RightDivide`, for triples of matrices 6.5-42
`RightGlobalDimension` 4.4-20
`RightInverse`, for matrices 6.4-14
`RightPresentation`, constructor for right modules 9.2-2
`RightSatelliteOfCofunctor`, constructor of the right satellite of a contravariant functor 16.2-3
`RightSubmodule`, constructor for right submodules 9.2-12
`RingElementConstructor` 4.4-4
`RingMap`, constructor for ring maps 5.2-1
`RowRankOfMatrix` 6.4-11
`Saturate`, for ideals 9.5-7
`Source`, for chain maps 12.4-1
`Source`, for maps 10.4-1
`Source`, for ring maps 5.4-1
`SpectralSequence`, for bicomplexes 13.4-2
`StableRank` 4.4-24
`SubMat`, ResidueClassRing F.2-12
`SubMat`, homalgTable entry D.1-14
`SubmoduleQuotient`, for submodules 9.5-6
`Subobject`, constructor for submodules using a list of ring elements 9.2-10
`Subobject`, constructor for submodules using maps 9.2-8
`Subobject`, constructor for submodules using matrices 9.2-9
`SuperObject`, for submodules 9.5-4
`SyzygiesGeneratorsOfColumns`, ResidueClassRing F.1-6
`SyzygiesGeneratorsOfColumns`, for matrices 6.5-22
`SyzygiesGeneratorsOfColumns`, for pairs of matrices 6.5-24
`SyzygiesGeneratorsOfRows`, ResidueClassRing F.1-5
`SyzygiesGeneratorsOfRows`, for matrices 6.5-21
`SyzygiesGeneratorsOfRows`, for pairs of matrices 6.5-23
`SyzygiesOfColumns`, for matrices 6.5-37
`SyzygiesOfColumns`, for pairs of matrices 6.5-37
`SyzygiesOfRows`, for matrices 6.5-36
`SyzygiesOfRows`, for pairs of matrices 6.5-36
`TensorProduct` 16.4-12
`TheIdentityMorphism` 9.4-2
`TheZeroMorphism` 9.4-1
`Tor` 16.4-16
`TotalComplex` 13.4-1
`TypeOfHomalgMatrix` 4.4-5
`UnderlyingComplex` 13.5-1
`UnderlyingObject`, for submodules 9.5-3
`UnderlyingSubobject` 9.4-7
`UnionOfColumns`, ResidueClassRing F.2-7
`UnionOfColumns`, for matrices 6.5-6
`UnionOfColumns`, homalgTable entry D.1-9
`UnionOfRows`, ResidueClassRing F.2-6
`UnionOfRows`, for matrices 6.5-5
`UnionOfRows`, homalgTable entry D.1-8
`WeightsOfIndeterminates` 4.4-15
`Zero`, for homalg ring elements 4.4-1
`Zero`, for homalg rings 4.4-7
`ZeroColumns` 6.4-5
`ZeroColumns`, ResidueClassRing F.3-5
`ZeroColumns`, homalgTable entry D.2-5
`ZeroMatrix`, ResidueClassRing F.2-1
`ZeroMatrix`, homalgTable entry D.1-3
`ZeroMatrix`, homalgTable entry for initial matrices D.1-1
`ZeroRows` 6.4-4
`ZeroRows`, ResidueClassRing F.3-4
`ZeroRows`, homalgTable entry D.2-4

Top of Book Previous Chapter
Goto Chapter: Top 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 A B C D E F G H I Bib Ind

generated by GAPDoc2HTML