曲线族热带可实现性问题的算法

给定一个热带扇形曲线 $\Sigma$ 和一个代数曲线族 $X \rightarrow \mathbb{A}^k$，我们将实现轨迹 $\mathop{Real}_\Sigma \subseteq \mathbb{A}^k$ 定义为那些热带化结果为 $\Sigma$ 的纤维 $X_a$ 的集合。我们给出了一个算法，通过对 $\Sigma$ 的每条射线施加代数条件来描述 $\mathop{Real}_\Sigma$ 的 Zariski 闭包。