A N N O U N C E M E N T
The Algebraic Domain Constructor DoCon-1.07
can be copied by ftp freely, as a source program from
ftp.botik.ru:/pub/local/Mechveliani/docon/1.07/
or via World-Wide-Web:
http://www.botik.ru/pub/local/Mechveliani/docon/1.07/
DoCon-1.07 is a BUG-FIX release for DoCon-1.06.
Several bugs were fixed in the installation and documents.
Also in DoCon-1.07 the modules are re-arranged so that they do not
contain the import loops
(we do not proclaim this as a good style, but some recent Haskell
implementations are too awkward with these loops).
------------------------------------------------------------------
DoCon-1.07
is a Computer Algebra program written in a pure functional
language Haskell (version 1.4).
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.
------------------------------------------------------------------
DoCon-1.07 is a package of the Haskell programs.
It needs the Glasgow Haskell system ghc
for DoCon to be built from the sources and exploited.
ghc versions:
we recommend ghc-3.01 or any the higher compatible version -
though even 2.08 would, probably, do.
------------------------------------------------------------------
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.07 means to write the programs in Haskell, compile
and link them under ghc importing object and interface modules
from DoCon-1.07 export directory.
Documentation: everything is explained in manual.txt
--------------
Platforms:
---------
DoCon-1.07 has to work everywhere where ghc works - lots of plat-
forms.
Though, we have seen it working only under
linux-i386-unknown - with ghc-2.08,...,3.01,
sparc-sun-solaris2.5 - was compiled under ghc-3.00.
We hope it will install, as it is, on any Unix machine - see
install.txt in distribution.
And for the Window-like systems, the installation Makefile has to
be suitably modified (do not know, how).
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 *current notices* on DoCon-1.07, such as known *bugs* and
their walk-arounds, are contained in
ftp.botik.ru:/pub/local/Mechveliani/docon/notes/1.07.*
The remarks are welcome: [EMAIL PROTECTED]
--------------------
Sergey D.Mechveliani
senior researcher,
Program Systems Institute, 152140, Pereslavl-Zalessky, Russia.
e-mail [EMAIL PROTECTED]
http://www.botik.ru/~mechvel
phone +7(08535)98022
