haskell - Haskell中的有限域和有理线性代数

Question

是否有一个 Haskell 包可以计算矩阵的简化行梯形形式，其条目来自有理数或素数大小的有限域？我正在寻找速度与 Sage 等计算机代数包相当的东西。

我看过hmatrix和其他模块，但它们似乎专注于数值分析而不是线性代数。这个问题的答案表明，六年前的答案是合格的“不”。

标签： haskellmatrixlinear-algebra