On Sun, Nov 13, 2011 at 12:10:00AM +0100, Ralf Hemmecke wrote: >> 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. ;-) >
Anyway, each time it will be clear in what place of the Haskell program is called a function from Axiom which produced a break (?). And most often this will mean that the interface makes a wrong input data for Axiom, the bug to fix will be in the interface. > Although, I'd like to see the library used in other places, it's a huge > effort. It looks so. It may occure that it is easier to design it independently. > 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? > 1. http://www.botik.ru/pub/local/Mechveliani/basAlgPropos/haskellInCA2.pdf.zip describes BAL -- a simplified version of DoCon -- to start with. 2. http://www.botik.ru/pub/local/Mechveliani/docon/2.11/docon-2.11.zip -- unzip and see announce.txt, docon/manual.* Also I am ready to reply to questions. Currently I am somewhat 70% sure that Haskell+(DoCon style) is better than Spad (Aldor) for mathematician people to continue a math library For myself -- it is 95%, due to the taste etc. And I can mistake, people need somewhat to verify the approach for themself. Regards, ------ Sergei -- 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.
