I somehow need to suppose that the Axiom library has not bugs (?).
This assumption is easily proved wrong. Unfortunately, SPAD doesn't support a way to explicitly specify input/output conditions (well, Haskell is as bad as SPAD in this respect). Currently, there is not even a chance to prove correctness of a simple small 10-line function, because there is no computer-readable clear specification of the function.
The Axiom library is big enough to know that there certainly is a bug in it. And you know that removing a bug almost certainly introduces 2 others somewhere else. ;-)
Although, I'd like to see the library used in other places, it's a huge effort.
BTW, since I'm currently trying to dig a bit deeper into the world of Haskell, where can I read more about the design principles of DoCon?
Ralf -- You received this message because you are subscribed to the Google Groups "FriCAS - computer algebra system" group. To post to this group, send email to [email protected]. To unsubscribe from this group, send email to [email protected]. For more options, visit this group at http://groups.google.com/group/fricas-devel?hl=en.
