C(非C ++)的有限域(伽罗瓦域)线性代数库

我正在为C搜索有限域/ galois域精确线性代数库(C ++是不可接受的,因为我需要能够编写一个Haskell绑定到它,而这对C ++来说显然很难 )。

我找到了类似FFLAS-FFPACK和Givaro的库,但这些是C ++ – 模板库:-(

特别是我希望能够将𝔽pn ×1和𝔽p1 ×m矩阵(向量)乘以𝔽pn ×m矩阵。

那么,有没有人知道C或“extern C”库是否合适?

PS:这是关于同一事项的我的Haskell问题 。

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

当然,对我的具体适用性不作任何保证 – 我与开发无关。