I would like to define a polytope in SageMath using piecewise linear functions and compute its facets vertices edges and so on. For example, let P be the polytope define 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. How to define the polytope in SageMath? Thank you very much.