Book a Demo!
CoCalc Logo Icon
StoreFeaturesDocsShareSupportNewsAboutPoliciesSign UpSign In
Download

GAP 4.8.9 installation with standard packages -- copy to your CoCalc project to get it

563501 views
\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}