\*, TensorProduct 10.4-10\*, constructor for ideal multiples 7.5-3\*, transfer a module over a different ring 7.2-7\*, transfer a module over a different ring (right) 7.2-7AffineDegree 7.4-17ByASmallerPresentation, for modules 7.5-2CanBeUsedToDecideZeroEffectively 5.3-1CayleyDeterminant 12.5-2CoefficientsOfNumeratorOfHilbertPoincareSeries 7.4-13CoefficientsOfUnreducedNumeratorOfHilbertPoincareSeries 7.4-12Cokernel 10.4-2DataOfHilbertFunction 7.4-18DefectOfExactness 10.4-6ElementaryDivisors 7.4-8Ext 10.4-12ExteriorAlgebra 7.4-7ExteriorPower 12.1-1ExteriorPowerBaseModule 12.2-3ExteriorPowerElementDual 12.4-2ExteriorPowerExponent 12.2-2FittingIdeal 7.4-9functor_Cokernel 10.4-1Functor_Ext 10.4-11Functor_Hom 10.4-7Functor_HomHom 10.4-19functor_ImageObject 10.4-3Functor_LHomHom 10.4-20Functor_LTensorProduct 10.4-17Functor_RHom 10.4-15Functor_TensorProduct 10.4-9Functor_Tor 10.4-13Gcd_UsingCayleyDeterminant 12.5-3HilbertFunction 7.4-19HilbertPoincareSeries 7.4-16Hom 10.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-1HomalgMap, constructor for maps between free modules 8.2-1HomalgRing 8.5-1HomalgRing, for module elements 9.5-1HomalgRing, 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-6ImageObject 10.4-4IndexOfRegularity 7.4-20IsCyclic 7.3-1IsElementOfAModuleGivenByAMorphismRep 9.1-2IsElementOfIntegers 9.3-1IsExteriorPower 12.2-1IsExteriorPowerElement 12.3-1IsFinitelyPresentedModuleOrSubmoduleRep 7.1-2IsFinitelyPresentedModuleRep 7.1-3IsFinitelyPresentedSubmoduleRep 7.1-4IsGeneratorsOfFinitelyGeneratedModuleRep 6.1-5IsGeneratorsOfModuleRep 6.1-4IsHolonomic 7.3-2IsHomalgElement 9.1-1IsHomalgGenerators 6.1-1IsHomalgGeneratorsOfLeftModule 6.1-2IsHomalgGeneratorsOfRightModule 6.1-3IsHomalgMap 8.1-1IsHomalgModule 7.1-1IsHomalgRelations 5.1-1IsHomalgRelationsOfLeftModule 5.1-2IsHomalgRelationsOfRightModule 5.1-3IsHomalgSelfMap 8.1-2IsInjectivePresentation 5.3-2IsMapOfFinitelyGeneratedModulesRep 8.1-3IsPrimeIdeal 7.3-4IsPrimeModule, for modules 7.3-5IsReduced, for generators 6.3-1IsReduced, for modules 7.3-3IsRelationsOfFinitelyPresentedModuleRep 5.1-4IsSymmetricPower 11.2-1Kernel, for maps 10.4-5Kernel, for ring maps 4.2-1KernelEmb, for ring maps 4.1-2KernelSubobject, for ring maps 4.1-1KoszulCocomplex 12.5-1LargestMinimalNumberOfLocalGenerators 7.4-11LeftPresentation, constructor for left modules 7.2-1LeftSubmodule, constructor for left submodules 7.2-10LTensorProduct 10.4-18ModuleOfKaehlerDifferentials 7.4-4NonFlatLocus 7.4-10NumeratorOfHilbertPoincareSeries 7.4-15PreInverse 8.5-2PrimaryDecomposition 7.4-2ProcedureToReadjustGenerators 6.4-1RadicalDecomposition 7.4-3RadicalSubobject 7.4-5ResidueClassRing 7.4-1RHom 10.4-16RightPresentation, constructor for right modules 7.2-2RightSubmodule, constructor for right submodules 7.2-11SingleValueOfExteriorPowerElement 12.4-3Subobject, constructor for submodules using a list of ring elements 7.2-9Subobject, constructor for submodules using matrices 7.2-8SubobjectQuotient, for submodules 7.5-4SymmetricAlgebra 7.4-6SymmetricPower 11.1-1SymmetricPowerBaseModule 11.2-3SymmetricPowerExponent 11.2-2TensorProduct 10.4-10Tor 10.4-14UnreducedNumeratorOfHilbertPoincareSeries 7.4-14Wedge, for elements of exterior powers of free modules 12.4-1
generated by GAPDoc2HTML