7.2.1.2 SageMath 几何模块

文档摘要

7.2.1.2 SageMath 几何模块当SageMath的模块在双曲圆盘模型中拒绝绘制一条“明明存在”的测地线——一次从符号歧义到几何直觉的救赎你有没有过这样的时刻：在Jupyter Notebook里敲下，定义两点和，调用，却只得到一个空荡荡的对象——既不报错，也不渲染；一声不吭，返回一个空图形框，方法抛出？你反复检查复数模长，确认都在单位圆内；你手动算出圆弧圆心和半径，代入参数，却发现SageMath的底层绘图引擎在阶段悄悄把你的精确符号表达式变成了浮点，再经一次强制转换，竟在某次计算中触发了 ——于是整个测地线构造链在无声中崩塌。这不是bug。这是SageMath几何模块在符号计算与数值稳健性之间那道幽微裂隙的真实回响。