Prime -- option to declare if the input ideal is prime
Synopsis
Usage:
tropicalVariety(I,Prime=>false)
Description
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 gfan_tropicalbrute force instead of gfan_tropicaltraverse.
i1 : QQ[x,y,z];
i2 : I=ideal(x^2+y^2-2*x*y);
o2 : Ideal of QQ[x..z]
i3 : isPrime I
o3 = false
i4 : T=tropicalVariety(I,Prime=>false)
o4 = T
o4 : TropicalCycle
Functions with optional argument named Prime :
tropicalVariety(...,Prime=>...) -- see tropicalVariety -- the tropical variety associated to an ideal