This function outputs the fan associated to the tropical cycle T.
i1 : QQ[x,y,z] o1 = QQ[x, y, z] o1 : PolynomialRing |
i2 : T=tropicalVariety (ideal(x+3*y+3)); |
i3 : fan T o3 = Fan{...1...} o3 : Fan |
i4 : peek o3#cache o4 = CacheTable{computedDimension => 2 } computedFVector => {0, 1, 3} computedLinealityBasis => | 0 | | 0 | | 1 | generatingObjects => {{0}, {1}, {2}} inputCones => {{2}, {0}, {1}} inputRays => | 3 0 -3 | | 0 3 -3 | | 1 1 -2 | pure => true rays => | -3 3 0 | | -3 0 3 | | -2 1 1 | simplicial => true |