GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it
\indexentry{\textsf{ToricVarieties}|hyperpage}{5}
\indexentry{IsToricVariety@\texttt {IsToricVariety}|hyperpage}{7}
\indexentry{IsNormalVariety@\texttt {IsNormalVariety}|hyperpage}{7}
\indexentry{IsAffine@\texttt {IsAffine}|hyperpage}{7}
\indexentry{IsProjective@\texttt {IsProjective}|hyperpage}{7}
\indexentry{IsComplete@\texttt {IsComplete}|hyperpage}{7}
\indexentry{IsSmooth@\texttt {IsSmooth}|hyperpage}{8}
\indexentry{HasTorusfactor@\texttt {HasTorusfactor}|hyperpage}{8}
\indexentry{HasNoTorusfactor@\texttt {HasNoTorusfactor}|hyperpage}{8}
\indexentry{IsOrbifold@\texttt {IsOrbifold}|hyperpage}{8}
\indexentry{AffineOpenCovering@\texttt {AffineOpenCovering}|hyperpage}{8}
\indexentry{CoxRing@\texttt {CoxRing}|hyperpage}{8}
\indexentry{ListOfVariablesOfCoxRing@\texttt {ListOfVariablesOfCoxRing}|hyperpage}{8}
\indexentry{ClassGroup@\texttt {ClassGroup}|hyperpage}{9}
\indexentry{PicardGroup@\texttt {PicardGroup}|hyperpage}{9}
\indexentry{TorusInvariantDivisorGroup@\texttt {TorusInvariantDivisorGroup}|hyperpage}{9}
\indexentry{MapFromCharacterToPrincipalDivisor@\texttt {MapFromCharacterToPrincipalDivisor}|hyperpage}{9}
\indexentry{Dimension@\texttt {Dimension}|hyperpage}{9}
\indexentry{DimensionOfTorusfactor@\texttt {DimensionOfTorusfactor}|hyperpage}{9}
\indexentry{CoordinateRingOfTorus@\texttt {CoordinateRingOfTorus}|hyperpage}{9}
\indexentry{IsProductOf@\texttt {IsProductOf}|hyperpage}{10}
\indexentry{CharacterLattice@\texttt {CharacterLattice}|hyperpage}{10}
\indexentry{TorusInvariantPrimeDivisors@\texttt {TorusInvariantPrimeDivisors}|hyperpage}{10}
\indexentry{IrrelevantIdeal@\texttt {IrrelevantIdeal}|hyperpage}{10}
\indexentry{MorphismFromCoxVariety@\texttt {MorphismFromCoxVariety}|hyperpage}{10}
\indexentry{CoxVariety@\texttt {CoxVariety}|hyperpage}{10}
\indexentry{FanOfVariety@\texttt {FanOfVariety}|hyperpage}{10}
\indexentry{CartierTorusInvariantDivisorGroup@\texttt {CartierTorusInvariantDivisorGroup}|hyperpage}{10}
\indexentry{NameOfVariety@\texttt {NameOfVariety}|hyperpage}{11}
\indexentry{twitter@\texttt {twitter}|hyperpage}{11}
\indexentry{UnderlyingSheaf@\texttt {UnderlyingSheaf}|hyperpage}{11}
\indexentry{CoordinateRingOfTorus@\texttt {CoordinateRingOfTorus}!for a variety and a list of variables|hyperpage}{11}
\indexentry{*@\texttt {\texttt {\char 92\relax }*}|hyperpage}{11}
\indexentry{CharacterToRationalFunction@\texttt {CharacterToRationalFunction}|hyperpage}{11}
\indexentry{CoxRing@\texttt {CoxRing}!for a variety and a string of variables|hyperpage}{11}
\indexentry{WeilDivisorsOfVariety@\texttt {WeilDivisorsOfVariety}|hyperpage}{12}
\indexentry{Fan@\texttt {Fan}|hyperpage}{12}
\indexentry{ToricVariety@\texttt {ToricVariety}|hyperpage}{12}
\indexentry{IsToricSubvariety@\texttt {IsToricSubvariety}|hyperpage}{14}
\indexentry{IsClosed@\texttt {IsClosed}|hyperpage}{14}
\indexentry{IsOpen@\texttt {IsOpen}|hyperpage}{14}
\indexentry{IsWholeVariety@\texttt {IsWholeVariety}|hyperpage}{14}
\indexentry{UnderlyingToricVariety@\texttt {UnderlyingToricVariety}|hyperpage}{15}
\indexentry{InclusionMorphism@\texttt {InclusionMorphism}|hyperpage}{15}
\indexentry{AmbientToricVariety@\texttt {AmbientToricVariety}|hyperpage}{15}
\indexentry{ClosureOfTorusOrbitOfCone@\texttt {ClosureOfTorusOrbitOfCone}|hyperpage}{15}
\indexentry{ToricSubvariety@\texttt {ToricSubvariety}|hyperpage}{15}
\indexentry{IsAffineToricVariety@\texttt {IsAffineToricVariety}|hyperpage}{16}
\indexentry{CoordinateRing@\texttt {CoordinateRing}|hyperpage}{16}
\indexentry{ListOfVariablesOfCoordinateRing@\texttt {ListOfVariablesOfCoordinateRing}|hyperpage}{16}
\indexentry{MorphismFromCoordinateRingToCoordinateRingOfTorus@\texttt {Morphism}\discretionary {-}{}{}\texttt {From}\discretionary {-}{}{}\texttt {Coordinate}\discretionary {-}{}{}\texttt {Ring}\discretionary {-}{}{}\texttt {To}\discretionary {-}{}{}\texttt {Coordinate}\discretionary {-}{}{}\texttt {Ring}\discretionary {-}{}{}\texttt {Of}\discretionary {-}{}{}\texttt {Torus}|hyperpage}{16}
\indexentry{ConeOfVariety@\texttt {ConeOfVariety}|hyperpage}{17}
\indexentry{CoordinateRing@\texttt {CoordinateRing}!for affine Varieties|hyperpage}{17}
\indexentry{Cone@\texttt {Cone}|hyperpage}{17}
\indexentry{IsProjectiveToricVariety@\texttt {IsProjectiveToricVariety}|hyperpage}{19}
\indexentry{AffineCone@\texttt {AffineCone}|hyperpage}{19}
\indexentry{PolytopeOfVariety@\texttt {PolytopeOfVariety}|hyperpage}{19}
\indexentry{ProjectiveEmbedding@\texttt {ProjectiveEmbedding}|hyperpage}{19}
\indexentry{Polytope@\texttt {Polytope}|hyperpage}{20}
\indexentry{IsToricMorphism@\texttt {IsToricMorphism}|hyperpage}{21}
\indexentry{IsMorphism@\texttt {IsMorphism}|hyperpage}{21}
\indexentry{IsProper@\texttt {IsProper}|hyperpage}{21}
\indexentry{SourceObject@\texttt {SourceObject}|hyperpage}{21}
\indexentry{UnderlyingGridMorphism@\texttt {UnderlyingGridMorphism}|hyperpage}{22}
\indexentry{ToricImageObject@\texttt {ToricImageObject}|hyperpage}{22}
\indexentry{RangeObject@\texttt {RangeObject}|hyperpage}{22}
\indexentry{MorphismOnWeilDivisorGroup@\texttt {MorphismOnWeilDivisorGroup}|hyperpage}{22}
\indexentry{ClassGroup@\texttt {ClassGroup}!for toric morphisms|hyperpage}{22}
\indexentry{MorphismOnCartierDivisorGroup@\texttt {MorphismOnCartierDivisorGroup}|hyperpage}{22}
\indexentry{PicardGroup@\texttt {PicardGroup}!for toric morphisms|hyperpage}{22}
\indexentry{UnderlyingListList@\texttt {UnderlyingListList}|hyperpage}{23}
\indexentry{ToricMorphism@\texttt {ToricMorphism}!for a source and a matrix|hyperpage}{23}
\indexentry{ToricMorphism@\texttt {ToricMorphism}!for a source, matrix and target|hyperpage}{23}
\indexentry{IsToricDivisor@\texttt {IsToricDivisor}|hyperpage}{25}
\indexentry{IsCartier@\texttt {IsCartier}|hyperpage}{25}
\indexentry{IsPrincipal@\texttt {IsPrincipal}|hyperpage}{25}
\indexentry{IsPrimedivisor@\texttt {IsPrimedivisor}|hyperpage}{25}
\indexentry{IsBasepointFree@\texttt {IsBasepointFree}|hyperpage}{25}
\indexentry{IsAmple@\texttt {IsAmple}|hyperpage}{26}
\indexentry{IsVeryAmple@\texttt {IsVeryAmple}|hyperpage}{26}
\indexentry{CartierData@\texttt {CartierData}|hyperpage}{26}
\indexentry{CharacterOfPrincipalDivisor@\texttt {CharacterOfPrincipalDivisor}|hyperpage}{26}
\indexentry{ToricVarietyOfDivisor@\texttt {ToricVarietyOfDivisor}|hyperpage}{26}
\indexentry{ClassOfDivisor@\texttt {ClassOfDivisor}|hyperpage}{26}
\indexentry{PolytopeOfDivisor@\texttt {PolytopeOfDivisor}|hyperpage}{26}
\indexentry{BasisOfGlobalSections@\texttt {BasisOfGlobalSections}|hyperpage}{27}
\indexentry{IntegerForWhichIsSureVeryAmple@\texttt {IntegerForWhichIsSureVeryAmple}|hyperpage}{27}
\indexentry{AmbientToricVariety@\texttt {AmbientToricVariety}!for toric divisors|hyperpage}{27}
\indexentry{UnderlyingGroupElement@\texttt {UnderlyingGroupElement}|hyperpage}{27}
\indexentry{UnderlyingToricVariety@\texttt {UnderlyingToricVariety}!for prime divisors|hyperpage}{27}
\indexentry{DegreeOfDivisor@\texttt {DegreeOfDivisor}|hyperpage}{27}
\indexentry{MonomsOfCoxRingOfDegree@\texttt {MonomsOfCoxRingOfDegree}|hyperpage}{27}
\indexentry{CoxRingOfTargetOfDivisorMorphism@\texttt {CoxRingOfTargetOfDivisorMorphism}|hyperpage}{28}
\indexentry{RingMorphismOfDivisor@\texttt {RingMorphismOfDivisor}|hyperpage}{28}
\indexentry{VeryAmpleMultiple@\texttt {VeryAmpleMultiple}|hyperpage}{28}
\indexentry{CharactersForClosedEmbedding@\texttt {CharactersForClosedEmbedding}|hyperpage}{28}
\indexentry{MonomsOfCoxRingOfDegree@\texttt {MonomsOfCoxRingOfDegree}!for an homalg element|hyperpage}{28}
\indexentry{DivisorOfGivenClass@\texttt {DivisorOfGivenClass}|hyperpage}{28}
\indexentry{AddDivisorToItsAmbientVariety@\texttt {AddDivisorToItsAmbientVariety}|hyperpage}{28}
\indexentry{Polytope@\texttt {Polytope}!for toric divisors|hyperpage}{29}
\indexentry{+@\texttt {+}|hyperpage}{29}
\indexentry{-@\texttt {-}|hyperpage}{29}
\indexentry{*@\texttt {*}!for toric divisors|hyperpage}{29}
\indexentry{DivisorOfCharacter@\texttt {DivisorOfCharacter}|hyperpage}{29}
\indexentry{DivisorOfCharacter@\texttt {DivisorOfCharacter}!for a list of integers|hyperpage}{29}
\indexentry{CreateDivisor@\texttt {CreateDivisor}!for a homalg element|hyperpage}{29}
\indexentry{CreateDivisor@\texttt {CreateDivisor}!for a list of integers|hyperpage}{30}