ambDim(T)
This function computes the dimension of the space where the tropical cycle is contained.
i1 : QQ[x,y,z] o1 = QQ[x..z] o1 : PolynomialRing
i2 : T=tropicalVariety(ideal(x+y+z));
i3 : ambDim T o3 = 3