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