This function checks if the fan associated to the tropical cycle T is simplicial, i.e. if for each cone the rays generating it are linearly independent.
i1 : F=fan ({posHull(matrix{{1,2,3},{0,2,0}}),posHull(matrix{{0},{1}})}); |
i2 : T=tropicalCycle (F,{1,2}); |
i3 : isSimplicial T o3 = true |