next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
Tropical :: Prime

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

Synopsis

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 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

Functions with optional argument named Prime :

For the programmer

The object Prime is a symbol.