Index

\[\], for IsObjectInZariskiCoframe, IsInt 3.4-1
AClosedPoint, for IsObjectInThinCategory 1.5-14
AClosedSingleton, for IsObjectInThinCategory 1.5-11
AClosedSuperset, for IsObjectInThinCategory 1.5-1
AffineApproximation, for IsObjectInThinCategory 1.4-12
AsDifferenceOfClosed, for IsObjectInZariskiFrame 2.2-4
BaseOfFibration, for IsObjectInZariskiFrameOrCoframe 1.4-3
    for IsZariskiFrameOrCoframe 1.4-2
BestUnderlyingColumn, for IsObjectInZariskiFrameOrCoframe 1.5-2
CanonicalObject, for IsObjectInZariskiFrameOrCoframe 1.4-13
ClosedSubsetOfBaseWithFreeFibersOverComplement, for IsObjectInZariskiCoframeOfAnAffineVariety 7.2-13
ClosedSubsetOfBaseWithFreeFibersOverComplementOrEmpty, for IsObjectInZariskiCoframeOfAnAffineVariety 7.2-12
ClosedSubsetOfProj, for IsHomalgMatrix 10.3-2
    for IsString, IsHomalgRing 10.3-2
ClosedSubsetOfProjByListOfColumns, for IsList 10.3-2
ClosedSubsetOfProjByRadicalColumn, for IsHomalgMatrix 10.3-3
    for IsString, IsHomalgRing 10.3-3
ClosedSubsetOfProjByStandardColumn, for IsHomalgMatrix 10.3-4
    for IsString, IsHomalgRing 10.3-4
ClosedSubsetOfSpec, for IsHomalgMatrix 6.2-2
    for IsHomalgRingElement 6.2-2
    for IsString, IsHomalgRing 6.2-2
ClosedSubsetOfSpecByListOfColumns, for IsList 6.2-2
ClosedSubsetOfSpecByListOfRadicalColumns, for IsList 6.2-2
ClosedSubsetOfSpecByRadicalColumn, for IsHomalgMatrix 6.2-3
    for IsHomalgRingElement 6.2-3
    for IsString, IsHomalgRing 6.2-3
ClosedSubsetOfSpecByStandardColumn, for IsHomalgMatrix 6.2-4
    for IsHomalgRingElement 6.2-4
    for IsString, IsHomalgRing 6.2-4
ClosedSubsetWithGenericallyZeroDimensionalFibers, for IsObjectInZariskiCoframeOfAnAffineVariety, IsHomalgMatrix, IsHomalgMatrix 7.2-11
ClosedSubsetWithGenericallyZeroDimensionalFibersOnComponentOfProjection, for IsObjectInZariskiCoframe 12.2-2
Closure, for IsObjectInZariskiFrameOrCoframe 1.4-4
ClosureOfImage, for IsHomalgRingMap 7.1-4
ClosureOfProjection, for IsObjectInZariskiCoframeOfAnAffineVariety 7.1-3
ComplementAsClosedSubset, for IsObjectInZariskiFrame 2.2-3
ConstructibleImage, for IsHomalgRingMap 12.2-8
ConstructibleProjection, for IsObjectInThinCategory 12.2-7
DecreaseCodimensionByFixingVariables, for IsObjectInZariskiCoframe 12.2-1
DegreeOfComplement, for IsObjectInZariskiFrame 2.2-2
Dimension, for IsObjectInZariskiCoframe 3.3-1
DimensionOfComplement, for IsObjectInZariskiFrame 2.2-1
DimensionsOfFibrationAtClosedPoint, for IsObjectInZariskiCoframeOfAnAffineVariety, IsHomalgMatrix, IsHomalgMatrix 7.2-7
    for IsObjectInZariskiCoframeOfAnAffineVariety, IsList, IsList 7.2-8
DistinguishedLocallyClosedPart, for IsConstructibleObject 1.4-11
    for IsObjectInMeetSemilatticeOfDifferences 1.4-10
    for IsObjectInZariskiFrameOrCoframe 1.4-9
DistinguishedQuasiAffineSet, for IsList 4.2-1
    for IsList, IsList 4.2-1
    for IsList, IsList, IsHomalgRing, IsObject 4.2-1
    for IsList, IsList, IsObject 4.2-1
EmbeddedComplementOfTangentSpaceOfFiberAtPoint, for IsObjectInZariskiCoframeOfAnAffineVariety, IsHomalgMatrix, IsHomalgMatrix 7.2-9
    for IsObjectInZariskiCoframeOfAnAffineVariety, IsList, IsList 7.2-10
