gfanTropicalWeilDivisor -- the tropical Weil divisor of a piecewise linear function

Synopsis

• Usage:

  W = gfanTropicalWeilDivisor(C,F)

• Inputs:
  • C, an instance of the type Fan, a k-cycle
  • F, an instance of the type Fan, a piecewise linear function
• Optional inputs:
  • i1
  • i2
• Outputs:
  • W, an instance of the type Fan, the Weil divisor

Description

i1 : QQ[x_1..x_3];

i2 : C = gfanTropicalHyperSurface (x_1*x_2 + x_2*x_3 + x_1*x_3 + x_1*x_2*x_3)

o2 = (Fan{...1...}, {1, 1, 1, 1, 1, 1})

o2 : Sequence

i3 : F = "..."

o3 = ...