两个有理曲面交线的同胚逼近

我们提出了一种计算两个有理参数曲面 $\S_1(u,s)$ 和 $\S_2(v,t)$ 的交线 $\mathcal{C}$ 的方法，其中一个曲面是可投影的，因此可以很容易地隐式化。将参数曲面代入隐式曲面得到一条平面代数曲线 $G(v,t)=0$。通过分析 $G(v,t)=0$ 的拓扑图 $\G$ 以及交线 $\mathcal{C}$ 上的奇点，我们为 $\mathcal{C}$ 关联了一个空间拓扑图，该图与 $\mathcal{C}$ 同胚，从而在给定精度下得到 $\mathcal{C}$ 的逼近。