This function constructs a valuation from the prime cone of a tropical variety. From a Subring and the rays of a prime cone of the kernel of its presentationRing, a (quasi-)valuation is constructed. A quasivaluation satisfies $\nu(fg)\geq\min\{\nu(f),\nu(g)\},$ where the inequality replaces the equality.
|
|
|
|
|
|
The object coneToValuation is a method function.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/Valuations.m2:924:0.