[论文解读] Drawing real plane algebraic curves in OSCAR

Anne Frühbis-Krüger, Michael Joswig+1 more|arXiv (Cornell University)|Mar 13, 2026

Polynomial and algebraic computation被引用 0

一句话总结

论文展示了 OSCAR 如何生成实平面代数曲线的拓扑正确且视觉上令人满意的绘图，详细描述了受 Seidel–Wolpert 启发的方法及其在 OSCAR 中的实现。

ABSTRACT

We show how the computer algebra system OSCAR can be used to obtain topologically correct or visually pleasing drawings of real plane algebraic curves.

研究动机与目标

• 在 OSCAR 中激发对实平面代数曲线的可视化。
• 描述一个受 Seidel–Wolpert 启发的用于构建拓扑正确绘图的算法。
• 讨论识别感兴趣点和渲染曲线时的实际问题。
• 突出 OSCAR 工作流的实现细节并提供示例代码。

提出的方法

• 求解临界点系统 (f, ∂f/∂y) 以获得竖切点/临界点并按 x 坐标排序。
• 在相邻的临界点之间引入中间的 x 坐标 x1 和 x2 以对曲线进行采样。
• 在 xi = x0, x1, x2, x3 处计算一元多项式 fi = f(xi, y) 的实根并排序。
• 识别临界点并将其标记以用于连接策略。
• 在 f1 与 f2 之间连接点以形成基底弧段，在该 x 值之间没有额外的临界点。
• 迭代地将其余根与标记的临界点连接以完成曲线绘制。
• 讨论两种渲染选项：分段线性拓扑正确或分段曲线（如 Bézier）以提升视觉效果。

实验结果

研究问题

• RQ1 如何从二元多项式计算实平面代数曲线的拓扑正确绘图？
• RQ2 一个实用的程序如何放置并连接感兴趣点以获得实曲线的有效嵌入？
• RQ3 在 OSCAR 中对实多项式系统高效实现该方法的方法是什么？
• RQ4 在绘图中拓扑正确性与视觉平滑性之间的权衡是什么？
• RQ5 是否可通过显式示例和可用代码演示该方法？

主要发现

• 受 Seidel–Wolpert 启发的过程通过仔细选择并连接感兴趣点，产生拓扑正确的分段线性绘图。
• 该方法简化为对临界点求解零维多项式系统与在采样的 x 值上进行一元实根查找。
• 该方法可以在 OSCAR 中实现并通过具体示例进行说明，代码可在 GitHub 上获取。
• 讨论了两种渲染模式：拓扑近似和基于平滑 Bézier 的渲染以提升视觉效果。