Interesting experiment. Your methodology for "diffs back" assumes correctly computing the derivative and correctly comparing symbolic expressions and for the latter counterexamples are known [1]
bool( sqrt((a+b)^2) == sqrt(a^2) + sqrt(b^2) ) True btw, I get: 'sage.rings.complex_interval.ComplexIntervalFieldElement' object has no attribute 'cot' when trying your |check| on this: -arctan(cot(pi*x))/pi + 1/2 #fractional part of x [1] http://comments.gmane.org/gmane.comp.mathematics.sage.support/32115 On Wed, Sep 04, 2013 at 10:01:07AM -0700, Peter Luschny wrote: > Recently two integration test suites were discussed at sci.math.symbolic > [1], [2]. > > I executed the tests with Sage and put the results on my webpage [3]. > Not all results are favorable for Sage. Maybe this is worth to be > noted by some Sage developers. > > Peter > > [1] > https://groups.google.com/d/msg/sci.math.symbolic/UB0udwILOSw/msxc57stRM8J > [2] > https://groups.google.com/d/msg/sci.math.symbolic/D9W45zQTY3U/nIxsBZ-4RasJ > [3] http://luschny.de/math/quad/IntegralTestsSage.html > > -- > You received this message because you are subscribed to the Google Groups > "sage-support" group. > To unsubscribe from this group and stop receiving emails from it, send an > email to sage-support+unsubscr...@googlegroups.com. > To post to this group, send email to sage-support@googlegroups.com. > Visit this group at http://groups.google.com/group/sage-support. > For more options, visit https://groups.google.com/groups/opt_out. -- You received this message because you are subscribed to the Google Groups "sage-support" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-support+unsubscr...@googlegroups.com. To post to this group, send email to sage-support@googlegroups.com. Visit this group at http://groups.google.com/group/sage-support. For more options, visit https://groups.google.com/groups/opt_out.
