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




Reply via email to