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 /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/Valuations.m2:963:0.