fan(TropicalCycle) -- outputs the fan associated to the tropical cycle

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