Библиотека Haskell, как SymPy? [закрыто]

Пожалуйста, ознакомьтесь с номерами пакетом . Если все, что вам нужно, это хранить точные числа, такие как «1 + √3», вы можете использовать Data.Number.CReal вместо символьной арифметики. Он хранит выражения и при необходимости может быть вычислен до произвольного числа цифр.

Prelude Data.Number.CReal> let cx = 1 + sqrt (3 :: CReal)
Prelude Data.Number.CReal> showCReal 400 cx 
"2.7320508075688772935274463415058723669428052538103806280558069794519330169088000370811461867572485756756261414154067030299699450949989524788116555120943736485280932319023055820679748201010846749232650153123432669033228866506722546689218379712270471316603678615880190499865373798593894676503475065760507566183481296061009476021871903250831458295239598329977898245082887144638329173472241639845878553977"

В пакете также есть модуль Data.Number.Symbolic, но в описании сказано: «В основном он полезен для отладки».

Похоже, вы ищете систему компьютерной алгебры (CAS) в Haskell. Несмотря на такое количество ссылок на алгебраические объекты в именах пакетов / модулей Haskell, я никогда не слышал об универсальной и хорошо поддерживаемой системе CA в Haskell (например, SymPy или Sage в Python).

Однако в списке систем компьютерной алгебры в Википедии я нашел ссылку на

DoCon. Конструктор алгебраических доменов

Он использует нестандартную лицензию , но я осмелюсь сказать, что это все еще открытый исходный код (хотя и с требованиями переименования и атрибуции). По состоянию на июль 2010 года docon-2.11 все еще строится с GHC 6.12.1 и запускает демонстрации / тесты (мне нужно было только вставить прагму LANGUAGE FlexibleContexts в один файл демонстрации).

DoCon хорошо задокументирован (362 страницы Руководства). Его Руководство упаковано в zip-архив с исходными кодами, поэтому для удобства я выложил его в Интернете отдельно:

DoCon 2.11 Manual.ps

Пожалуйста, просмотрите, чтобы проверить, соответствует ли оно вашим потребностям.