ComputeMultiplicities -- option to compute the multiplicities in case they ideal is not prime

Synopsis

Usage:

tropicalVariety(I,ComputeMultiplicities=>true)

Description

This option allows to compute the multiplicities in case the ideal I is not prime. In fact the output of gfan does not include them and hence they are computed separately by this package. By default the ideal is assumed to be prime.

i1 : QQ[x,y,z];

i2 : I=ideal(x^2-y^2);

o2 : Ideal of QQ[x..z]

i3 : isPrime I

o3 = false

i4 : T=tropicalVariety(I,Prime=>false,ComputeMultiplicities=>true);

i5 : rays T

o5 = 0

              3
o5 : Matrix ZZ  <-- 0

i6 : maxCones T

o6 = {{}}

o6 : List

i7 : multiplicities T

o7 = {2}

o7 : List

Functions with optional argument named ComputeMultiplicities :

tropicalVariety(...,ComputeMultiplicities=>...) -- see tropicalVariety -- the tropical variety associated to an ideal

For the programmer

The object ComputeMultiplicities is a symbol.