By default the ideal is assumed to be prime. If the ideal is not prime then the internal procedure to compute the tropicalization is different. It is used gfantropicalbrute force instead of gfantropicaltraverse.
i1 : QQ[x,y,z]; |
i2 : I=ideal(x^2+y^2-2*x*y); o2 : Ideal of QQ[x, y, z] |
i3 : isPrime I o3 = false |
i4 : T=tropicalVariety(I,Prime=>false) o4 = T o4 : TropicalCycle |