This function computes the lineality space of the fan associated to the tropical cycle T. The generators of the lineality space are the columns of the output matrix
i1 : QQ[x,y,z]; |
i2 : I=ideal(x-y); o2 : Ideal of QQ[x, y, z] |
i3 : T=tropicalVariety I; |
i4 : L=linealitySpace T
o4 = | 1 0 |
| 1 0 |
| 0 1 |
3 2
o4 : Matrix ZZ <--- ZZ
|