| |
| | [No title] (Site not responding. Last check: 2007-11-06) |
 | | A N N O U N C E M E N T The Algebraic Domain Constructor DoCon Version 2.06 is available, together with its source program, on Internet at the following addresses: http://www.botik.ru/pub/local/Mechveliani/docon/2.06/ ftp.botik.ru/pub/local/Mechveliani/docon/2.06/ Version 2.06 is a bug-fix release for 2.05, 2.04. |
 | | Categorial approach means that ------------------------------- arithmetic and some other operations are defined under the very generic assumptions: "over any Euclidean ring", over any field, and so on, the Domain Constructors are supported: Fraction, Polynomial, Residue ring, and others, that is certain set of operations are defined automatically, following the domain constructors. |
 | | Property processing: * evaluation of certain small set of the most important algebraic property values is supported, such as Finite, IsCyclicGroup, IsMaximalIdeal, and others. |
| www.haskell.org /docon/distrib/2.06/announce.txt (452 words) |
|