This function checks whether the fan associated to the tropical cycle is pure, i.e. if the maximal cones have all the same dimension.
i1 : F=fan ({posHull(matrix{{1,2,3},{0,2,0}}),posHull(matrix{{0},{1}})}); |
i2 : T=tropicalCycle (F,{1,2}); |
i3 : isPure T o3 = false |