Tropical Geometry
I would like to define a fan in SageMath using piecewise linear functions and compute its facets vertices edges and so on. For example, let P be the fan defined by
w1i=w23=0,i=2,3,3,5, w24=min(0,x1),w25=min(0,x1,x1+x2), w34=x1, w35=min(x1,x1+x2), w45=x1+x2.
It is a fan similar to the fan on page 11 of https://arxiv.org/pdf/math/0312297.pdf.
How to define the fan and compute its f-vector in SageMath? Thank you very much.