EmbedInSmallerAmbientSpace, for IsObjectInThinCategory 1.5-10
EmbedInSmallerAmbientSpaceByEmbeddingAClosedSuperset, for IsObjectInThinCategory 1.5-9
FactorizeObject, for IsObjectInZariskiCoframe 3.3-2
FiberOfProjectionOverBasePoint, for IsObjectInZariskiCoframeOfAnAffineVariety, IsHomalgMatrix 7.2-3
    for IsObjectInZariskiCoframeOfAnAffineVariety, IsList 7.2-4
FunctorClosedProjectionBetweenZariskiCoframes, for IsCapCategory 11.1-2
FunctorClosureOfProjectionBetweenZariskiCoframes, for IsCapCategory 7.1-2
FunctorPreimageOfProjectionBetweenZariskiCoframes, for IsCapCategory 7.1-5
GraphOfRingMorphism, for IsHomalgRingMap 7.1-1
ImageOfProjection, for IsObjectInZariskiCoframeOfAProjectiveVariety 11.1-3
InfoConstructibleImage 12.1-1
InfoZariskiFrames 1.1-1
IrreducibleComponents, for IsObjectInZariskiCoframe 3.3-3
IsClosed, for IsObjectInZariskiFrameOrCoframe 1.3-2
IsIrreducibleObjectInZariskiCoframe, for IsObjectInZariskiCoframe 3.2-1
IsMorphismInZariskiCoframe, for IsMorphismInZariskiFrameOrCoframe 3.1-3
IsMorphismInZariskiCoframeOfAnAffineVariety, for IsMorphismInZariskiCoframe andIsMorphismInZariskiFrameOrCoframeOfAnAffineVariety 6.1-3
IsMorphismInZariskiCoframeOfAProjectiveVariety, for IsMorphismInZariskiCoframe andIsMorphismInZariskiFrameOrCoframeOfAProjectiveVariety 10.1-3
IsMorphismInZariskiFrame, for IsMorphismInZariskiFrameOrCoframe 2.1-3
IsMorphismInZariskiFrameOfAnAffineVariety, for IsMorphismInZariskiFrame andIsMorphismInZariskiFrameOrCoframeOfAnAffineVariety 5.1-3
IsMorphismInZariskiFrameOfAProjectiveVariety, for IsMorphismInZariskiFrame andIsMorphismInZariskiFrameOrCoframeOfAProjectiveVariety 9.1-3
IsMorphismInZariskiFrameOrCoframe, for IsMorphismInThinCategory 1.2-3
IsMorphismInZariskiFrameOrCoframeOfAnAffineVariety, for IsMorphismInZariskiFrameOrCoframe 4.1-2
IsMorphismInZariskiFrameOrCoframeOfAProjectiveVariety, for IsMorphismInZariskiFrameOrCoframe 8.1-2
IsObjectInZariskiCoframe, for IsObjectInZariskiFrameOrCoframe and IsClosedSubobject 3.1-2
IsObjectInZariskiCoframeOfAnAffineVariety, for IsObjectInZariskiCoframe andIsObjectInZariskiFrameOrCoframeOfAnAffineVariety 6.1-2
IsObjectInZariskiCoframeOfAProjectiveVariety, for IsObjectInZariskiCoframe andIsObjectInZariskiFrameOrCoframeOfAProjectiveVariety 10.1-2
IsObjectInZariskiFrame, for IsObjectInZariskiFrameOrCoframe and IsOpen 2.1-2
IsObjectInZariskiFrameOfAnAffineVariety, for IsObjectInZariskiFrame andIsObjectInZariskiFrameOrCoframeOfAnAffineVariety 5.1-2
IsObjectInZariskiFrameOfAProjectiveVariety, for IsObjectInZariskiFrame andIsObjectInZariskiFrameOrCoframeOfAProjectiveVariety 9.1-2
IsObjectInZariskiFrameOrCoframe, for IsObjectInThinCategory 1.2-2
IsObjectInZariskiFrameOrCoframeOfAnAffineVariety, for IsObjectInZariskiFrameOrCoframe 4.1-1
IsObjectInZariskiFrameOrCoframeOfAProjectiveVariety, for IsObjectInZariskiFrameOrCoframe 8.1-1
IsOpen, for IsObjectInZariskiFrameOrCoframe 1.3-1
IsSubset, for IsObjectInZariskiFrameOrCoframe, IsObjectInZariskiFrameOrCoframe 1.5-5
IsZariskiCoframe, for IsZariskiFrameOrCoframe 3.1-1
IsZariskiCoframeOfAnAffineVariety, for IsZariskiCoframe 6.1-1
IsZariskiCoframeOfAProjectiveVariety, for IsZariskiCoframe 10.1-1
IsZariskiFrame, for IsZariskiFrameOrCoframe 2.1-1
IsZariskiFrameOfAnAffineVariety, for IsZariskiFrame 5.1-1
IsZariskiFrameOfAProjectiveVariety, for IsZariskiFrame 9.1-1
IsZariskiFrameOrCoframe, for IsCapCategory and IsDistributiveLattice 1.2-1
KnownFactors, for IsObjectInZariskiCoframe 3.4-2
LocallyClosedApproximationOfImage, for IsHomalgRingMap 12.2-4
LocallyClosedApproximationOfImageViaGenericFreeness, for IsHomalgRingMap 12.2-6
LocallyClosedApproximationOfProjection, for IsObjectInZariskiCoframe 12.2-3
LocallyClosedApproximationOfProjectionViaGenericFreeness, for IsObjectInZariskiCoframe 12.2-5
LocallyClosedPart, for IsObjectInZariskiFrameOrCoframe 1.4-8
NormalizeObject, for IsObjectInZariskiFrameOrCoframe 1.5-3
OpenSubsetOfProj, for IsHomalgMatrix 9.2-2
    for IsString, IsHomalgRing 9.2-2
