Index

Modules.-3\*, constructor for ideal multiples 7.5-3
TensorProduct 10.4-10
transfer a module over a different ring 7.2-7
transfer a module over a different ring (right) 7.2-7AffineDegree7.4-17ByASmallerPresentation, for modules 7.5-2CanBeUsedToDecideZeroEffectively5.3-1CayleyDeterminant12.5-2CoefficientsOfNumeratorOfHilbertPoincareSeries7.4-13CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries7.4-12Cokernel10.4-2DataOfHilbertFunction7.4-18DefectOfExactness10.4-6ElementaryDivisors7.4-8Ext10.4-12ExteriorAlgebra7.4-7ExteriorPower12.1-1ExteriorPowerBaseModule12.2-3ExteriorPowerElementDual12.4-2ExteriorPowerExponent12.2-2FittingIdeal7.4-9functor_Cokernel10.4-1Functor_Ext10.4-11Functor_Hom10.4-7Functor_HomHom10.4-19functor_ImageObject10.4-3Functor_LHomHom10.4-20Functor_LTensorProduct10.4-17Functor_RHom10.4-15Functor_TensorProduct10.4-9Functor_Tor10.4-13Gcd_UsingCayleyDeterminant12.5-3HilbertFunction7.4-19HilbertPoincareSeries7.4-16Hom10.4-8HomalgFreeLeftModule, constructor for free left modules 7.2-3HomalgFreeRightModule, constructor for free right modules 7.2-4HomalgIdentityMap, constructor for identity maps 8.2-3HomalgMap, constructor for maps 8.2-1
constructor for maps between free modules 8.2-1HomalgRing8.5-1
for module elements 9.5-1
for modules 7.5-1HomalgZeroLeftModule, constructor for zero left modules 7.2-5HomalgZeroMap, constructor for zero maps 8.2-2HomalgZeroRightModule, constructor for zero right modules 7.2-6ImageObject10.4-4IndexOfRegularity7.4-20IsCyclic7.3-1IsElementOfAModuleGivenByAMorphismRep9.1-2IsElementOfIntegers9.3-1IsExteriorPower12.2-1IsExteriorPowerElement12.3-1IsFinitelyPresentedModuleOrSubmoduleRep7.1-2IsFinitelyPresentedModuleRep7.1-3IsFinitelyPresentedSubmoduleRep7.1-4IsGeneratorsOfFinitelyGeneratedModuleRep6.1-5IsGeneratorsOfModuleRep6.1-4IsHolonomic7.3-2IsHomalgElement9.1-1IsHomalgGenerators6.1-1IsHomalgGeneratorsOfLeftModule6.1-2IsHomalgGeneratorsOfRightModule6.1-3IsHomalgMap8.1-1IsHomalgModule7.1-1IsHomalgRelations5.1-1IsHomalgRelationsOfLeftModule5.1-2IsHomalgRelationsOfRightModule5.1-3IsHomalgSelfMap8.1-2IsInjectivePresentation5.3-2IsMapOfFinitelyGeneratedModulesRep8.1-3IsPrimeIdeal7.3-4IsPrimeModule, for modules 7.3-5IsReduced, for generators 6.3-1
for modules 7.3-3IsRelationsOfFinitelyPresentedModuleRep5.1-4IsSymmetricPower11.2-1Kernel, for maps 10.4-5
for ring maps 4.2-1KernelEmb, for ring maps 4.1-2KernelSubobject, for ring maps 4.1-1KoszulCocomplex12.5-1LargestMinimalNumberOfLocalGenerators7.4-11LeftPresentation, constructor for left modules 7.2-1LeftSubmodule, constructor for left submodules 7.2-10LTensorProduct10.4-18ModuleOfKaehlerDifferentials7.4-4NonFlatLocus7.4-10NumeratorOfHilbertPoincareSeries7.4-15PreInverse8.5-2PrimaryDecomposition7.4-2ProcedureToReadjustGenerators6.4-1RadicalDecomposition7.4-3RadicalSubobject7.4-5ResidueClassRing7.4-1RHom10.4-16RightPresentation, constructor for right modules 7.2-2RightSubmodule, constructor for right submodules 7.2-11SingleValueOfExteriorPowerElement12.4-3Subobject, constructor for submodules using a list of ring elements 7.2-9
constructor for submodules using matrices 7.2-8SubobjectQuotient, for submodules 7.5-4SymmetricAlgebra7.4-6SymmetricPower11.1-1SymmetricPowerBaseModule11.2-3SymmetricPowerExponent11.2-2TensorProduct10.4-10Tor10.4-14UnreducedNumeratorOfHilbertPoincareSeries7.4-14Wedge, for elements of exterior powers of free modules 12.4-1