>On 09/08/2014 05:36 AM, d...@axiom-developer.org wrote: >> Waldek, >> >> Here is Renaud's CAD package for your new release.
Thank Renaud. He wrote it. See Renaud's Ph.D. thesis (I don't have a link for this) Brown, Christopher W "Solution Formula Construction for Truth Invariant CADs" Ph.D. Thesis, Univ. Delaware (1999) http://www.usna.edu/Users/cs/wcbrown/research/thesis.ps.gz Brown, Christopher W. "QEPCAD B -- A program for computing with semi-algebraic sets using CADs" >> >> Tim > >Thank you, Tim. Now you can no longer claim that you don't care for >FriCAS. ;-) Ralf, I have had only two lasting frustrations with FriCAS. My first frustration was the confusion over names. This seems to be mostly resolved (modulo still using the AXIOM shell variable, which causes conflicts). My second frustration is the lack of documentation. But that is a fundamental philosophical difference and I don't see it ever getting resolved. But then I'm something of a fanatic about it so maybe it's my problem. :-) Other than that, I'm all in favor of more and better algebra available to everyone. Axiom isn't "mine" in any reasonable sense of the word. I am just the guy leading the parade this week. So it seems only reasonable to make sure the algebra is spread to FriCAS. Renaud's CAD package is clean, easy to install, and should be widely available, which is why I sent it. I would ask that any improvements be returned in kind. Tim _______________________________________________ Axiom-developer mailing list Axiom-developer@nongnu.org https://lists.nongnu.org/mailman/listinfo/axiom-developer
