isSimplicial(TropicalCycle) -- checks whether a tropical cycle is simplicial

Synopsis

Function: isSimplicial
Usage:

isSimplicial(T)
Inputs:
- T, a tropical cycle,
Outputs:
- B, a Boolean value,

Description

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

Ways to use this method: