On Wed, Jan 22, 2014 at 12:33 PM, someone <someb...@bluewin.ch> wrote: > Hi, > > >> Well it's written in Lisp, so "copied and translated" is not the >> easiest thing. > > No, it is not written in lisp but in "spad". This is a > small language only used by the various Axiom projects. > And it is rather difficult to learn :-/
Oh I must have been thinking of Maxima. > > In any case there is nothing like copy and paste. > > I think that copying over snippets of code > would give a very detailed understanding of the > mathematics in Bronstein's book. > >> But yes, I think this is a good idea, especially for the parts that >> are not in Bronstein's book, like the algebraic part of the algorithm. > > There are some holes in the algebraic branch there too. > But never the less its probably the most complete code > available. Oh sure, no one has a full implementation. But these corner cases are less likely to actually be used by someone. The real problem is that the algorithms needed here are not really implemented in the polys module. And "copy and paste" from Axiom to the polys module would presumably be much harder than copy and paste to the risch module. > >> The implementation in Axiom may very well be the best place in the >> literature for those parts of the algorithm. > > Yes, probably. > >> Regarding FriCAS and OpenAxiom, I don't know much about that. My >> understanding (which could be completely wrong) is that the old code >> that has the deep mathematics, like the Risch algorithm, is not really >> touched much, because so few people can understand it, so I wouldn't >> be surprised if that part is the same in either. > > This is not true, in Fricas there are very interesting things > going on. In particular some new Risch extensions are implemented. > Search the mailing list for details. OK so Fricas is the better one then. Aaron Meurer > > -- > You received this message because you are subscribed to the Google Groups > "sympy" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sympy+unsubscr...@googlegroups.com. > To post to this group, send email to sympy@googlegroups.com. > Visit this group at http://groups.google.com/group/sympy. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sympy" group. To unsubscribe from this group and stop receiving emails from it, send an email to sympy+unsubscr...@googlegroups.com. To post to this group, send email to sympy@googlegroups.com. Visit this group at http://groups.google.com/group/sympy. For more options, visit https://groups.google.com/groups/opt_out.
