Существует ли пакет на Haskell, который может вычислять уменьшенную форму строки-эшелона матрицы с записями из рациональных чисел или конечного поля простого размера? Я ищу что-то, что будет сопоставимо по скорости с пакетами компьютерной алгебры, такими как Sage.
Я смотрел на hmatrix и другие модули , но, похоже, они сосредоточены на численном анализе, а не на линейной алгебре. Ответ на этот вопрос предполагает, что ответ был квалифицированным «нет» шесть лет назад.