From: mechvel@scico.botik.ru (S.D.Mechveliani)
Newsgroups: sci.math.symbolic
Subject: software announcement
Date: 26 Mar 1998 09:43:19 GMT

    DoCon  the Algebraic Domain Constructor, version 1.07,


a computer algebra program written in a pure functional language
Haskell (Miranda family),
can be copied as a source program by ftp or WWW:
http://www.botik.ru/pub/local/Mechveliani/docon/1.07/
      ftp.botik.ru:/pub/local/Mechveliani/docon/1.07/

DoCon-1.07 bases on the algebraic category mechanism and is very
generic in computation and programming.
Example: specifying the unity of domains K = k(u,v), K[x1..xn] enables
automatically DoCon to find the Groebner bases over the field K of the
rational functions, solve linear systems over K, and so on.

ABILITIES (mostly, commutative algebra):
Mathematical library:
 Linear algebra over a Euclidean domain,
 Polynomial arithmetic over a commutative ring,
 GCD in R[x1..xn],  R a factorial ring,
 Factorization of univariate polynomial over a finite field,
 Groebner basis, syzygies in a free module over R[x1..xn],R Euclidean;
 Symmetric function package;
Category hierarchy:  Set ... Group, Ring, SyzygySolvableRing ...
Functors of the
  Direct product of the Sets, (semi)Groups, Rings,
  Matrix algebra, Polynomial algebra over a commutative ring,
  Fraction field for a factorial ring,  Residue ring.

Needed software:
Glasgow Haskell tool  ghc,  version 3.01 or higher compatible
- it is free:  ftp.dcs.gla.ac.uk/pub/haskell/glasgow/

Usage:  program your method in Haskell importing DoCon items, compile
        with ghc, link to DoCon library, run.


------------------
Sergey Mechveliani
mechvel@botik.ru
http://www.botik.ru/~mechvel