-- -*- M2-comint -*- hash: 1729662310284251875

i1 : F = fan {coneFromVData matrix {{1,0},{0,1}},coneFromVData matrix {{0,-1},{1,1}},coneFromVData matrix {{-1,-1},{0,1}},coneFromVData matrix {{-1,1},{0,-1}},coneFromVData matrix {{1,1},{0,-1}}}

o1 = F

o1 : Fan

i2 : P = polytope F

o2 = P

o2 : Polyhedron

i3 : 
