Prime -- option to declare if the input ideal is prime

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

For the programmer

The object Prime is a symbol.

The source of this document is in Tropical.m2:1204:0.