On Mon, Mar 20, 2017 at 10:01 PM, rjf <fate...@gmail.com> wrote: > People have been working on computer programs for integration since about > 1961. There are > at least 8 PhD theses on the topic. > > If you think there is "low hanging fruit" like writing a better > simplification program, or > using binary search instead of pattern matching, or something else you just > thought up, > like running the differentiation program backwards --- > there is a high probability that you are mistaken.
> > Of course you might be right, and all that stuff over the last 55 years is > irrelevant, > and all you have to do is write some neat python program. He meant "low hanging fruit" only in the sense of a making a specific computer program slightly more useful, not in the sense of *research*. They are completely different things. William > > Check out the definition of "irony" > > > On Monday, March 20, 2017 at 2:27:46 AM UTC-7, Ralf Stephan wrote: >>> >>> ...In principle there can be fast progress if the first version only >>> implements general fallback rules like the mentioned 2F1 solutions. Many >>> Rubi rules only specialize 2F1 solutions, a sort of >>> simplify_hypergeometric() if you want. But then, with only the >>> hypergeometric (H) rules the output is ugly as well. You'll get more >>> integrals solved than usual algorithms, however, so this low-hanging fruit >>> would have a place *after eg Maxima returns an unsolved integral. >> >> >> https://trac.sagemath.org/ticket/22650 > > -- > You received this message because you are subscribed to the Google Groups > "sage-devel" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-devel+unsubscr...@googlegroups.com. > To post to this group, send email to sage-devel@googlegroups.com. > Visit this group at https://groups.google.com/group/sage-devel. > For more options, visit https://groups.google.com/d/optout. -- William (http://wstein.org) -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To post to this group, send email to sage-devel@googlegroups.com. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
