SageMath9.4自定义模块调用报NameError: name 'cos'未定义如何解决

问题根因 #

• 命名空间隔离问题：Jupyter Notebook侧的导入属于Notebook自身的全局命名空间，和你编写的.py模块的命名空间完全独立，模块内部的代码无法访问Notebook里导入的变量。
• 导入位置错误：如果你在模块内的from math import cos是写在类、函数内部，或者没有在模块顶层完成导入，嵌套函数set_up_coefficient_space无法访问到cos变量。
• 库不兼容问题：即使正确导入math.cos也无法正常运行后续逻辑：math.cos返回的是Python浮点类型，无法和Sage的有理数域QQ做归属判断，且math库的pi是浮点值，和Sage内置的符号化精确pi不兼容。

解决方案 #

1. 在你的coxeter_groups.py模块最顶部，所有类/函数定义之前，添加Sage原生依赖的显式导入：

from sage.functions.trig import cos
from sage.symbolic.constants import pi
from sage.rings.rational_field import QQ

2. 删除模块内其他位置重复的from math import cos相关导入，也不需要在Jupyter侧导入这些依赖给模块用。
3. 重启Jupyterlab的SageMath 9.4内核，重新导入模块测试：Sage会缓存已加载的模块，修改.py文件后必须重启内核才能生效，避免旧版本缓存导致报错依旧。

验证方法 #

导入模块后创建实例时如果不再报cos未定义的错误，且cos(pi/3)返回精确值1/2而非浮点数0.5，则说明配置正确，后续x not in QQ的判断逻辑也能正常运行。

内容的提问来源于stack exchange，提问作者Terrence J