{"name":"DoCon","portdir":"math/DoCon","version":"2.11","license":"unknown","platforms":"darwin","epoch":0,"replaced_by":null,"homepage":"http://www.botik.ru/pub/local/Mechveliani/docon/","description":"DoCon is the Algebraic Domain Constructor","long_description":"DoCon joins the categorial approach to mathematical computation expressed via the Haskell type classes, and explicit processing of the domain description terms. It implements recently a good piece of commutative algebra: linear algebra, polynomial gcd, factorization, Groebner bases, and other functions.","active":true,"categories":["devel","math"],"maintainers":[],"variants":["printable_doc","universal"],"dependencies":[{"type":"build","ports":["clang-15"]},{"type":"extract","ports":["unzip"]},{"type":"lib","ports":["ghc"]}],"depends_on":[]}