  
  [1X3 Affine toric varieties[0X
  
  This chapter concerns [5Xtoric[0m commands which deal with the coordinate rings of
  affine toric varieties U_sigma.
  
  
  [1X3.1 Ideals defining affine toric varieties[0X
  
  [1X3.1-1 IdealAffineToricVariety[0m
  
  [2X> IdealAffineToricVariety( [0X[3XL[0X[2X ) _____________________________________[0Xfunction
  
  [13XInput[0m: [3XL[0m is a list generating a cone (as in [10XDualSemigroupGenerators[0m).
  [13XOutput[0m:  the  [5XGAP[0m  ideal  defining  the toric variety associated to the cone
  generated by the vectors in [3XL[0m.
  
  This  computation  is  not  very efficient and should not be used for ideals
  with      many      generators.     For     example,     if     you     take
  [3XL:=[[1,2,3,4],[0,1,0,7],[3,1,0,2],[0,0,1,0]];[0m                           then
  [10XIdealAffineToricVariety(L);[0m can exhaust GAP's memory allocation.
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> J:=IdealAffineToricVariety([[1,0],[3,4]]);[0X
    [4X[ two-sided ideal in PolynomialRing(..., [ x_1, x_2 ]), (3 generators) ][0X
    [4Xgap> GeneratorsOfIdeal(J);[0X
    [4X[ -x_2^2+x_1, -x_2^3+x_1^2, -x_2^4+x_1^3 ][0X
  [4X------------------------------------------------------------------[0X
  
  [1X3.1-2 EmbeddingAffineToricVariety[0m
  
  [2X> EmbeddingAffineToricVariety( [0X[3XL[0X[2X ) _________________________________[0Xfunction
  
  [13XInput[0m: [3XL[0m is a list generating a cone (as in [10XDualSemigroupGenerators[0m).
  [13XOutput[0m:  the toroidal embedding of X=Spec([10XIdealAffineToricVariety(L)[0m) (given
  as a list of multinomials).
  
  [4X---------------------------  Example  ----------------------------[0X
    [4Xgap> phi:=EmbeddingAffineToricVariety([[1,0],[3,4]]);[0X
    [4X[ x_2, x_1, x_1^2/x_4, x_1^3/x_4^2, x_1^4/x_4^3 ][0X
    [4Xgap> L:=[[1,0,0],[1,1,0],[1,1,1],[1,0,1]];;[0X
    [4Xgap> phi:=EmbeddingAffineToricVariety(L);[0X
    [4X[ x_3, x_2, x_1/x_5, x_1/x_6 ][0X
    [4X[0X
  [4X------------------------------------------------------------------[0X
  
