v 2.11

DoCon is the Algebraic Domain Constructor

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.

To install DoCon, paste this in macOS terminal after installing MacPorts

sudo port install DoCon

Add to my watchlist

Installations 0
Requested Installations 0