OpenSubsetOfProjByListOfColumns, for IsList 9.2-2
OpenSubsetOfProjByRadicalColumn, for IsHomalgMatrix 9.2-3
    for IsString, IsHomalgRing 9.2-3
OpenSubsetOfProjByStandardColumn, for IsHomalgMatrix 9.2-4
    for IsString, IsHomalgRing 9.2-4
OpenSubsetOfSpec, for IsHomalgMatrix 5.2-2
    for IsHomalgRingElement 5.2-2
    for IsString, IsHomalgRing 5.2-2
OpenSubsetOfSpecByListOfColumns, for IsList 5.2-2
OpenSubsetOfSpecByListOfRadicalColumns, for IsList 5.2-3
OpenSubsetOfSpecByRadicalColumn, for IsHomalgMatrix 5.2-3
    for IsHomalgRingElement 5.2-3
    for IsString, IsHomalgRing 5.2-3
OpenSubsetOfSpecByStandardColumn, for IsHomalgMatrix 5.2-4
    for IsHomalgRingElement 5.2-4
    for IsString, IsHomalgRing 5.2-4
ParametrizedObject, for IsConstructibleObject 1.4-7
    for IsObjectInMeetSemilatticeOfDifferences 1.4-6
    for IsObjectInZariskiFrameOrCoframe 1.4-5
PointsAtInfinityOfFiberwiseProjectiveClosure, for IsObjectInZariskiCoframeOfAnAffineVariety 11.1-1
PreimageOfProjection, for IsHomalgRing, IsObjectInZariskiCoframeOfAnAffineVariety 7.2-1
    for IsObjectInZariskiCoframeOfAnAffineVariety, IsObjectInZariskiCoframeOfAnAffineVariety 7.2-2
ProjectionOfPointsAtInfinityOfFiberwiseProjectiveClosure, for IsObjectInZariskiCoframeOfAnAffineVariety 11.1-4
PseudoIteratorOfClosedPoints, for IsObjectInThinCategory 1.5-15
PseudoIteratorOfClosedSingletons, for IsObjectInThinCategory 1.5-12
Pullback, for IsHomalgRingMap, IsObjectInThinCategory 1.5-8
RabinowitschCover, for IsObjectInMeetSemilatticeOfDifferences 1.4-14
RingEpimorphismOfAClosedPoint, for IsObjectInThinCategory 1.5-13
RingEpimorphismOfClosedSuperset, for IsObjectInThinCategory 1.5-6
RingEpimorphismOfClosure, for IsObjectInThinCategory 1.5-7
SaturatedUnderlyingColumn, for IsObjectInZariskiFrameOrCoframe 8.1-4
StandardizeObject, for IsObjectInZariskiFrameOrCoframe 1.5-4
TangentSpaceAtPoint, for IsObjectInZariskiCoframeOfAnAffineVariety, IsHomalgMatrix 6.2-5
    for IsObjectInZariskiCoframeOfAnAffineVariety, IsList 6.2-6
TangentSpaceOfFiberAtPoint, for IsObjectInZariskiCoframeOfAnAffineVariety, IsHomalgMatrix, IsHomalgMatrix 7.2-5
    for IsObjectInZariskiCoframeOfAnAffineVariety, IsList, IsList 7.2-6
UnderlyingClosedSubsetOfSpec, for IsObjectInZariskiCoframeOfAProjectiveVariety 10.2-1
UnderlyingListOfSaturatedColumns, for IsObjectInZariskiFrameOrCoframe 8.1-3
UnderlyingRing, for IsObjectInZariskiFrameOrCoframe 1.4-1
Visualize, for IsConstructibleObject 12.2-9
ZariskiCoframeOfAffineSpectrum, for IsHomalgRing 6.2-1
ZariskiCoframeOfProj, for IsHomalgRing 10.3-1
ZariskiFrameOfAffineSpectrum, for IsHomalgRing 5.2-1
ZariskiFrameOfProj, for IsHomalgRing 9.2-1