The Algebraic Domain Constructor DoCon Version 2. DoCon-2 is ----------- a program for Symbolic Computation in Algebra written in the Haskell language. It joins the categorial approach to mathematical computation and explicit processing of domain description. Analogs Axiom, MuPAD. ------- Abilities Mostly, commutative algebra: linear algebra, polynomial --------- arithmetic, GCD, factorization, Groebner bases, syzygies, symmetric functions - in a very generic setting. Language Certain functional extension of Haskell-98. -------- It is of Miranda family, pure functional, "lazy". See Needed tools, environment ------------------------- DoCon-2 works under the Glasgow Haskell system ghc-4.04 (freely accessible via ). Almost all of DoCon-2 works under Hugs-98-May-1999 (freely accessible via ). And this works on many systems/machines: Unix machines, Linux ..., SunOs, PC-i386 ... Documentation Everything is explained in manual.txt ------------- contained in the archive URL, availability, license -------------------------- DoCon-2 can be downloaded freely, with the source program, from ftp.botik.ru:/pub/local/Mechveliani/docon/2/ , http://www.botik.ru/pub/local/Mechveliani/docon/2/ , also can be accessed via http://haskell.org, following the pointers like "Practice"..."Real World Applications", "Computer Algebra". See license.txt in distribution. Contact, send remarks to mechvel@botik.ru (Sergey Mechveliani) ------------------------ Authors ------- Sergey D.Mechveliani, senior researcher, Program Systems Institute, 152140, Pereslavl-Zalessky, Russia. e-mail: mechvel@botik.ru personal www page: http://www.botik.ru/~mechvel phone: +7(08535)98022