将 FqFieldElem 转换为整数

Question

我是 Julia 的初学者，我正在使用 Nemo 库在有限域上做一些事情。

我想计算给定有限域的字符，为此我必须计算像

这样的数量

exp(2*pi*im*absolute_tr(a)/p)

但是

absolute_tr(a)

的类型是 FqFieldElem，因为它是有限域的素数子域（此处为 Z/pZ）的元素，因此这会引发错误。

我想将这个整数模 p 转换为 int，但我找不到任何方法来执行此操作（尽管它作为整数打印在控制台上......）。

Answer 1

没有明确定义如何将字段元素映射到 Int。但是，以下工作首先通过 Nemo 方式将字段嵌入到 Z 中：

julia> R = GF(7)
Prime field of characteristic 7

julia> a = R(3)
3

julia> Int(lift(ZZ, a))
3

julia> typeof(Int(lift(ZZ, a)))
Int64