c - C（非 C++）的有限域（伽罗瓦域）线性代数库

Question

我正在为 C 寻找一个有限域/伽罗瓦域精确线性代数库（C++ 是不可接受的，因为我需要能够编写一个 Haskell 绑定，而这对于 C++ 来说显然很困难）。

我找到了像FFLAS-FFPACK和Givaro这样的库，但这些是 C++ 模板库:-(

特别是我希望能够将_p ^n×1和_p ^1×m矩阵（向量）乘以_{p n} ^×m矩阵。

那么，有人知道合适的 C 或“extern C”库吗？

PS：这是我关于同一问题的Haskell 问题。

Answer 1

PARI/GP是开源的，用 C 语言编写，它支持有限域上的一些基本线性代数。

当然，我不保证具体适用性 - 我与开发无关。