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