next | previous | forward | backward | up | top | index | toc | Macaulay2 website
Tropical :: tropicalVarietyWithVal

tropicalVarietyWithVal -- EXPERIMENTAL: tropical variety with valuations

Synopsis

Description

EXPERIMENTAL feature to implement p-adic and puiseux valuation. Not yet done, contact a developer if you wish to help!

i1 : R = QQ[x,y,z]

o1 = R

o1 : PolynomialRing
i2 : I = ideal(x+y+z)

o2 = ideal(x + y + z)

o2 : Ideal of R
i3 : tropicalVarietyWithVal(I)

o3 = Can't handle the given valuation. Maybe no valuation given? Then use
     tropicalVariety
i4 : tropicalVarietyWithVal(I, Valuation=>11)
sh: Singular: command not found

o4 = You need to install Singular for using tropicalVarietyWithVal
i5 : tropicalVarietyWithVal(I, Valuation=>x)

o5 = We have not implemented Puiseux valuation yet

Ways to use tropicalVarietyWithVal :

For the programmer

The object tropicalVarietyWithVal is a method function with options.