Announcement:
The Algebraic Domain Constructor DoCon, version 1.06
-------------------------------------------------------
DoCon-1.06
a computer algebra program written in a pure functional language
Haskell (version 1.4)
can be copied freely, as a source program (see license.txt) from
ftp.botik.ru:/pub/local/Mechveliani/docon/1.06/
------------------------------------------------------------------
Abilities (mostly, commutative algebra):
Mathematical library:
- Linear algebra over a Euclidean domain: reduction to the
staircase and diagonal forms of matrix, solving a system,
- Polynomial arithmetic in R[x1,...,xn], R a commutative ring,
- g.c.d in R[x1,...,xn], R a factorial ring,
- Factorization for the univariate polynomial over a finite
field,
- Groebner basis and syzygy generators in a free module over
R[x1,...,xn], R a Euclidean ring;
- Symmetric function package;
Category hierarchy:
- (static) Set, Semigroup, Group, Ring, SyzygySolvableRing, and
so on,
- dynamic Subset, Subgroup, Subring, Ideal, ... operations;
Functors of the
- Direct product of the Sets, (semi)Groups, Rings,
- Matrix algebra over a commutative ring,
- Polynomial algebra over a commutative ring,
- Fraction field for a factorial ring,
- Residue ring;
Property processing:
- the evaluation of certain small set of the most important
algebraic property values is supported, such as
Finite, IsCyclicGroup, IsMaximalIdeal, etc.
------------------------------------------------------------------
For the Haskell language materials, see http://haskell.org
DoCon-1.06 is a package of the Haskell programs.
It needs the Glasgow Haskell system ghc-2.10
- or any higher compatible version
- for DoCon to be built from the sources and exploited.
ghc is also freely available with its sources:
ftp.dcs.gla.ac.uk/pub/haskell/glasgow/
src.doc.ic.ac.uk/pub/computing/programming/languages/haskell/
glasgow/
------------------------------------------------------------------
DoCon differs from the most CA programs in that it enables the
programmer to set the algorithms in the natural and generic mathe-
matical form.
It uses the categorial approach to the algebraic computation -
like the wide-known AXIOM system
(AXIOM is a trademark of the Numerical Algorithms Group Ltd)
- though DoCon has a smaller library of algorithms.
DoCon is pure functional, contains no side effects, and is written
in Haskell only.
To use DoCon-1.06 means to write the programs in Haskell, compile
and link them under ghc importing object and interface modules
from DoCon-1.06 export directory.
Documentation: everything is explained in manual.txt
--------------
Platforms:
---------
DoCon-1.06 has to work everywhere where ghc-2.10 works (lots of
platforms).
Though, we have seen it working only on linux-i386-unknown.
We hope it will install, as it is, on any Unix machine.
And we doubt about Windows (if only there exists ghc-2.10 for
Windows) - the question concerns only the installation Makefile.
Probably, it would not be difficult to port DoCon to other Haskell
implementations: Yale, Chalmers, Hugs, and so on.
And we will be grateful to the users that make DoCon ports to
various compilers and environments.
Plans:
------
the future DoCon versions have to implement more of mathematics,
use the extended language tools, as the multiple parameter
categories and others.
Also the contributions are welcome.
The known *bugs* and their walk-arounds are listed in
ftp.botik.ru:/pub/local/Mechveliani/docon/1.06/bugs.txt
The remarks are welcome: [EMAIL PROTECTED]
--------------------
Sergey D.Mechveliani
senior researcher,
Program Systems Institute, 152140, Pereslavl-Zalessky, Russia.
e-mail [EMAIL PROTECTED]
phone +7(08535)98022
