  
  [1X8 [33X[0;0YToric divisors[133X[101X
  
  
  [1X8.1 [33X[0;0YToric divisors: Examples[133X[101X
  
  
  [1X8.1-1 [33X[0;0YDivisors on a toric variety[133X[101X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27XH7 := Fan( [[0,1],[1,0],[0,-1],[-1,7]],[[1,2],[2,3],[3,4],[4,1]] );[127X[104X
    [4X[28X<A fan in |R^2>[128X[104X
    [4X[25Xgap>[125X [27XH7 := ToricVariety( H7 );[127X[104X
    [4X[28X<A toric variety of dimension 2>[128X[104X
    [4X[25Xgap>[125X [27XP := TorusInvariantPrimeDivisors( H7 );[127X[104X
    [4X[28X[ <A prime divisor of a toric variety with coordinates ( 1, 0, 0, 0 )>,[128X[104X
    [4X[28X  <A prime divisor of a toric variety with coordinates ( 0, 1, 0, 0 )>,[128X[104X
    [4X[28X  <A prime divisor of a toric variety with coordinates ( 0, 0, 1, 0 )>,[128X[104X
    [4X[28X  <A prime divisor of a toric variety with coordinates ( 0, 0, 0, 1 )> ][128X[104X
    [4X[25Xgap>[125X [27XD := P[1]+P[2];[127X[104X
    [4X[28X<A divisor of a toric variety with coordinates ( 1, 1, 0, 0 )>[128X[104X
    [4X[25Xgap>[125X [27XIsBasepointFree(D);[127X[104X
    [4X[28Xtrue[128X[104X
    [4X[25Xgap>[125X [27XIsAmple(D);[127X[104X
    [4X[28Xtrue[128X[104X
    [4X[25Xgap>[125X [27XCoordinateRingOfTorus(H7,"x");[127X[104X
    [4X[28XQ[x1,x1_,x2,x2_]/( x1*x1_-1, x2*x2_-1 )[128X[104X
    [4X[25Xgap>[125X [27XPolytope(D);[127X[104X
    [4X[28X<A polytope in |R^2>[128X[104X
    [4X[25Xgap>[125X [27XCharactersForClosedEmbedding(D);[127X[104X
    [4X[28X[ |[ 1 ]|, |[ x2 ]|, |[ x1 ]|, |[ x1*x2 ]|, |[ x1^2*x2 ]|, [128X[104X
    [4X[28X  |[ x1^3*x2 ]|, |[ x1^4*x2 ]|, |[ x1^5*x2 ]|, [128X[104X
    [4X[28X  |[ x1^6*x2 ]|, |[ x1^7*x2 ]|, |[ x1^8*x2 ]| ][128X[104X
    [4X[25Xgap>[125X [27XCoxRingOfTargetOfDivisorMorphism(D);[127X[104X
    [4X[28XQ[x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8,x_9,x_10,x_11][128X[104X
    [4X[28X(weights: [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ])[128X[104X
    [4X[25Xgap>[125X [27XRingMorphismOfDivisor(D);[127X[104X
    [4X[28X<A "homomorphism" of rings>[128X[104X
    [4X[25Xgap>[125X [27XDisplay(RingMorphismOfDivisor(D));[127X[104X
    [4X[28XQ[x_1,x_2,x_3,x_4][128X[104X
    [4X[28X(weights: [ ( 0, 1 ), ( 1, 0 ), ( 1, -7 ), ( 0, 1 ) ])[128X[104X
    [4X[28X  ^[128X[104X
    [4X[28X  |[128X[104X
    [4X[28X[ x_1*x_2, x_1^8*x_3, x_2*x_4, x_1^7*x_3*x_4, x_1^6*x_3*x_4^2, [128X[104X
    [4X[28X  x_1^5*x_3*x_4^3, x_1^4*x_3*x_4^4, x_1^3*x_3*x_4^5, x_1^2*x_3*x_4^6, [128X[104X
    [4X[28X  x_1*x_3*x_4^7, x_3*x_4^8 ][128X[104X
    [4X[28X  |[128X[104X
    [4X[28X  |[128X[104X
    [4X[28XQ[x_1,x_2,x_3,x_4,x_5,x_6,x_7,x_8,x_9,x_10,x_11][128X[104X
    [4X[28X(weights: [ 1, 1, 1, 1, 1, 1, 1, 1, 1, 1, 1 ])[128X[104X
    [4X[25Xgap>[125X [27XByASmallerPresentation(ClassGroup(H7));[127X[104X
    [4X[28X<A free left module of rank 2 on free generators>[128X[104X
    [4X[25Xgap>[125X [27XMonomsOfCoxRingOfDegree(D);[127X[104X
    [4X[28X[ x_1*x_2, x_1^8*x_3, x_2*x_4, x_1^7*x_3*x_4, x_1^6*x_3*x_4^2, [128X[104X
    [4X[28X  x_1^5*x_3*x_4^3, x_1^4*x_3*x_4^4, x_1^3*x_3*x_4^5, x_1^2*x_3*x_4^6, [128X[104X
    [4X[28X  x_1*x_3*x_4^7, x_3*x_4^8 ][128X[104X
    [4X[25Xgap>[125X [27XD2:=D-2*P[2];[127X[104X
    [4X[28X<A divisor of a toric variety with coordinates ( 1, -1, 0, 0 )>[128X[104X
    [4X[25Xgap>[125X [27XIsBasepointFree(D2);[127X[104X
    [4X[28Xfalse[128X[104X
    [4X[25Xgap>[125X [27XIsAmple(D2);[127X[104X
    [4X[28Xfalse[128X[104X
  [4X[32X[104X
  
  
  [1X8.1-2 [33X[0;0YPolytope of toric divisors[133X[101X
  
  [4X[32X  Example  [32X[104X
    [4X[25Xgap>[125X [27XP1 := ProjectiveSpace( 1 );[127X[104X
    [4X[28X<A projective toric variety of dimension 1>[128X[104X
    [4X[25Xgap>[125X [27Xdivisor := DivisorOfGivenClass( P1, [ -1 ] );[127X[104X
    [4X[28X<A divisor of a toric variety with coordinates ( -1, 0 )>[128X[104X
    [4X[25Xgap>[125X [27Xpolytope := PolytopeOfDivisor( divisor );[127X[104X
    [4X[28X<A polytope in |R^1>[128X[104X
  [4X[32X[104X
  
  
  [1X8.2 [33X[0;0YThe GAP category[133X[101X
  
  [1X8.2-1 IsToricDivisor[101X
  
  [33X[1;0Y[29X[2XIsToricDivisor[102X( [3XM[103X ) [32X filter[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YThe [3XGAP[103X category of torus invariant Weil divisors.[133X
  
  [1X8.2-2 twitter[101X
  
  [33X[1;0Y[29X[2Xtwitter[102X( [3Xarg[103X ) [32X attribute[133X
  
  
  [1X8.3 [33X[0;0YProperties[133X[101X
  
  [1X8.3-1 IsCartier[101X
  
  [33X[1;0Y[29X[2XIsCartier[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks  if  the  torus  invariant Weil divisor [3Xdivi[103X is Cartier i.e. if it is
  locally principal.[133X
  
  [1X8.3-2 IsPrincipal[101X
  
  [33X[1;0Y[29X[2XIsPrincipal[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks  if  the  torus invariant Weil divisor [3Xdivi[103X is principal which in the
  toric invariant case means that it is the divisor of a character.[133X
  
  [1X8.3-3 IsPrimedivisor[101X
  
  [33X[1;0Y[29X[2XIsPrimedivisor[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks  if the Weil divisor [3Xdivi[103X represents a prime divisor, i.e. if it is a
  standard generator of the divisor group.[133X
  
  [1X8.3-4 IsBasepointFree[101X
  
  [33X[1;0Y[29X[2XIsBasepointFree[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks if the divisor [3Xdivi[103X is basepoint free.[133X
  
  [1X8.3-5 IsAmple[101X
  
  [33X[1;0Y[29X[2XIsAmple[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks  if  the divisor [3Xdivi[103X is ample, i.e. if it is colored red, yellow and
  green.[133X
  
  [1X8.3-6 IsVeryAmple[101X
  
  [33X[1;0Y[29X[2XIsVeryAmple[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks if the divisor [3Xdivi[103X is very ample.[133X
  
  [1X8.3-7 IsNumericallyEffective[101X
  
  [33X[1;0Y[29X[2XIsNumericallyEffective[102X( [3Xdivi[103X ) [32X property[133X
  [6XReturns:[106X  [33X[0;10Ytrue or false[133X
  
  [33X[0;0YChecks if the divisor [3Xdivi[103X is nef.[133X
  
  
  [1X8.4 [33X[0;0YAttributes[133X[101X
  
  [1X8.4-1 CartierData[101X
  
  [33X[1;0Y[29X[2XCartierData[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya list[133X
  
  [33X[0;0YReturns  the  Cartier  data of the divisor [3Xdivi[103X, if it is Cartier, and fails
  otherwise.[133X
  
  [1X8.4-2 CharacterOfPrincipalDivisor[101X
  
  [33X[1;0Y[29X[2XCharacterOfPrincipalDivisor[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya homalg module element[133X
  
  [33X[0;0YReturns the character corresponding to the principal divisor [3Xdivi[103X.[133X
  
  [1X8.4-3 ClassOfDivisor[101X
  
  [33X[1;0Y[29X[2XClassOfDivisor[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya homalg module element[133X
  
  [33X[0;0YReturns the class group element corresponding to the divisor [3Xdivi[103X.[133X
  
  [1X8.4-4 PolytopeOfDivisor[101X
  
  [33X[1;0Y[29X[2XPolytopeOfDivisor[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya polytope[133X
  
  [33X[0;0YReturns the polytope corresponding to the divisor [3Xdivi[103X.[133X
  
  [1X8.4-5 BasisOfGlobalSections[101X
  
  [33X[1;0Y[29X[2XBasisOfGlobalSections[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya list[133X
  
  [33X[0;0YReturns  a basis of the global section module of the quasi-coherent sheaf of
  the divisor [3Xdivi[103X.[133X
  
  [1X8.4-6 IntegerForWhichIsSureVeryAmple[101X
  
  [33X[1;0Y[29X[2XIntegerForWhichIsSureVeryAmple[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Yan integer[133X
  
  [33X[0;0YReturns an integer [3Xn[103X such that [23Xn \cdot [123Xdivi is very ample.[133X
  
  [1X8.4-7 AmbientToricVariety[101X
  
  [33X[1;0Y[29X[2XAmbientToricVariety[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya variety[133X
  
  [33X[0;0YReturns  the  toric variety which contains the prime divisors of the divisor
  [3Xdivi[103X.[133X
  
  [1X8.4-8 UnderlyingGroupElement[101X
  
  [33X[1;0Y[29X[2XUnderlyingGroupElement[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya homalg module element[133X
  
  [33X[0;0YReturns an element which represents the divisor [3Xdivi[103X in the Weil group.[133X
  
  [1X8.4-9 UnderlyingToricVariety[101X
  
  [33X[1;0Y[29X[2XUnderlyingToricVariety[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya variety[133X
  
  [33X[0;0YReturns  the  closure  of the torus orbit corresponding to the prime divisor
  [3Xdivi[103X.  Not  implemented  for other divisors. Maybe we should add the support
  here. Is this even a toric variety? Exercise left to the reader.[133X
  
  [1X8.4-10 DegreeOfDivisor[101X
  
  [33X[1;0Y[29X[2XDegreeOfDivisor[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Yan integer[133X
  
  [33X[0;0YReturns  the degree of the divisor [3Xdivi[103X. This is not to be confused with the
  (divisor) class of [3Xdivi[103X![133X
  
  [1X8.4-11 VarietyOfDivisorpolytope[101X
  
  [33X[1;0Y[29X[2XVarietyOfDivisorpolytope[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya variety[133X
  
  [33X[0;0YReturns the variety corresponding to the polytope of the divisor [3Xdivi[103X.[133X
  
  [1X8.4-12 MonomsOfCoxRingOfDegree[101X
  
  [33X[1;0Y[29X[2XMonomsOfCoxRingOfDegree[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya list[133X
  
  [33X[0;0YReturns the monoms in the Cox ring of degree equal to the (divisor) class of
  the divisor [3Xdivi[103X.[133X
  
  [1X8.4-13 CoxRingOfTargetOfDivisorMorphism[101X
  
  [33X[1;0Y[29X[2XCoxRingOfTargetOfDivisorMorphism[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya ring[133X
  
  [33X[0;0YA  basepoint  free  divisor [3Xdivi[103X defines a map from its ambient variety in a
  projective  space.  This  method  returns  the Cox ring of such a projective
  space.[133X
  
  [1X8.4-14 RingMorphismOfDivisor[101X
  
  [33X[1;0Y[29X[2XRingMorphismOfDivisor[102X( [3Xdivi[103X ) [32X attribute[133X
  [6XReturns:[106X  [33X[0;10Ya ring map[133X
  
  [33X[0;0YA  basepoint  free  divisor [3Xdivi[103X defines a map from its ambient variety in a
  projective  space.  This method returns the morphism between the cox ring of
  this projective space to the cox ring of the ambient variety of [3Xdivi[103X.[133X
  
  
  [1X8.5 [33X[0;0YMethods[133X[101X
  
  [1X8.5-1 VeryAmpleMultiple[101X
  
  [33X[1;0Y[29X[2XVeryAmpleMultiple[102X( [3Xdivi[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns  a  very  ample  multiple of the ample divisor [3Xdivi[103X. The method will
  fail if divisor is not ample.[133X
  
  [1X8.5-2 CharactersForClosedEmbedding[101X
  
  [33X[1;0Y[29X[2XCharactersForClosedEmbedding[102X( [3Xdivi[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya list[133X
  
  [33X[0;0YReturns  characters for closed embedding defined via the ample divisor [3Xdivi[103X.
  The method fails if the divisor [3Xdivi[103X is not ample.[133X
  
  [1X8.5-3 \+[101X
  
  [33X[1;0Y[29X[2X\+[102X( [3Xdivi1[103X, [3Xdivi2[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns the sum of the divisors [3Xdivi1[103X and [3Xdivi2[103X.[133X
  
  [1X8.5-4 \-[101X
  
  [33X[1;0Y[29X[2X\-[102X( [3Xdivi1[103X, [3Xdivi2[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns the divisor [3Xdivi1[103X minus [3Xdivi2[103X.[133X
  
  [1X8.5-5 \*[101X
  
  [33X[1;0Y[29X[2X\*[102X( [3Xk[103X, [3Xdivi[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns [3Xk[103X times the divisor [3Xdivi[103X.[133X
  
  [1X8.5-6 MonomsOfCoxRingOfDegree[101X
  
  [33X[1;0Y[29X[2XMonomsOfCoxRingOfDegree[102X( [3Xvari[103X, [3Xelem[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya list[133X
  
  [33X[0;0YReturns  the monoms of the Cox ring of the variety [3Xvari[103X with degree equal to
  the class group element [3Xelem[103X. The variable [3Xelem[103X can also be a list.[133X
  
  [1X8.5-7 DivisorOfGivenClass[101X
  
  [33X[1;0Y[29X[2XDivisorOfGivenClass[102X( [3Xvari[103X, [3Xelem[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YComputes  a divisor of the variety [3Xdivi[103X which is member of the divisor class
  presented  by  [3Xelem[103X.  The  variable  [3Xelem[103X  can be a homalg element or a list
  presenting an element.[133X
  
  [1X8.5-8 AddDivisorToItsAmbientVariety[101X
  
  [33X[1;0Y[29X[2XAddDivisorToItsAmbientVariety[102X( [3Xdivi[103X ) [32X operation[133X
  
  [33X[0;0YAdds the divisor [3Xdivi[103X to the Weil divisor list of its ambient variety.[133X
  
  [1X8.5-9 Polytope[101X
  
  [33X[1;0Y[29X[2XPolytope[102X( [3Xdivi[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya polytope[133X
  
  [33X[0;0YReturns the polytope of the divisor [3Xdivi[103X. Another name for [13XPolytopeOfDivisor[113X
  for compatibility and shortness.[133X
  
  [1X8.5-10 CoxRingOfTargetOfDivisorMorphism[101X
  
  [33X[1;0Y[29X[2XCoxRingOfTargetOfDivisorMorphism[102X( [3Xdivi[103X, [3Xstring[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya ring[133X
  
  [33X[0;0YGiven  a toric divisor [3Xdivi[103X, it induces a toric morphism. The target of this
  morphism  is  a  toric  variety.  This  method  returns the Cox ring of this
  target. The variables are named according to [3Xstring[103X.[133X
  
  
  [1X8.6 [33X[0;0YConstructors[133X[101X
  
  [1X8.6-1 DivisorOfCharacter[101X
  
  [33X[1;0Y[29X[2XDivisorOfCharacter[102X( [3Xelem[103X, [3Xvari[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns  the  divisor  of  the  toric  variety [3Xvari[103X which corresponds to the
  character [3Xelem[103X.[133X
  
  [1X8.6-2 DivisorOfCharacter[101X
  
  [33X[1;0Y[29X[2XDivisorOfCharacter[102X( [3Xlis[103X, [3Xvari[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns  the  divisor  of  the  toric  variety [3Xvari[103X which corresponds to the
  character which is created by the list [3Xlis[103X.[133X
  
  [1X8.6-3 CreateDivisor[101X
  
  [33X[1;0Y[29X[2XCreateDivisor[102X( [3Xelem[103X, [3Xvari[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns  the divisor of the toric variety [3Xvari[103X which corresponds to the Weil
  group element [3Xelem[103X. by the list [3Xlis[103X.[133X
  
  [1X8.6-4 CreateDivisor[101X
  
  [33X[1;0Y[29X[2XCreateDivisor[102X( [3Xlis[103X, [3Xvari[103X ) [32X operation[133X
  [6XReturns:[106X  [33X[0;10Ya divisor[133X
  
  [33X[0;0YReturns  the divisor of the toric variety [3Xvari[103X which corresponds to the Weil
  group element which is created by the list [3Xlis[103X.[133X
  
