C = primeConesOfSubalgebra(S)
C = primeConesOfIdeal(I)
Let $I \subset k[x]$ be a prime ideal and let $C \subset \mathcal{T}(I)$ be an open cone in the tropicalization of $I$. This function returns all such $C$ where the initial ideal $\operatorname{in_{C}}(I)$ is a prime ideal. When the input is a Subring which is a domain, then $I$ is the kernel of the presentation map of $S$.
|
|
|
|
|
The object primeConesOfSubalgebra is a method function.
The source of this document is in Valuations.m2:963:0.