Unloading -- Computes the antinef closure of a divisor.

• Usage:

  Unloading(D,E)

• Inputs:
  • E, Intersection matrix.
  • D, Matrix
• Optional inputs:
  • MaxIterations => ..., default value 10000, Limits the number of iterations of the Unloading algorithm.
  • UnloadingValue => ..., default value false, Show the maximum of the unloaded values
• Outputs:
  • Starting form the divisor encoded as a matrix of dimensions 1 x m, and the intersection matrix as presented in [AAD14], it returns the antinef closure of the divisor.

i1 : E = matrix({{ -5,  0,  1,  0,  1},
                     {  0, -2,  1,  0,  0},
                     {  1,  1, -1,  0,  0},
                     {  0,  0,  0, -2,  1},
                     {  1,  0,  0,  1, -1}})

o1 = | -5 0  1  0  1  |
     | 0  -2 1  0  0  |
     | 1  1  -1 0  0  |
     | 0  0  0  -2 1  |
     | 1  0  0  1  -1 |

              5       5
o1 : Matrix ZZ  <-- ZZ

i2 : D = matrix({{1,9,8,8,5}})

o2 = | 1 9 8 8 5 |

              1       5
o2 : Matrix ZZ  <-- ZZ

i3 : Unloading(D,E)

o3 = | 6 9 15 8 14 |

o3 : MutableMatrix