DoCon

DoCon joins the categorial approach to the 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. They are programmed under the very generic assumptions, like “over any Euclidean ring”, over any GCD-ring, any field, and so on.

DoCon also supports the constructions on domains:

Fraction, Polynomial, Residue ring, and others. That is certain set of operations on a constructed domain is built automatically.

 2007–2009 Alexey Beshenov.
Contact: al@cadadr.org.