-- -*- M2-comint -*- hash: 6631986638270848013

i1 : PP2 = toricProjectiveSpace 2;

i2 : D1 = 5*PP2_0

o2 = 5*PP2
          0

o2 : ToricDivisor on PP2

i3 : M1 = elapsedTime monomials D1
 -- .0259806s elapsed

       5     4     4   2 3       3   2 3   3 2     2 2   2   2   3 2   4   
o3 = {x , x x , x x , x x , x x x , x x , x x , x x x , x x x , x x , x x ,
       2   1 2   0 2   1 2   0 1 2   0 2   1 2   0 1 2   0 1 2   0 2   1 2 
     ------------------------------------------------------------------------
        3     2 2     3       4     5     4   2 3   3 2   4     5
     x x x , x x x , x x x , x x , x , x x , x x , x x , x x , x }
      0 1 2   0 1 2   0 1 2   0 2   1   0 1   0 1   0 1   0 1   0

o3 : List

i4 : elapsedTime assert (set M1 === set first entries basis(degree D1, ring variety D1))
 -- .0010301s elapsed

i5 : FF2 = hirzebruchSurface 2;

i6 : D2 = 2*FF2_0 + 3 * FF2_1

o6 = 2*FF2  + 3*FF2
          0        1

o6 : ToricDivisor on FF2

i7 : M2 = elapsedTime monomials D2
 -- .0312647s elapsed

       2     3 2     3     2 3
o7 = {x x , x x , x x x , x x }
       1 3   1 2   0 1 2   0 1

o7 : List

i8 : elapsedTime assert (set M2 === set first entries basis (degree D2, ring variety D2))
 -- .00098048s elapsed

i9 : X = kleinschmidt (5, {1,2,3});

i10 : D3 = 3*X_0 + 5*X_1

o10 = 3*X  + 5*X
         0      1

o10 : ToricDivisor on X

i11 : m3 = elapsedTime # monomials D3
 -- 38.7874s elapsed

o11 = 7909

i12 : elapsedTime assert (m3 === #first entries basis (degree D3, ring variety D3))
 -- .027669s elapsed

i13 : 
