linealitySpace(TropicalCycle) -- computes the lineality space of a tropical cycle

• Function: linealitySpace

• Usage:

  linealitySpace(T)

• Inputs:
  • T, a tropical cycle,
• Outputs:
  • M, a matrix,

i1 : QQ[x,y,z];

i2 : I=ideal(x-y);

o2 : Ideal of QQ[x..z]

i3 : T=tropicalVariety I;

i4 : L=linealitySpace T

o4 = | 1 0 |
     | 1 0 |
     | 0 1 |

              3       2
o4 : Matrix ZZ  <-- ZZ