DoCon, the Algebraic Domain Constructor
The DoCon computer algebra system implements recently a good-sized
piece of commutative algebra.
One of the project aims is to test the efficiency of a real-world CA
system based on pure functionality and "lazy" computation.
Algebraic category hierarchy is expressed mostly by the Haskell type
classes, domains - by class instances. But domains are also described
by explicit expressions.
- Developer:Sergey D. Mechveliani
152020, Program Systems Institute,
- Number of sites: 1
- In use: since September 1999
- Language: Haskell
(Haskell-2-pre functional extension of Haskell-98
the last system version was tested under ghc-6.2.2, Linux).
Glasgow Haskell ghc-6.2.2
the source program of the last version DoCon-2.08, and manual,
can be copied from
- Related publications:
The manual describes certain tests for the performance
comparison to the strict, non-functional CA system MuPAD and to
the strict CA system Axiom on several tasks from mathematical practice.