如何通过 Zmod 计算 SageMath 中的表达式？

Question

我需要计算一些自动生成的表达式，其中可能包含平方根，类为

Zmod

。

例如，我想计算以下表达式模 9 的值（因此，使用类

Zmod(9

））：

expr = "-1 / sqrt(7) + 5"

在上面的例子中，我想要得到结果 7（对于

sqrt(7) = 4

）和 3（对于

sqrt(7) = 5

）。 这对圣人来说可能吗？我怎样才能得到这些结果？如果我需要使用另一个库，我应该使用哪个以及如何使用？

提前感谢您的回答！

Answer 1

Zmod

的元素有一个

.sqrt()

方法，但您也可以将它们传递给

sqrt

函数。示例：

sage: R = Zmod(9)
sage: a = R(7)
sage: sqrt(a)
4
sage: a.sqrt()
4
sage: a.sqrt(all=True)
[4, 5]