请问楼主是如何查找到sagemath有这个函数的呢?我不知道该如何搜索想要的函数。。。谢谢