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