DoCon the Algebraic Domain Constructor

DoCon is a program for symbolic computation in mathematics, written in a pure functional, non-strict language Haskell .
It is a package of modules distributed freely, with the source program and manual.

Developer
Serge Mechveliani , Program Systems Institute , Pereslavl-Zalessky , Russia.
e-mail: mechvel@botik.ru

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.

Language extension
DoCon is written in what we call Haskell-2-pre - certain functional extension of Haskell-98 .
This extension includes the multiparametric classes, overlapping instances, other minor features.

Ports
DoCon-2.11 of November 2007 was tested under the Glasgow Haskell tools of ghc-6.8.1 and 6.6.1 under Linux and under MacOS X
(see http://haskell.org for information on the Haskell implementations).
We hope, it can be ported to other systems. It works everywhere where the GHC tool works - many machines and operation systems.

Downloading: DoCon is available from

See the sub-directories in ./docon/ for the information on each actual version.
The sub-directory ./notes/ contains the files with the accumulated notes on each version - bugs discovered, recommendations and others - the contents of these files update now and then.

Send remarks to Serge Mechveliani mechvel@botik.ru