где находится библиотека гомологической алгебры в haskell?как его зовут?
Точно не соответствует требованиям, но ...
DoCon: функциональный подход к компьютерной алгебре (и в частности к коммутативной алгебре): http://botik.ru/pub/local/Mechveliani/docon/2.11/announce.txt
Также см. HaskellForMaths, который предоставляет код для комбинаторики, теории групп, коммутативной алгебры и некоммутативной алгебры: http://hackage.haskell.org/package/HaskellForMaths