This method computes the tropical Weil divisor of a piecewise linear function.
The following example is taken from the gfan manual.
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 = ... |
gfan Documentation This program computes the tropical Weil divisor of piecewise linear (or tropical rational) function on a tropical k-cycle. See the Gfan manual for more information.Options:-i1 value: Specify the name of the Polymake input file containing the k-cycle.-i2 value: Specify the name of the Polymake input file containing the piecewise linear function.
The object gfanTropicalWeilDivisor is a method function with options.