哈斯克尔的有限域线性代数库

Question

我正在为 Haskell 寻找有限域线性代数库。

像 Haskell 的 FFLAS-FFPACK 这样的东西会很棒：-(。

当然，我检查了 hmatrix，似乎有一些对任意矩阵元素类型的支持，但我找不到任何适用于 hmatrix 的有限字段库。当然，我会喜欢一个高性能的解决方案：-(

特别是我希望能够将 F p n×1 和 F p 1×m 矩阵

(向量(乘以 F_p^n×m 矩阵。

Answer 1

最好的选择是绑定到FFLAS/FFPACK，它表示原生Haskell类型的数据。但是，我看不出我们还没有这样的约束力。

相关库将是一个很好的起点：

• http://hackage.haskell.org/package/vect
• http://hackage.haskell.org/package/hmatrix
• http://hackage.haskell.org/package/jalla
• http://hackage.haskell.org/package/blas

对于数组结构的入门，矢量教程还不错：

• http://www.haskell.org/haskellwiki/Numeric_Haskell:_A_Vector_Tutorial

所以，总而言之，我认为你可能需要快速建立与fflas的绑定，然后通过hmatrix或vector公开它们。